skip to content
Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems : November 3-5, 1994, Salt Lake City, Utah Preview this item
ClosePreview this item
Checking...

Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems : November 3-5, 1994, Salt Lake City, Utah

Author: IEEE Computer Society. Technical Committee on VLSI.
Publisher: Los Alamitos, Calif. : IEEE Computer Society Press, ©1994.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
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: Kongreß
Conference papers and proceedings
Kongress
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: IEEE Computer Society. Technical Committee on VLSI.
ISBN: 0818662107 9780818662102 0818662115 9780818662119
OCLC Number: 31762561
Description: xii, 258 pages : illustrations ; 28 cm
Contents: I. Analysis tools --
II. Formal verification --
III. Metastability --
IV. Practice and experience --
Invited speaker: Ivan Sutherland --
V. Power and interfacing --
VI. Formal methods --
VII. Testing --
Special invited session: An extended industrial design example --
Author index.
Other Titles: Advanced Research in Asynchronous Circuits and Systems, 1994, proceedings of the International Symposium on.
Advanced research in asynchronous circuits and systems
Responsibility: sponsored by IEEE Computer Society Technical Committee on VLSI [and others].

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/31762561> # Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems : November 3-5, 1994, Salt Lake City, Utah
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "31762561" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/33794901#Place/los_alamitos_calif> ; # Los Alamitos, Calif.
   rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/33794901#CreativeWork/advanced_research_in_asynchronous_circuits_and_systems_1994_proceedings_of_the_international_symposium_on> ; # Advanced Research in Asynchronous Circuits and Systems, 1994, proceedings of the International Symposium on.
   schema:about <http://experiment.worldcat.org/entity/work/data/33794901#Topic/kongress> ; # Kongreß
   schema:about <http://id.loc.gov/authorities/subjects/sh93006345> ; # Asynchronous circuits
   schema:about <http://dewey.info/class/621.395/e20/> ;
   schema:about <http://id.worldcat.org/fast/819871> ; # Asynchronous circuits
   schema:about <http://experiment.worldcat.org/entity/work/data/33794901#Topic/asynchrones_schaltwerk> ; # Asynchrones Schaltwerk
   schema:alternateName "Advanced research in asynchronous circuits and systems" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/159584557> ; # IEEE Computer Society. Technical Committee on VLSI.
   schema:copyrightYear "1994" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/33794901#Meeting/international_symposium_on_advanced_research_in_asynchronous_circuits_and_systems_1994_salt_lake_city_utah> ; # International Symposium on Advanced Research in Asynchronous Circuits and Systems (1994 : Salt Lake City, Utah)
   schema:datePublished "1994" ;
   schema:description "I. Analysis tools -- II. Formal verification -- III. Metastability -- IV. Practice and experience -- Invited speaker: Ivan Sutherland -- V. Power and interfacing -- VI. Formal methods -- VII. Testing -- Special invited session: An extended industrial design example -- Author index."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/33794901> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Kongreß"@en ;
   schema:inLanguage "en" ;
   schema:name "Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems : November 3-5, 1994, Salt Lake City, Utah"@en ;
   schema:productID "31762561" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/31762561#PublicationEvent/los_alamitos_calif_ieee_computer_society_press_1994> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/33794901#Agent/ieee_computer_society_press> ; # IEEE Computer Society Press
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007513454&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=5265> ;
   schema:workExample <http://worldcat.org/isbn/9780818662102> ;
   schema:workExample <http://worldcat.org/isbn/9780818662119> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/31762561> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/33794901#Agent/ieee_computer_society_press> # IEEE Computer Society Press
    a bgn:Agent ;
   schema:name "IEEE Computer Society Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/33794901#CreativeWork/advanced_research_in_asynchronous_circuits_and_systems_1994_proceedings_of_the_international_symposium_on> # Advanced Research in Asynchronous Circuits and Systems, 1994, proceedings of the International Symposium on.
    a schema:CreativeWork ;
   schema:name "Advanced Research in Asynchronous Circuits and Systems, 1994, proceedings of the International Symposium on." ;
    .

<http://experiment.worldcat.org/entity/work/data/33794901#Meeting/international_symposium_on_advanced_research_in_asynchronous_circuits_and_systems_1994_salt_lake_city_utah> # International Symposium on Advanced Research in Asynchronous Circuits and Systems (1994 : Salt Lake City, Utah)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/33794901#Place/salt_lake_city_utah> ; # Salt Lake City, Utah)
   schema:name "International Symposium on Advanced Research in Asynchronous Circuits and Systems (1994 : Salt Lake City, Utah)" ;
    .

<http://experiment.worldcat.org/entity/work/data/33794901#Place/los_alamitos_calif> # Los Alamitos, Calif.
    a schema:Place ;
   schema:name "Los Alamitos, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/33794901#Place/salt_lake_city_utah> # Salt Lake City, Utah)
    a schema:Place ;
   schema:name "Salt Lake City, Utah)" ;
    .

<http://experiment.worldcat.org/entity/work/data/33794901#Topic/asynchrones_schaltwerk> # Asynchrones Schaltwerk
    a schema:Intangible ;
   schema:name "Asynchrones Schaltwerk"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh93006345> # Asynchronous circuits
    a schema:Intangible ;
   schema:name "Asynchronous circuits"@en ;
    .

<http://id.worldcat.org/fast/819871> # Asynchronous circuits
    a schema:Intangible ;
   schema:name "Asynchronous circuits"@en ;
    .

<http://viaf.org/viaf/159584557> # IEEE Computer Society. Technical Committee on VLSI.
    a schema:Organization ;
   schema:name "IEEE Computer Society. Technical Committee on VLSI." ;
    .

<http://worldcat.org/isbn/9780818662102>
    a schema:ProductModel ;
   schema:isbn "0818662107" ;
   schema:isbn "9780818662102" ;
    .

<http://worldcat.org/isbn/9780818662119>
    a schema:ProductModel ;
   schema:isbn "0818662115" ;
   schema:isbn "9780818662119" ;
    .

<http://www.worldcat.org/title/-/oclc/31762561>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/31762561> ; # Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems : November 3-5, 1994, Salt Lake City, Utah
   schema:dateModified "2018-03-12" ;
   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.