skip to content
Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC 10 WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications, 20-25 April 1997, Toledo, Spain Preview this item
ClosePreview this item
Checking...

Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC 10 WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications, 20-25 April 1997, Toledo, Spain

Author: Carlos Delgado Kloos; Eduard Cerny; International Federation for Information Processing.
Publisher: London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), ©1997.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Over the years Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors. This book presents the developments in this area and provides a  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

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Carlos Delgado Kloos; Eduard Cerny; International Federation for Information Processing.
ISBN: 0412788101 9780412788109
OCLC Number: 222249497
Notes: "XIII IFIP WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications 1997"--Preface.
Description: x, 350 pages : illustrations ; 23 cm
Contents: Specification and design of reactive systems. Verification using model checking techniques. Formal characterizations of systems. Analog languages. Languages in design flows. Future trends in hardware design. Formal methods for aynchronous and distributed systems. VHDL. Index of contributors. Keyword index.
Responsibility: edited by Carlos Delgado Kloos and Eduard Cerny.

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/222249497> # Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC 10 WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications, 20-25 April 1997, Toledo, Spain
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "222249497" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://dewey.info/class/621.392/e20/> ;
   schema:about <http://id.worldcat.org/fast/872153> ; # Computer hardware description languages
   schema:about <http://id.loc.gov/authorities/subjects/sh87005550> ; # Computer hardware description languages
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/191592971#Person/kloos_carlos_delgado> ; # Carlos Delgado Kloos
   schema:contributor <http://experiment.worldcat.org/entity/work/data/191592971#Person/cerny_eduard> ; # Eduard Cerny
   schema:contributor <http://viaf.org/viaf/133327008> ; # International Federation for Information Processing.
   schema:copyrightYear "1997" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/191592971#Meeting/ifip_wg_10_5_international_conference_on_computer_hardware_description_languages_and_their_applications_13th_1997_toledo_spain> ; # IFIP WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications (13th : 1997 : Toledo, Spain)
   schema:datePublished "1997" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/191592971> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:name "Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC 10 WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications, 20-25 April 1997, Toledo, Spain"@en ;
   schema:productID "222249497" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/222249497#PublicationEvent/london_chapman_&_hall_on_behalf_of_the_international_federation_for_information_processing_ifip_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/191592971#Agent/chapman_&_hall_on_behalf_of_the_international_federation_for_information_processing_ifip> ; # Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
   schema:workExample <http://worldcat.org/isbn/9780412788109> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/222249497> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/191592971#Agent/chapman_&_hall_on_behalf_of_the_international_federation_for_information_processing_ifip> # Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
    a bgn:Agent ;
   schema:name "Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)" ;
    .

<http://experiment.worldcat.org/entity/work/data/191592971#Meeting/ifip_wg_10_5_international_conference_on_computer_hardware_description_languages_and_their_applications_13th_1997_toledo_spain> # IFIP WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications (13th : 1997 : Toledo, Spain)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/191592971#Place/toledo_spain> ; # Toledo, Spain)
   schema:name "IFIP WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications (13th : 1997 : Toledo, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/191592971#Person/cerny_eduard> # Eduard Cerny
    a schema:Person ;
   schema:familyName "Cerny" ;
   schema:givenName "Eduard" ;
   schema:name "Eduard Cerny" ;
    .

<http://experiment.worldcat.org/entity/work/data/191592971#Person/kloos_carlos_delgado> # Carlos Delgado Kloos
    a schema:Person ;
   schema:familyName "Kloos" ;
   schema:givenName "Carlos Delgado" ;
   schema:name "Carlos Delgado Kloos" ;
    .

<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/133327008> # International Federation for Information Processing.
    a schema:Organization ;
   schema:name "International Federation for Information Processing." ;
    .

<http://worldcat.org/isbn/9780412788109>
    a schema:ProductModel ;
   schema:isbn "0412788101" ;
   schema:isbn "9780412788109" ;
    .

<http://www.worldcat.org/title/-/oclc/222249497>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/222249497> ; # Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC 10 WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications, 20-25 April 1997, Toledo, Spain
   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.