|
|
|
|
| LEADER |
00000nam a22000005i 4500 |
| 001 |
b3192179 |
| 003 |
MWH |
| 005 |
20191029032025.0 |
| 007 |
cr nn 008mamaa |
| 008 |
121227s1995 xxu| s |||| 0|eng d |
| 020 |
|
|
|a 9781461523352
|
| 024 |
7 |
|
|a 10.1007/978-1-4615-2335-2
|2 doi
|
| 035 |
|
|
|a (DE-He213)978-1-4615-2335-2
|
| 050 |
|
4 |
|a E-Book
|
| 072 |
|
7 |
|a TJFC
|2 bicssc
|
| 072 |
|
7 |
|a TEC008010
|2 bisacsh
|
| 072 |
|
7 |
|a TJFC
|2 thema
|
| 245 |
1 |
0 |
|a Model Generation in Electronic Design
|h [electronic resource] /
|c edited by Jean-Michel Bergé, Oz Levia, Jacques Rouillard.
|
| 250 |
|
|
|a 1st ed. 1995.
|
| 264 |
|
1 |
|a New York, NY :
|b Springer US :
|b Imprint: Springer,
|c 1995.
|
| 300 |
|
|
|a XVIII, 155 p.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Current Issues in Electronic Modeling,
|x 1381-3951 ;
|v 1
|
| 490 |
1 |
|
|a Springer eBook Collection
|
| 505 |
0 |
|
|a 1. A Flexible Generator of Component Models -- 1.1. Introduction -- 1.2. G&D Generator -- 1.3. A Flexible Generator -- 1.4. Implementation of the Generator -- 1.5. Experimental Results -- 1.6. Conclusions and Future Work -- 2. What Makes an Asic Library Sign-Off -- 2.1. Introduction -- 2.2. Testing -- 2.3. Accuracy -- 2.4. Library Creation -- 2.5. Conclusion -- 3. A Case History in Building Vital-Compliant Models -- 3.1. Introduction: from VHDL to VITAL -- 3.2. Evolution of VITAL Specification -- 3.3. Simulation Performances -- 3.4. Conclusion and Future Work -- 4. Modeling Multiple Driver Net Delay in Simulation -- 4.1. Wire Delay -- 4.2. Wire Delay Modeling Alternatives -- 4.3. Modeling Wire Delay -- 4.4. Wire Delay Model Integration -- 4.5. Summary -- 5. Delphi: The Development of Libraries of Physical Models of Electronic Components for an Integrated Design Environment -- 5.1. Background -- 5.2. The DELPHI Project -- 5.3. Preliminary Investigations of compact models for Mono-Chip Packages -- 5.4. A Compact Model of a 208-Lead PQFP Package -- 5.5. Concluding Remarks -- 6. VHDL Floating Point Operations -- 6.1. Introduction -- 6.2. Framework for VHDL Code -- 6.3. Operations -- 6.4. Validation and Benchmarking -- 6.5. Package Usability -- 6.6. Conclusions -- 7. Symbolic Model Checking with Past and Future Temporal Modalities: Fundamentals and Algorithms -- 7.1. Introduction -- 7.2. Fundamentals -- 7.3. The Temporal Logic -- 7.4. Algorithms of the Symbolic Model Checker -- 7.5. Application to VHDL -- 7.6. Conclusion -- 8. Krypton: Portable, Non-Reversible Encryption for VHDL -- 8.1. Introduction -- 8.2. VHDL Source-Source Encryption -- 8.3. LVS: A Compilation Environment for VHDL-Based Applications -- 8.4. Running KRYPTON -- 8.5. Example -- 8.6. Conclusions and Perspectives.
|
| 520 |
|
|
|a Model Generation in Electronic Design covers a wide range of model applications and research. The book begins by describing a model generator to create component models. It goes on to discuss ASIC design and ASIC library generation. This section includes chapters on the requirements for developing and ASIC library, a case study in which VITAL is used to create such a 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 techniques for model validation and verification, and a tool for model encryption. Model Generation in Electronic Design is an essential update for users, vendors, model producers, technical managers, designers and researchers working in electronic design.
|
| 590 |
|
|
|a Loaded electronically.
|
| 590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
| 650 |
|
0 |
|a Electronic circuits.
|
| 650 |
|
0 |
|a Electrical engineering.
|
| 650 |
|
0 |
|a Computer-aided engineering.
|
| 650 |
|
0 |
|a Computer hardware.
|
| 690 |
|
|
|a Electronic resources (E-books)
|
| 700 |
1 |
|
|a Bergé, Jean-Michel.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Levia, Oz.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Rouillard, Jacques.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 830 |
|
0 |
|a Current Issues in Electronic Modeling,
|x 1381-3951 ;
|v 1
|
| 830 |
|
0 |
|a Springer eBook Collection.
|
| 856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-1-4615-2335-2
|3 Click to view e-book
|t 0
|
| 907 |
|
|
|a .b31921796
|b 04-18-22
|c 02-26-20
|
| 998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g xxu
|h 0
|i 1
|
| 912 |
|
|
|a ZDB-2-ENG
|
| 912 |
|
|
|a ZDB-2-BAE
|
| 950 |
|
|
|a Engineering (Springer-11647)
|
| 902 |
|
|
|a springer purchased ebooks
|
| 903 |
|
|
|a SEB-COLL
|
| 945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i2105342x
|z 02-26-20
|
| 999 |
f |
f |
|i a7727124-b5a7-5ace-b2dc-1a9de54ade40
|s 917db623-75d7-516c-a107-a713ae74f036
|t 0
|
| 952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|