Research Catalog

High-level system modeling : specification languages

Title
High-level system modeling : specification languages / edited by Jean-Michel Bergé, Oz Levia, Jacques Rouillard.
Publication
Boston : Kluwer Academic, [1995], ©1995.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance TK7885.7 .H53 1995Off-site

Holdings

Details

Additional Authors
  • Bergé, Jean-Michel.
  • Levia, Oz.
  • Rouillard, Jacques.
Description
xvi, 162 pages : illustrations; 25 cm.
Summary
  • High-Level System Modeling: Specification Languages describes the state-of-the-art in specification formalisms in electronic design. The book provides an overview of object-oriented methodologies. It goes on to highlight several formalisms such as VSPEC, ESTELLE, SDL and LOTOS with methods that map their semantics to simulatable or synthesisable VHDL.
  • High-Level System Modeling: Specification Languages is the essential update for researchers, design engineers and technical managers working in design automation and circuit design.
Series Statement
Current issues in electronic modeling ; v. 3
Uniform Title
Current issues in electronic modeling ; v. 3.
Subject
  • Computer hardware description languages
  • System design
Bibliography (note)
  • Includes bibliographical references and index.
Contents
1. Specification-Modeling Methodologies for Reactive-System Design / Ambar Sarkar, Ronald Waxman and James P. Cohoon -- 2. Survey on Languages for Object Oriented Hardware Design Methodologies / Guido Schumacher and Wolfgang Nebel -- 3. VSPEC: A Declarative Requirements Specification Language for VHDL / Phillip Baraona, John Penix and Perry Alexander -- 4. Communication Protocols Implemented in Hardware: VHDL Generation from Estelle / Jacek Wytrebowicz and Stanislaw Budkowski -- 5. An Algorithm for the Translation of SDL into Synthesizable VHDL / R. J. O. Figueiredo and I. S. Bonatti -- 6. From Lotos to VHDL / C. Delgado Kloos, A. Marin Lopez, T. de Miguel Moro and T. Robles Valladares -- 7. Using an X-Machine to Model a Video Cassette Recorder / M. Fairtlough, M. Holcombe, F. Ipate, C. Jordan, G. Laycock and D. Zhenhua.
ISBN
0792396324 (acid-free paper)
LCCN
95038222
OCLC
  • 33009646
  • ocm33009646
Owning Institutions
Columbia University Libraries