skip to content
Computer hardware description languages and their applications : proceedings of the IFIP WG 10.02 tenth International Symposium on Computer Hardware Description Languages and their Applications : Marseille, France, 22-24 April 1991 Preview this item
ClosePreview this item
Checking...

Computer hardware description languages and their applications : proceedings of the IFIP WG 10.02 tenth International Symposium on Computer Hardware Description Languages and their Applications : Marseille, France, 22-24 April 1991

Author: Dominique Borrione; Ronald Waxman
Publisher: Amsterdam : North-Holland, 1991.
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: konferencje
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Dominique Borrione; Ronald Waxman
ISBN: 0444892087 9780444892089
OCLC Number: 751527336
Description: XI, 477 s. : il. ; 24 cm.
Contents: Keynote: Some Issues in HDL-based Behaviour Modelling (R. Piloty, - Germany). Sessions: Verification 1 (C.D. Kloos, - Spain, Chair.): From a HDL Description to Formal Proof Systems: Principles and Mechanization (L. Pierre - France), Specification and Verification of Hardware Systems Using the Temporal Logic Language TRIO (A. Coen-Porisini, A. Morzenti, D. Sciuto, - Italy), A Methodology for Proving Correctness of Parameterized Hardware Modules in HOL (C.M. Angelo, L. Claesen, H. De Man, - Belgium). Simulation 1 (P. Bakowski, - France, Chair.): An Exercise in VHDL Timing Back-Annotation (G. Jennings - Sweden), Behavioral Level Modeling of Gate Level Loading Effects (Z. Navabi - USA), Putting Different Simulation Models Together - The Simulation Configuration Language VHDL/S (A. Oczko, C. Oczko - Germany). Verification 2 (E. Clarke - USA, Chair.): Abstraction Mechanisms for Hardware Verification: Formalisation in a Process Algebra (A. Bailey - UK), Verification of Synchronous Sequential Circuits Obtained from Algorithmic Specifications (F. Corella, R. Camposano, R. Bergamaschi, M. Payer - USA), A Method for Symbolic Verification of Synchronous Circuits (T. Filkorn - Germany). Design Environments 1 (F. Wagner - Brazil, Chair.): Operation/Event Graphs: A Design Representation for Timing Behavior (T. Amon, G. Borriello, C. Sequin - USA), A New Timed Petri Net Model for Hardware Representation (G. Buonanno, S. Morasca, M. Pezze, K. Portman, D. Sciuto - Italy), An Object-Oriented Framework Supporting the Full High-Level Synthesis Trajectory (D. Lanneer, et al.- Belgium). Synthesis (R. Camposano - USA, Chair.):VHDL Extensions Needed for Synthesis and Design (D. Agnew - Canada), Hierarchical Action Refinement: A Methodology for Compiling Asynchronous Circuits from a Concurrent HDL (V. Akella, G. Gopalakrishnan - USA), EDISYN: A Language-Based Editor for High-Level Synthesis (C. Chang, G.M. Brown, M.E. Leeser - USA). Design Environment 2 (F. Rammig - Germany, Chair.): A Constraint-Driven Approach to Configuration Binding in an Object-Oriented VHDL CAD System (N.D. Dutt, J.H. Cho, T. Hadley - USA). Test (D. Agnew - Canada, Chair.): VHDL Semantics for Behavioral Test Generation (C.H. Cho, J.R. Armstrong - USA), Using a VHDL Description to Generate Hardware Test (P. Wodey, C. Robach - France), Functional Tests for Hardware Derived from VHDL Description (H. Hummer, H. Veit, H. Topfer - Germany). Invited Papers: Declarative Languages - Still a Long Way to Go (R. Boute - The Netherlands), Experience in Designing Formally Verifiable HDL's (H. Eveking - Germany). Short Papers: (M.J. Chung - USA, Chair.): High Level Specification and Synthesis of Sequential Logic Modules (P. Hou, R.M. Owens, M.J. Irwin - USA), Fully Generic Description of Hardware in VHDL (J.J. Joyce, J.P. Van Tassel - Canada), Integrating Hardware Verification with CHDLs (S. Rajgopal, K. Hedlund, D. Reeves - USA), SpecCharts: A Language for System Level Synthesis (F. Vahid, S. Narayan, D.D.
Responsibility: ed. by Dominique Borrione, Ronald Waxman.

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/751527336> # Computer hardware description languages and their applications : proceedings of the IFIP WG 10.02 tenth International Symposium on Computer Hardware Description Languages and their Applications : Marseille, France, 22-24 April 1991
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "751527336" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/499704443#Place/amsterdam> ; # Amsterdam
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/499704443#Topic/jezyki_opisu_sprzetu_elektronika_cyfrowa> ; # Języki opisu sprzętu (elektronika cyfrowa)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/499704443#Person/borrione_dominique> ; # Dominique Borrione
   schema:contributor <http://experiment.worldcat.org/entity/work/data/499704443#Person/waxman_ronald> ; # Ronald Waxman
   schema:contributor <http://experiment.worldcat.org/entity/work/data/499704443#Meeting/international_symposium_on_computer_hardware_description_languages_and_their_applications_10_1991_marsylia> ; # International Symposium on Computer Hardware Description Languages and Their Applications (10 ; 1991 ; Marsylia).
   schema:datePublished "1991" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/499704443> ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:name "Computer hardware description languages and their applications : proceedings of the IFIP WG 10.02 tenth International Symposium on Computer Hardware Description Languages and their Applications : Marseille, France, 22-24 April 1991" ;
   schema:productID "751527336" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/751527336#PublicationEvent/amsterdam_north_holland_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/499704443#Agent/north_holland> ; # North-Holland
   schema:workExample <http://worldcat.org/isbn/9780444892089> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/751527336> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/499704443#Meeting/international_symposium_on_computer_hardware_description_languages_and_their_applications_10_1991_marsylia> # International Symposium on Computer Hardware Description Languages and Their Applications (10 ; 1991 ; Marsylia).
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/499704443#Place/marsylia> ; # Marsylia).
   schema:name "International Symposium on Computer Hardware Description Languages and Their Applications (10 ; 1991 ; Marsylia)." ;
    .

<http://experiment.worldcat.org/entity/work/data/499704443#Person/borrione_dominique> # Dominique Borrione
    a schema:Person ;
   schema:familyName "Borrione" ;
   schema:givenName "Dominique" ;
   schema:name "Dominique Borrione" ;
    .

<http://experiment.worldcat.org/entity/work/data/499704443#Person/waxman_ronald> # Ronald Waxman
    a schema:Person ;
   schema:familyName "Waxman" ;
   schema:givenName "Ronald" ;
   schema:name "Ronald Waxman" ;
    .

<http://experiment.worldcat.org/entity/work/data/499704443#Topic/jezyki_opisu_sprzetu_elektronika_cyfrowa> # Języki opisu sprzętu (elektronika cyfrowa)
    a schema:Intangible ;
   schema:name "Języki opisu sprzętu (elektronika cyfrowa)" ;
    .

<http://worldcat.org/isbn/9780444892089>
    a schema:ProductModel ;
   schema:isbn "0444892087" ;
   schema:isbn "9780444892089" ;
    .

<http://www.worldcat.org/title/-/oclc/751527336>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/751527336> ; # Computer hardware description languages and their applications : proceedings of the IFIP WG 10.02 tenth International Symposium on Computer Hardware Description Languages and their Applications : Marseille, France, 22-24 April 1991
   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.