The Synthesis Approach to Digital System Design: The Springer International Series in Engineering and Computer Science, cartea 170
Editat de Petra Michel, Ulrich Lauther, Peter Duzyen Limba Engleză Hardback – 31 mar 1992
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 914.22 lei 6-8 săpt. | |
| Springer Us – 11 oct 2012 | 914.22 lei 6-8 săpt. | |
| Hardback (1) | 921.04 lei 6-8 săpt. | |
| Springer Us – 31 mar 1992 | 921.04 lei 6-8 săpt. |
Din seria The Springer International Series in Engineering and Computer Science
- 20%
Preț: 594.49 lei - 24%
Preț: 859.55 lei - 20%
Preț: 1847.13 lei - 20%
Preț: 1228.27 lei - 24%
Preț: 866.26 lei - 18%
Preț: 609.91 lei - 20%
Preț: 618.64 lei - 18%
Preț: 733.28 lei - 18%
Preț: 1177.92 lei - 18%
Preț: 927.56 lei - 20%
Preț: 621.14 lei - 18%
Preț: 911.94 lei - 20%
Preț: 621.64 lei - 15%
Preț: 612.85 lei - 20%
Preț: 618.96 lei - 18%
Preț: 912.40 lei - 20%
Preț: 619.58 lei - 20%
Preț: 950.07 lei - 20%
Preț: 621.01 lei - 18%
Preț: 910.11 lei - 20%
Preț: 956.89 lei - 18%
Preț: 919.85 lei - 20%
Preț: 620.07 lei - 15%
Preț: 617.89 lei - 18%
Preț: 913.32 lei - 18%
Preț: 1173.85 lei - 18%
Preț: 920.45 lei - 15%
Preț: 619.12 lei - 18%
Preț: 911.64 lei - 18%
Preț: 910.58 lei - 20%
Preț: 1234.64 lei
Preț: 921.04 lei
Preț vechi: 1123.22 lei
-18% Nou
Puncte Express: 1382
Preț estimativ în valută:
162.96€ • 189.85$ • 142.30£
162.96€ • 189.85$ • 142.30£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780792391999
ISBN-10: 0792391993
Pagini: 415
Ilustrații: XV, 415 p.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.81 kg
Ediția:1992
Editura: Springer Us
Colecția Springer
Seria The Springer International Series in Engineering and Computer Science
Locul publicării:New York, NY, United States
ISBN-10: 0792391993
Pagini: 415
Ilustrații: XV, 415 p.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.81 kg
Ediția:1992
Editura: Springer Us
Colecția Springer
Seria The Springer International Series in Engineering and Computer Science
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
Foreword.- Acknowledgements.- 1 Introduction to Synthesis.- 1.1 The Y-Chart—Levels and Domains of Description.- 1.2 Design Flow and Taxonomy of Synthesis.- 1.3 Entry Points and User Interfaces.- 1.4 Validation.- 1.5 Testing.- 2 Hardware Description Languages and their Relevance to Synthesis.- 2.1 Introduction.- 2.2 VHDL Example- Bar-Code Preprocessor.- 2.3 VHDL Hardware Description Language.- 2.4 Relevance of HDLs to Synthesis.- 2.5 Outlook.- 2.6 Problems for the Reader.- 3 Logic-Level Synthesis.- 3.1 Introduction.- 3.2 Preliminaries and Definitions.- 3.3 Minimization of Two-Level Logic.- 3.4 Optimization of Multi-Level Logic.- 3.5 Outlook.- 3.6 Problems for the Reader.- 4 Technology Mapping.- 4.1 Introduction.- 4.2 Abstraction of Technology.- 4.3 Logic-Level Technology Mapping.- 4.4 Register-Transfer Level Technology Mapping.- 4.5 Outlook.- 4.6 Problems for the Reader.- 5 Register-Transfer Level Synthesis.- 5.1 Introduction.- 5.2 Data Path Synthesis.- 5.3 Controller Synthesis.- 5.4 Outlook.- 5.5 Problems for the Reader.- 6 High-Level Synthesis.- 6.1 Introduction.- 6.2 Internal Representation.- 6.3 Synthesis of the Register-Transfer Level Structure.- 6.4 Scheduling.- 6.5 Allocation and Assignment Tasks.- 6.6 Outlook.- 6.7 Problems for the Reader.- 7 System-Level Synthesis.- 7.1 Introduction.- 7.2 System-Level Partitioning.- 7.3 Behavioral Transformations.- 7.4 Synthesizing from System-Level Descriptions.- 7.5 Outlook.- 8 Formal Methods for Synthesis.- 8.1 Introduction.- 8.2 Formal Reasoning about Digital Systems.- 8.3 Interactive, Formal Synthesis.- 8.4 Formally Verified Synthesis Functions.- 8.5 Outlook.- 8.6 Problems for the Reader.- 9 Synthesis Related Aspects of Simulation.- 9.1 Introduction.- 9.2 Multi-Level Modeling.- 9.3 Simulation Techniques.- 9.4 Multi-LevelSimulation.- 9.5 Outlook.- 9.6 Problems for the Reader.- 10 Synthesis Related Aspects in Testing.- 10.1 Introduction.- 10.2 General Testability Aspects.- 10.3 Test Objects in Synthesis.- 10.4 Test Methods for Synthesis.- 10.5 Test Data Generation.- 10.6 Outlook.- 10.7 Problems for the Reader.
Recenzii
'I wholeheartedly recommend the use of this text in all high-level design aids and for all users of such system.' Microprocessors and Microsystems 18:8 1994