Research Catalog

Model generation in electronic design

Title
Model generation in electronic design / edited by Jean-Michel Bergé, Oz Levia, and Jacques Rouillard.
Publication
Boston : Kluwer Academic Publishers, [1995], ©1995.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance TK7874.6 .M63 1995Off-site

Details

Additional Authors
  • Bergé, Jean-Michel.
  • Levia, Oz.
  • Rouillard, Jacques.
Description
xviii, 155 pages : illustrations; 25 cm.
Summary
  • Model Generation in Electronic Design describes many of the activities currently taking place in the electronic modeling domain. This volume covers a wide-range of model application, research use and disciplines all of which will be of interest to users, vendors, model producers and researchers.
  • Model Generation in Electronic Design begins by describing a model generator to create component models. After this introduction the volume focuses on ASIC design and ASIC library generation. This includes chapters on the requirements for developing an ASIC library, a case study of using VITAL to create an ASIC library and the analysis and description of the accuracy required in modeling interconnections in ASIC design.
  • Other chapters describe the development of thermal models for electronic devices, the development of a set of model packages for VHDL floating point operations, a technique for model validation and verification and a tool for model encryption. Model Generation in Electronic Design is the essential update for technical managers, designers, and researchers working in electronic design.
Series Statement
Current issues in electronic modeling ; v. 1
Uniform Title
Current issues in electronic modeling ; v. 1.
Subject
  • Application-specific integrated circuits > Data processing
  • Digital computer simulation
  • Application-specific integrated circuits > Mathematical models
Bibliography (note)
  • Includes bibliographical references and index.
Contents
1. A Flexible Generator of Component Models -- 2. What Makes an ASIC Library Sign-Off? -- 3. A Case History in Building Vital-Compliant Models -- 4. Modeling Multiple Driver Net Delay in Simulation -- 5. Delphi: The Development of Libraries of Physical Models of Electronic Components for an Integrated Design Environment -- 6. VHDL Floating Point Operations -- 7. Symbolic Model Checking with Past and Future Temporal Modalities: Fundamentals and Algorithms -- 8. Krypton : Portable, Non-Reversible Encryption for VHDL.
ISBN
0792395689
LCCN
95011943
OCLC
  • 32204105
  • ocm32204105
Owning Institutions
Columbia University Libraries