000 | 02463nam a2200277 u 4500 | ||
---|---|---|---|
001 | 10106844 | ||
003 | upatras | ||
005 | 20210825092134.0 | ||
008 | 030408s gre | ||
040 |
_aΒιβλιοθήκη ΕΑΙΤΥ _cΒιβλιοθήκη ΕΑΙΤΥ |
||
040 |
_aXX-XxUND _cΒιβλιοθήκη ΕΑΙΤΥ |
||
082 | 1 | 4 |
_a621.381 5 _221h |
245 | 1 | 0 |
_aComputer - Aided Designs Tools for Digital Systems _bTUTORIAL. A tutorial on design automation tools at the architecture and register - transfer level _cW. M. vanCleemput |
250 | _a2nd ed. | ||
260 |
_aNew York _bThe Institute of Electrical and Electronic Engineers, Inc. _cc1979 |
||
300 | _av, 168 p., fig. | ||
504 | _aΠεριέχει Βιβλιογραφικές Αναφορές | ||
505 | 1 |
_aPreface _aPart 1: Introduction _aThe Role of Design Automation in the Design of Digital Systems _aA Structured Design Automation Environment for Digital Systems _aPart II : Design Languages _aA Survey of Computer Hardware Description Language in the USA _aIntroducing PMS _aAn Hierarchical Language for the Structural Description of Digital Systems _aSCALD:Structured Computer-Aided Logic Design _aAn Architectural Research Facility - ISP Descriptions, Simulation, Data Collection _aIntroducing CDL/ Yaohan Chu _aIntroducing CDL /D.L. Dietmeyer _aIntroducing AHPL / Frederick J. Hill _aPart III : System Level Description _aLOGOS and the Software Engineer _aModeling for Syntesis - The Gap Between Intent and Behavior _aState of the Implementation of SARA _aMulti-Level Modeling in SARA _aThe Graph Model of Behavior Simulator _aDeveloping a SARA Building Block - The 8080 _aSpecialization of SARA for Software Synthesis _aPart IV : System Level Simulation _aComputer System Simulation : An Introduction _aPart V : Register Transfer and Gate Level Simulation _aDesign Verification at the Register Transfer Language Level _aDigital Logic Simulation In a Time - Based, Table - Driven Environment. Part 1. Design Verification _aDigital Logic Simulation In a Time-Based, Table-Driven Environment. Part 2. Parallel Fault Simulation |
|
650 | 4 |
_aΗλεκτρονικοί υπολογιστές _xΜελέτη και διδασκαλία _9121737 |
|
650 | 4 |
_aCOMPUTER AIDED DESIGN _924299 |
|
650 | 4 |
_aDIGITAL SYSTEMS _9113234 |
|
650 | 4 |
_aΓΑΛΛΟΠΟΥΛΟΣ _9113813 |
|
700 | 1 |
_aVANCLEEMPUT, W.M. _4aut _9127374 |
|
942 | _2ddc | ||
999 |
_c92707 _d92707 |