Current Issues in Electronic Modeling - Model Generation in Electronic Design
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781461359890, 9781461523352

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

VHDL Floating Point Operations

Current Issues in Electronic Modeling - Model Generation in Electronic Design ◽

10.1007/978-1-4615-2335-2_6 ◽

1995 ◽

pp. 91-103

Author(s):

George S. Powley ◽

Joanne E. DeGroat

Keyword(s):

Floating Point

Download Full-text

Symbolic Model Checking with Past and Future Temporal Modalities: Fundamentals and Algorithms

Current Issues in Electronic Modeling - Model Generation in Electronic Design ◽

10.1007/978-1-4615-2335-2_7 ◽

1995 ◽

pp. 105-126 ◽

Cited By ~ 1

Author(s):

David Déharbe ◽

Dominique Borrione

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Modeling Multiple Driver Net Delay in Simulation

Current Issues in Electronic Modeling - Model Generation in Electronic Design ◽

10.1007/978-1-4615-2335-2_4 ◽

1995 ◽

pp. 43-62

Author(s):

Ray Ryan

Download Full-text

What Makes an ASIC Library Sign-Off?

Current Issues in Electronic Modeling - Model Generation in Electronic Design ◽

10.1007/978-1-4615-2335-2_2 ◽

1995 ◽

pp. 21-30

Author(s):

Greg Haynes

Download Full-text

A Flexible Generator of Component Models

Current Issues in Electronic Modeling - Model Generation in Electronic Design ◽

10.1007/978-1-4615-2335-2_1 ◽

1995 ◽

pp. 1-19

Author(s):

Marcus Blüml ◽

Frédérique Bouchard ◽

Adam Pawlak

Keyword(s):

Component Models

Download Full-text

DELPHI: The Development of Libraries of Physical Models of Electronic Components for an Integrated Design Environment

Current Issues in Electronic Modeling - Model Generation in Electronic Design ◽

10.1007/978-1-4615-2335-2_5 ◽

1995 ◽

pp. 63-89 ◽

Cited By ~ 18

Author(s):

Harvey I Rosten ◽

Clemens J M Lasance

Keyword(s):

Integrated Design ◽

Physical Models ◽

Electronic Components ◽

Design Environment ◽

Integrated Design Environment

Download Full-text

KRYPTON: Portable, Non-Reversible Encryption for VHDL

Current Issues in Electronic Modeling - Model Generation in Electronic Design ◽

10.1007/978-1-4615-2335-2_8 ◽

1995 ◽

pp. 127-151

Author(s):

Kevin O’Brien ◽

Serge Maginot

Download Full-text

A Case History in Building Vital-Compliant Models

Current Issues in Electronic Modeling - Model Generation in Electronic Design ◽

10.1007/978-1-4615-2335-2_3 ◽

1995 ◽

pp. 31-42

Author(s):

Przemyslaw Bakowski ◽

Frédérique Bouchard ◽

Jean-Paul Caïsso ◽

Frédéric Igier

Keyword(s):

Case History

Download Full-text

Current Issues in Electronic Modeling - Model Generation in Electronic DesignLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

VHDL Floating Point Operations

Symbolic Model Checking with Past and Future Temporal Modalities: Fundamentals and Algorithms

Modeling Multiple Driver Net Delay in Simulation

What Makes an ASIC Library Sign-Off?

A Flexible Generator of Component Models

DELPHI: The Development of Libraries of Physical Models of Electronic Components for an Integrated Design Environment

KRYPTON: Portable, Non-Reversible Encryption for VHDL

A Case History in Building Vital-Compliant Models

Current Issues in Electronic Modeling - Model Generation in Electronic Design
Latest Publications