Skip to main content
SpringerLink
Log in

High-Level System Modeling

Specification and Design Methodologies

  • Book
  • © 1996

Overview

Editors:
  1. Ronald Waxman

    1. Department of Electrical Engineering, University of Virginia, Charlottesville, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Michel Bergé

    1. CNET, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Oz Levia

    1. Synopsys Inc., USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Jacques Rouillard

    1. ESIM, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Current Issues in Electronic Modeling (CIEM, volume 4)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. A System Specification Model and Method

    • Jean-Paul Calvez
    Pages 1-54

  3. Adept: A Unified Environment for end-to-end System Design

    • Sanjaya Kumar, Robert H. Klenke, James H. Aylor, Barry W. Johnson, Ronald D. Williams, Ronald Waxman
    Pages 55-82

  4. The Design Cube: A Model for VHDL Designflow Representation and Its Application

    • Wolfgang Ecker, Michael Hofmeister, Sabine März-Rössel
    Pages 83-128

  5. A Novel Approach to Guiding Incremental Specification

    • Thomas Gabler, Sabine März-Rössel
    Pages 129-148

  6. An Expert Assistant for Hardware Systems Specification

    • Laurent Chaouat, Alain Vachoux, Daniel Mlynek
    Pages 149-172

  7. Integrating Non-Functional Aspects Into Lotos

    • Luis Sánchez Fernández, Natividad MartĂ­nez Madrid, Carlos Delgado Kloos
    Pages 173-189

  8. Back Matter

    Pages 191-192
    Download chapter PDF
Back to top

Keywords

About this book

In system design, generation of high-level abstract models that can be closely associated with evolving lower-level models provides designers with the ability to incrementally `test' an evolving design against a model of a specification. Such high-level models may deal with areas such as performance, reliability, availability, maintainability, and system safety. Abstract models also allow exploration of the hardware versus software design space in an incremental fashion as a fuller, detailed design unfolds, leaving behind the old practice of hardware-software binding too early in the design process. Such models may also allow the inclusion of non-functional aspects of design (e.g. space, power, heat) in a simulatable information model dealing with the system's operation. This book addresses Model Generation and Application specifically in the following domains:
  • Specification modeling (linking object/data modeling, behavior modeling, and activity modeling).
  • Operational specification modeling (modeling the way the system is supposed to operate - from a user's viewpoint).
  • Linking non-functional parameters with specification models.
  • Hybrid modeling (linking performance and functional elements).
  • Application of high-level modeling to hardware/software approaches.
  • Mathematical analysis techniques related to the modeling approaches.
  • Reliability modeling.
  • Applications of High Level Modeling.
  • Reducing High Level Modeling to Practice.
High-Level System Modeling: Specification and Design Methodologies describes the latest research and practice in the modeling of electronic systems and as such is an important update for all researchers, design engineers and technical managers working in design automation and circuit design.

Editors and Affiliations

  • Department of Electrical Engineering, University of Virginia, Charlottesville, USA

    Ronald Waxman

  • CNET, France

    Jean-Michel Bergé

  • Synopsys Inc., USA

    Oz Levia

  • ESIM, France

    Jacques Rouillard

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation