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; Luc J M Claesen; Raul Camposano
Publisher: Amsterdam ; New York : North-Holland, 1993.
Series: IFIP transactions., A,, Computer science and technology ;, A-32.
Edition/Format:   Print book : Conference publication : 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 online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
IFIP WG10.2 International Conference on Computer Hardware Description Languages and Their Applications (11th : 1993 : Ottawa, Ont.).
Computer hardware description languages and their applications.
Amsterdam ; New York : North-Holland, 1993
(OCoLC)654832734
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: David Agnew; Luc J M Claesen; Raul Camposano
ISBN: 0444816410 9780444816412
OCLC Number: 29358497
Description: xiv, 604 pages : illustrations ; 23 cm.
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: IFIP transactions., A,, Computer science and technology ;, A-32.
Responsibility: edited by David Agnew, Luc Claesen, Raul Camposano.

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/29358497> # 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 "29358497" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/479890927#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/872153> ; # Computer hardware description languages
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Topic/langage_description_materiel> ; # langage description materiel
   schema:about <http://id.loc.gov/authorities/subjects/sh87005550> ; # Computer hardware description languages
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Topic/computerarchitectuur> ; # Computerarchitectuur
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Thing/computers> ; # Computers
   schema:about <http://experiment.worldcat.org/entity/work/data/479890927#Topic/langages_de_description_de_materiel_informatique_congres> ; # Langages de description de matériel informatique--Congrès
   schema:about <http://dewey.info/class/621.392/e20/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/27280028> ; # Luc J. M. Claesen
   schema:contributor <http://viaf.org/viaf/46848546> ; # Raul Camposano
   schema:contributor <http://experiment.worldcat.org/entity/work/data/479890927#Person/agnew_david_1947> ; # David Agnew
   schema:creator <http://experiment.worldcat.org/entity/work/data/479890927#Meeting/ifip_wg10_2_international_conference_on_computer_hardware_description_languages_and_their_applications_11th_1993_ottawa_ont> ; # IFIP WG10.2 International Conference on Computer Hardware Description Languages and Their Applications (11th : 1993 : Ottawa, Ont.)
   schema:datePublished "1993" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/479890927> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/479890927#Series/ifip_transactions> ; # IFIP transactions.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/479890927#Series/ifip_transactions_a_computer_science_and_technology> ; # IFIP transactions. A, Computer science and technology ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/654832734> ;
   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"@en ;
   schema:productID "29358497" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/29358497#PublicationEvent/amsterdam_new_york_north_holland_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/479890927#Agent/north_holland> ; # North-Holland
   schema:url <http://www.gbv.de/dms/bowker/toc/9780444816412.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9780444816412> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9357094> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/29358497> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Meeting/ifip_wg10_2_international_conference_on_computer_hardware_description_languages_and_their_applications_11th_1993_ottawa_ont> # IFIP WG10.2 International Conference on Computer Hardware Description Languages and Their Applications (11th : 1993 : Ottawa, Ont.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/479890927#Place/ottawa_ont> ; # Ottawa, Ont.)
   schema:name "IFIP WG10.2 International Conference on Computer Hardware Description Languages and Their Applications (11th : 1993 : Ottawa, Ont.)" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/479890927#Series/ifip_transactions> # IFIP transactions.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/29358497> ; # 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." ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Series/ifip_transactions_a_computer_science_and_technology> # IFIP transactions. A, Computer science and technology ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/29358497> ; # 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, Computer science and technology ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Topic/computerarchitectuur> # Computerarchitectuur
    a schema:Intangible ;
   schema:name "Computerarchitectuur"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Topic/langage_description_materiel> # langage description materiel
    a schema:Intangible ;
   schema:name "langage description materiel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Topic/langages_de_description_de_materiel_informatique_congres> # Langages de description de matériel informatique--Congrès
    a schema:Intangible ;
   schema:name "Langages de description de matériel informatique--Congrès"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh87005550> # Computer hardware description languages
    a schema:Intangible ;
   schema:name "Computer hardware description languages"@en ;
    .

<http://id.worldcat.org/fast/872153> # Computer hardware description languages
    a schema:Intangible ;
   schema:name "Computer hardware description languages"@en ;
    .

<http://viaf.org/viaf/27280028> # Luc J. M. Claesen
    a schema:Person ;
   schema:familyName "Claesen" ;
   schema:givenName "Luc J. M." ;
   schema:name "Luc J. M. Claesen" ;
    .

<http://viaf.org/viaf/46848546> # Raul Camposano
    a schema:Person ;
   schema:familyName "Camposano" ;
   schema:givenName "Raul" ;
   schema:name "Raul Camposano" ;
    .

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

<http://www.worldcat.org/oclc/654832734>
    a schema:CreativeWork ;
   rdfs:label "Computer hardware description languages and their applications." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/29358497> ; # 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
    .

<http://www.worldcat.org/title/-/oclc/29358497>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/29358497> ; # 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-04" ;
   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.