VHDL for Simulation, Synthesis and Formal Proofs of Hardware: The Springer International Series in Engineering and Computer Science, cartea 183
Editat de Jean Mermeten Limba Engleză Hardback – 31 mai 1992
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 1217.79 lei 6-8 săpt. | |
| Springer Us – 16 oct 2012 | 1217.79 lei 6-8 săpt. | |
| Hardback (1) | 1229.39 lei 6-8 săpt. | |
| Springer Us – 31 mai 1992 | 1229.39 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 - 20%
Preț: 569.56 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ț: 1229.39 lei
Preț vechi: 1536.74 lei
-20% Nou
Puncte Express: 1844
Preț estimativ în valută:
217.51€ • 255.72$ • 190.51£
217.51€ • 255.72$ • 190.51£
Carte tipărită la comandă
Livrare economică 28 ianuarie-11 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780792392538
ISBN-10: 0792392531
Pagini: 307
Ilustrații: IX, 307 p.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.63 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: 0792392531
Pagini: 307
Ilustrații: IX, 307 p.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.63 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
Evolutionary Processes in Language, Software, and System Design.- Timing Constraint Checks in VHDL—a comparative study.- Using Formalized Timing Diagrams in VHDL Simulation.- Switch-Level Models in Multi-Level VHDL Simulations.- Bi-Directional Switches in VHDL using the 46 Value System.- Systems Real Time Analysis with VHDL Generated from Graphical SA-VHDL.- Delay Calculation and Back Annotation in VHDL Addressing the Requirements of ASIC Design.- A VHDL-Driven Synthesis Environment.- VHDL Specific Issues in High Level Synthesis.- ASIC Design Using Silicon 1076.- Generating VHDL for Simulation and Synthesis from a High-Level DSP Design Tool.- Aspects of Optimization and Accuracy for VHDL Synthesis.- Symbolic Computation of Hierarchical and Interconnected FSMS.- Formal Semantics of VHDL Timing Constructs.- Structural Information Model of VHDL.- Formal Verification of VHDL Descriptions in Boyer-Moore: First Results.- Developing a Formal Semantic Definition of VHDL.- Approaching System Level Design.- Incremental Design—Application of a Software-Based Method for High-Level Hardware Design with VHDL.- Introducing CASCADE control graphs in VHDL.