skip to content
Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93 ; Ottawa, Canada, 26-28 April, 1993 Preview this item
ClosePreview this item
Checking...

Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93 ; Ottawa, Canada, 26-28 April, 1993

Author: David Agnew; International Conference on Computer Hardware Description Languages and Their Applications (11, 1993, Ottawa)
Publisher: Amsterdam [u.a.] : North-Holland, 1993.
Series: IFIP transactions $ A, Computer science and technology, 32.; International Federation for Information Processing.; IFIP transactions
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.

 

Find a copy in the library

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

Details

Material Type: Conference publication
Document Type: Book
All Authors / Contributors: David Agnew; International Conference on Computer Hardware Description Languages and Their Applications (11, 1993, Ottawa)
ISBN: 0444816410 9780444816412
OCLC Number: 612729861
Description: XIV, 604 S. : graph. Darst.
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, 32.; International Federation for Information Processing.; IFIP transactions
Responsibility: ed. by David Agnew ...

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/612729861> # Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93 ; Ottawa, Canada, 26-28 April, 1993
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "612729861" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/479890927#Place/amsterdam_u_a> ; # Amsterdam u.a.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/127398003> ; # International Conference on Computer Hardware Description Languages and Their Applications (11, 1993, Ottawa)
   schema:datePublished "1993" ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/479890927#Person/agnew_david> ; # David Agnew
   schema:exampleOfWork <http://worldcat.org/entity/work/id/479890927> ;
   schema:genre "Conference publication"@en ;
   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_$_a_computer_science_and_technology> ; # IFIP transactions $ A, Computer science and technology ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/479890927#Series/ifip_transactions> ; # IFIP transactions ;
   schema:name "Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93 ; Ottawa, Canada, 26-28 April, 1993" ;
   schema:productID "612729861" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/612729861#PublicationEvent/amsterdam_u_a_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> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/612729861> ;
    .


Related Entities

<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> # IFIP transactions ;
    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/612729861> ; # Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93 ; Ottawa, 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/612729861> ; # Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93 ; Ottawa, Canada, 26-28 April, 1993
   schema:name "IFIP transactions $ A, Computer science and technology ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/479890927#Series/ifip_transactions_a> # IFIP transactions / A ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/612729861> ; # Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93 ; Ottawa, Canada, 26-28 April, 1993
   schema:name "IFIP transactions / A ;" ;
    .

<http://viaf.org/viaf/127398003> # International Conference on Computer Hardware Description Languages and Their Applications (11, 1993, Ottawa)
    a schema:Organization ;
   schema:name "International Conference on Computer Hardware Description Languages and Their Applications (11, 1993, Ottawa)" ;
    .

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

<http://www.worldcat.org/title/-/oclc/612729861>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/612729861> ; # Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93 ; Ottawa, 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.