skip to content
Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Eighth International Conference on Computer Hardware Description Languages and Their Applications, Amsterdam, the Netherlands, 27-29 April, 1987 Preview this item
ClosePreview this item
Checking...

Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Eighth International Conference on Computer Hardware Description Languages and Their Applications, Amsterdam, the Netherlands, 27-29 April, 1987

Author: Mario R Barbacci; C J Koomen; IFIP WG 10.2.; IFIP TC-10.; IBM Nederland.
Publisher: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
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: Mario R Barbacci; C J Koomen; IFIP WG 10.2.; IFIP TC-10.; IBM Nederland.
ISBN: 0444702350 9780444702357
OCLC Number: 16713722
Description: xi, 405 pages : illustrations ; 23 cm
Contents: Simulation I. HDL Modeling for Process Oriented Simulation (M. Roumeliotis, J.R. Armstrong). Hardware Description and Simulation Using Concurrent Prolog (D. Weinbaum, E. Shapiro). Program-Specific and Architecture-Specific Simulators (B. Siegell, T. Gross). Analysis. Logical Analysis of Digital Circuits (I. Gertner, R.P. Kurshan). Analysis of Behavioral DACAPO Descriptions (R. Bruck, R. Klomps, J. Schuetz). Functional Extraction from Personality Matrixes of MOL (Matrix-Oriented Logic) Circuits (J. Gebhard et al.). Design (Systems). EDIF Standard Supports Version Control in CAD Systems (E.R. Marx). An Animated Modelling Environment for Parallel Architectures (D.C.A. Bulterman). Simulation II. MIAKA: A Microassembler for the Register Transfer Language KARL II (H. Bassmann, Ph. W. Besslich). Functional Fault Model Generation for Fault Coverage Estimation of VLSI Designs Using Syntax Directed Techniques (G.M. Silberman, I. Spillinger). A Meta-Assembler for Creating the Simulation Files of the Instruction Set Processor Specifications (S. Dasgupta, M.H. Ozcanhan). Design (Methods). On the Plausibility of Architectural Designs (S. Dasgupta, U. Aguero). Design Criteria and Formal Description Techniques (M. Daniels). A Digital Systems Design Methodology Based on Nets of Agencies (F.R. Wagner, C.M.D. Freitas, L.G. Golendziner). Invited Paper. Formal Verification of Hardware Correctness: An Introduction (P. Camurati, P. Prinetto). Verification I. Two Techniques for Automating Firmware Design Verification (R. Beccard et al.). Specification and Verification of VLSI Systems Actional Behaviour (T. Larsson). Verification II. REX - Shifting Functional Design Verification Towards RT-Level by Automatic Register-Transfer-Net Extraction (R.W. Hartenstein, W. Nebel). Modelling and Verification of Digital Systems Using Temporal Logic (G. Venkatesh). Petri Net Models for the Description and Verification of Parallel Bus Protocols (P. Civera et al.). Languages. The MoDL Hardware Design System (J. Smit et al.). Modern Object-Oriented Programming Language as an HDL (A. Pawlak, W. Wrona). Hardware Description with Recursion Equations (J.T. O'Donnell). Invited Paper. Electronic Design Automation at a Glance (J.P. Mermet).
Responsibility: edited by M.R. Barbacci, C.J. Koomen ; organized by IFIP Technical Committee 10 and its Working Group 10.2 with the cooperation of Nederlands Genootschap voor Informatica, Gesellschaft für Informatik ; sponsored by IBM Nederland [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/16713722> # Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Eighth International Conference on Computer Hardware Description Languages and Their Applications, Amsterdam, the Netherlands, 27-29 April, 1987
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "16713722" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/367852320#Place/new_york_n_y_u_s_a> ; # New York, N.Y., U.S.A.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/367852320#Place/amsterdam> ; # Amsterdam
   schema:about <http://dewey.info/class/621.39/e19/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh87005550> ; # Computer hardware description languages
   schema:about <http://id.worldcat.org/fast/872153> ; # Computer hardware description languages
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/109301709> ; # Cees-Jan Koomen
   schema:contributor <http://viaf.org/viaf/137242165> ; # IFIP WG 10.2.
   schema:contributor <http://viaf.org/viaf/133793795> ; # IBM Nederland.
   schema:contributor <http://viaf.org/viaf/262122579> ; # IFIP TC-10.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/367852320#Person/barbacci_mario_r> ; # Mario R. Barbacci
   schema:creator <http://experiment.worldcat.org/entity/work/data/367852320#Meeting/international_symposium_on_computer_hardware_description_languages_and_their_applications_8th_1987_amsterdam_netherlands> ; # International Symposium on Computer Hardware Description Languages and Their Applications (8th : 1987 : Amsterdam, Netherlands)
   schema:datePublished "1987" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/367852320> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:name "Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Eighth International Conference on Computer Hardware Description Languages and Their Applications, Amsterdam, the Netherlands, 27-29 April, 1987"@en ;
   schema:productID "16713722" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/16713722#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co_1987> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/367852320#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:publisher <http://experiment.worldcat.org/entity/work/data/367852320#Agent/north_holland> ; # North-Holland
   schema:workExample <http://worldcat.org/isbn/9780444702357> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/16713722> ;
    .


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/367852320#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
    a bgn:Agent ;
   schema:name "Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/367852320#Meeting/international_symposium_on_computer_hardware_description_languages_and_their_applications_8th_1987_amsterdam_netherlands> # International Symposium on Computer Hardware Description Languages and Their Applications (8th : 1987 : Amsterdam, Netherlands)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/367852320#Place/amsterdam_netherlands> ; # Amsterdam, Netherlands)
   schema:name "International Symposium on Computer Hardware Description Languages and Their Applications (8th : 1987 : Amsterdam, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/367852320#Person/barbacci_mario_r> # Mario R. Barbacci
    a schema:Person ;
   schema:familyName "Barbacci" ;
   schema:givenName "Mario R." ;
   schema:name "Mario R. Barbacci" ;
    .

<http://experiment.worldcat.org/entity/work/data/367852320#Place/amsterdam_netherlands> # Amsterdam, Netherlands)
    a schema:Place ;
   schema:name "Amsterdam, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/367852320#Place/new_york_n_y_u_s_a> # New York, N.Y., U.S.A.
    a schema:Place ;
   schema:name "New York, N.Y., U.S.A." ;
    .

<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/109301709> # Cees-Jan Koomen
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:familyName "Koomen" ;
   schema:givenName "Cees-Jan" ;
   schema:givenName "C. J." ;
   schema:name "Cees-Jan Koomen" ;
    .

<http://viaf.org/viaf/133793795> # IBM Nederland.
    a schema:Organization ;
   schema:name "IBM Nederland." ;
    .

<http://viaf.org/viaf/137242165> # IFIP WG 10.2.
    a schema:Organization ;
   schema:name "IFIP WG 10.2." ;
    .

<http://viaf.org/viaf/262122579> # IFIP TC-10.
    a schema:Organization ;
   schema:name "IFIP TC-10." ;
    .

<http://worldcat.org/isbn/9780444702357>
    a schema:ProductModel ;
   schema:isbn "0444702350" ;
   schema:isbn "9780444702357" ;
    .

<http://www.worldcat.org/title/-/oclc/16713722>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/16713722> ; # Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Eighth International Conference on Computer Hardware Description Languages and Their Applications, Amsterdam, the Netherlands, 27-29 April, 1987
   schema:dateModified "2017-09-04" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/16713722#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co_1987>
    a schema:PublicationEvent ;
   schema:location <http://experiment.worldcat.org/entity/work/data/367852320#Place/new_york_n_y_u_s_a> ; # New York, N.Y., U.S.A.
   schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:location <http://experiment.worldcat.org/entity/work/data/367852320#Place/amsterdam> ; # Amsterdam
   schema:organizer <http://experiment.worldcat.org/entity/work/data/367852320#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:organizer <http://experiment.worldcat.org/entity/work/data/367852320#Agent/north_holland> ; # North-Holland
   schema:startDate "1987" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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