skip to content
Computer hardware description languages and their applications : proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993 Preview this item
ClosePreview this item
Checking...

Computer hardware description languages and their applications : proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993

Author: David Agnew; IFIP. Working Group 10.2, Digital Systems Descriptions and Design Tools.
Publisher: Amsterdam : North-Holland, 1993.
Series: International Federation for Information Processing.; IFIP transactions / A.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

This research-oriented publication makes a contribution to further developments in the field of hardware description languages (HDLs). The text includes coverage of: BDD-based systems design and  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: David Agnew; IFIP. Working Group 10.2, Digital Systems Descriptions and Design Tools.
ISBN: 0444816410 9780444816412
OCLC Number: 636778585
Description: XIV, 604 S ; 23 cm : Ill.
Contents: Part 1 Invited presentation: real time distributed systems, M.R. Barbacci. Part 2 BDD-based design and analysis techniques: verification of the futurebus + cache coherence protocol, E.M. Clarke et al; exploiting symbolic traversal techniques for efficient process algebra manipulation (PRAM), P. Camurati et al. Part 3 HDL-based design methods: HW/SW co-design with PRAMs using codes, K. Buchenrieder et al; prevail-DM - a framework-based environment for formal hardware verification, F.R. Wagner. Part 4 Synthesis and verification: a rewriting based method for the formal verification of microprocessors, M. Allemand; reasoning about the VHDL standard logic package signal data type, J.W. Gambles and P.J. Windley; an efficient data-path synthesis based on algorithmic description under the constraints of time and area, X.-J. Xu and M. Ishizuka. Part 5 Invited presentation: automatic verification of sequential circuit designs, E.M. Clarke. Part 6 Protocol specification: toward a basis for protocol specification and process decomposition, K. Rath and S.D. Johnson; integrating SDL and VHDL for system-level hardware design, W. Glunz et al. Part 7 Formal reasoning about regular structures: reasoning about array structures using a dependently typed logic, A. Dent and K. Hanna; VHDL description and formal verification of systolic multipliers, L. Pierre; transformational rewriting with ruby, R. Sharp and O. Rasmussen. Part 8 High level synthesis: a representation for the binding of RT-component functionality to HDL behavior, R.P. Ang and N.I. Dutt; performance specification and measurement, R. Mandayam and R. Vemuri. Part 9 VHDL: system-level specification and design using VHDL - a case study, W. Ecker and S. Marz; a denotational definition of the VHDL simulation kernel, K.C. Davis; checking DFT rules with a VHDL simulator, W. Glunz and T. Rossel; parameterized VHDL entities for the simulation of hybrid circuits, M. Ryba et al. (Part Contents).
Series Title: International Federation for Information Processing.; IFIP transactions / A.
Responsibility: ed. by David Agnew, Luc Claesen, Raul Camposano.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/636778585> # Computer hardware description languages and their applications : proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "636778585" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/479890927#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/verifikation_software_engineering> ; # VERIFIKATION (SOFTWARE ENGINEERING)
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/specifications_software_engineering> ; # SPECIFICATIONS (SOFTWARE ENGINEERING)
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/analyse_de_systemes_+_conception_de_systemes_systemes_informatiques> ; # ANALYSE DE SYSTÈMES + CONCEPTION DE SYSTÈMES (SYSTÈMES INFORMATIQUES)
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/verification_genie_logiciel> ; # VÉRIFICATION (GÉNIE LOGICIEL)
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/langages_de_description_de_materiel_informatique> ; # LANGAGES DE DESCRIPTION DE MATERIEL INFORMATIQUE
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/systemanalyse_+_systementwicklung_+_systementwurf_computersysteme> ; # SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME)
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/specification_languages_+_description_languages_hardware> ; # SPECIFICATION LANGUAGES + DESCRIPTION LANGUAGES (HARDWARE)
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/protocoles_de_communication_+_protocoles_de_reseaux_systemes_informatiques> ; # PROTOCOLES DE COMMUNICATION + PROTOCOLES DE RÉSEAUX (SYSTÈMES INFORMATIQUES)
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/systems_analysis_+_systems_development_+_systems_design_computer_systems> ; # SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/spezifikationen_software_engineering> ; # SPEZIFIKATIONEN (SOFTWARE ENGINEERING)
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/network_protocols_+_communication_protocols_computer_systems> ; # NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS)
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/netzwerkprotokolle_+_kommunikationsprotokolle_computersysteme> ; # NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME)
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/specifications_+_concepts_de_programmation_genie_logiciel> ; # SPÉCIFICATIONS + CONCEPTS DE PROGRAMMATION (GÉNIE LOGICIEL)
   schema:about <http://dewey.info/class/621.392/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/vhdl_vhsic_hardware_description_language_hardware> ; # VHDL, VHSIC HARDWARE DESCRIPTION LANGUAGE (HARDWARE)
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/spezifikationssprachen_+_beschreibungssprachen_hardware> ; # SPEZIFIKATIONSSPRACHEN + BESCHREIBUNGSSPRACHEN (HARDWARE)
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/verification_software_engineering> ; # VERIFICATION (SOFTWARE ENGINEERING)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/479890927#Organization/ifip_working_group_10_2_digital_systems_descriptions_and_design_tools> ; # IFIP. Working Group 10.2, Digital Systems Descriptions and Design Tools.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/479890927#Person/agnew_david> ; # David Agnew
   schema:contributor <http://experiment.worldcat.org/entity/work/data/479890927#Meeting/international_symposium_on_computer_hardware_description_languages> ; # International Symposium on Computer Hardware Description Languages.
   schema:datePublished "1993" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/479890927> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/479890927#Series/ifip_transactions_a> ; # IFIP transactions / A.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/479890927#Series/ifip_transactions_international_federation_for_information_processing_a_computer_science_and_technology> ; # IFIP transactions / International Federation for Information Processing : A, Computer science and technology ;
   schema:name "Computer hardware description languages and their applications : proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993" ;
   schema:productID "636778585" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/636778585#PublicationEvent/amsterdam_north_holland_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/479890927#Agent/north_holland> ; # North-Holland
   schema:workExample <http://worldcat.org/isbn/9780444816412> ;
   umbel:isLike <http://d-nb.info/941161226> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/636778585> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/479890927#Meeting/international_symposium_on_computer_hardware_description_languages> # International Symposium on Computer Hardware Description Languages.
    a bgn:Meeting, schema:Event ;
   schema:name "International Symposium on Computer Hardware Description Languages." ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Organization/ifip_working_group_10_2_digital_systems_descriptions_and_design_tools> # IFIP. Working Group 10.2, Digital Systems Descriptions and Design Tools.
    a schema:Organization ;
   schema:name "IFIP. Working Group 10.2, Digital Systems Descriptions and Design Tools." ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Organization/international_federation_for_information_processing> # International Federation for Information Processing.
    a schema:Organization ;
   schema:name "International Federation for Information Processing." ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Person/agnew_david> # David Agnew
    a schema:Person ;
   schema:familyName "Agnew" ;
   schema:givenName "David" ;
   schema:name "David Agnew" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Series/ifip_transactions_a> # IFIP transactions / A.
    a bgn:PublicationSeries ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/479890927#Organization/international_federation_for_information_processing> ; # International Federation for Information Processing.
   schema:hasPart <http://www.worldcat.org/oclc/636778585> ; # Computer hardware description languages and their applications : proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993
   schema:name "IFIP transactions / A." ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Series/ifip_transactions_international_federation_for_information_processing_a_computer_science_and_technology> # IFIP transactions / International Federation for Information Processing : A, Computer science and technology ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/636778585> ; # Computer hardware description languages and their applications : proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993
   schema:name "IFIP transactions / International Federation for Information Processing : A, Computer science and technology ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/analyse_de_systemes_+_conception_de_systemes_systemes_informatiques> # ANALYSE DE SYSTÈMES + CONCEPTION DE SYSTÈMES (SYSTÈMES INFORMATIQUES)
    a schema:Thing ;
   schema:name "ANALYSE DE SYSTÈMES + CONCEPTION DE SYSTÈMES (SYSTÈMES INFORMATIQUES)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/langages_de_description_de_materiel_informatique> # LANGAGES DE DESCRIPTION DE MATERIEL INFORMATIQUE
    a schema:Thing ;
   schema:name "LANGAGES DE DESCRIPTION DE MATERIEL INFORMATIQUE" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/network_protocols_+_communication_protocols_computer_systems> # NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS)
    a schema:Thing ;
   schema:name "NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/netzwerkprotokolle_+_kommunikationsprotokolle_computersysteme> # NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME)
    a schema:Thing ;
   schema:name "NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/protocoles_de_communication_+_protocoles_de_reseaux_systemes_informatiques> # PROTOCOLES DE COMMUNICATION + PROTOCOLES DE RÉSEAUX (SYSTÈMES INFORMATIQUES)
    a schema:Thing ;
   schema:name "PROTOCOLES DE COMMUNICATION + PROTOCOLES DE RÉSEAUX (SYSTÈMES INFORMATIQUES)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/specification_languages_+_description_languages_hardware> # SPECIFICATION LANGUAGES + DESCRIPTION LANGUAGES (HARDWARE)
    a schema:Thing ;
   schema:name "SPECIFICATION LANGUAGES + DESCRIPTION LANGUAGES (HARDWARE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/specifications_+_concepts_de_programmation_genie_logiciel> # SPÉCIFICATIONS + CONCEPTS DE PROGRAMMATION (GÉNIE LOGICIEL)
    a schema:Thing ;
   schema:name "SPÉCIFICATIONS + CONCEPTS DE PROGRAMMATION (GÉNIE LOGICIEL)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/specifications_software_engineering> # SPECIFICATIONS (SOFTWARE ENGINEERING)
    a schema:Thing ;
   schema:name "SPECIFICATIONS (SOFTWARE ENGINEERING)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/spezifikationen_software_engineering> # SPEZIFIKATIONEN (SOFTWARE ENGINEERING)
    a schema:Thing ;
   schema:name "SPEZIFIKATIONEN (SOFTWARE ENGINEERING)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/spezifikationssprachen_+_beschreibungssprachen_hardware> # SPEZIFIKATIONSSPRACHEN + BESCHREIBUNGSSPRACHEN (HARDWARE)
    a schema:Thing ;
   schema:name "SPEZIFIKATIONSSPRACHEN + BESCHREIBUNGSSPRACHEN (HARDWARE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/systemanalyse_+_systementwicklung_+_systementwurf_computersysteme> # SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME)
    a schema:Thing ;
   schema:name "SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/systems_analysis_+_systems_development_+_systems_design_computer_systems> # SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)
    a schema:Thing ;
   schema:name "SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/verification_genie_logiciel> # VÉRIFICATION (GÉNIE LOGICIEL)
    a schema:Thing ;
   schema:name "VÉRIFICATION (GÉNIE LOGICIEL)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/verification_software_engineering> # VERIFICATION (SOFTWARE ENGINEERING)
    a schema:Thing ;
   schema:name "VERIFICATION (SOFTWARE ENGINEERING)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/verifikation_software_engineering> # VERIFIKATION (SOFTWARE ENGINEERING)
    a schema:Thing ;
   schema:name "VERIFIKATION (SOFTWARE ENGINEERING)" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Thing/vhdl_vhsic_hardware_description_language_hardware> # VHDL, VHSIC HARDWARE DESCRIPTION LANGUAGE (HARDWARE)
    a schema:Thing ;
   schema:name "VHDL, VHSIC HARDWARE DESCRIPTION LANGUAGE (HARDWARE)" ;
    .

<http://worldcat.org/isbn/9780444816412>
    a schema:ProductModel ;
   schema:isbn "0444816410" ;
   schema:isbn "9780444816412" ;
    .

<http://www.worldcat.org/title/-/oclc/636778585>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/636778585> ; # Computer hardware description languages and their applications : proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL '93, sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993
   schema:dateModified "2017-09-03" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.