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) | 1267.12 lei 43-57 zile | |
Springer Us – 16 oct 2012 | 1267.12 lei 43-57 zile | |
Hardback (1) | 1279.20 lei 43-57 zile | |
Springer Us – 31 mai 1992 | 1279.20 lei 43-57 zile |
Din seria The Springer International Series in Engineering and Computer Science
- 24% Preț: 1041.97 lei
- 20% Preț: 643.50 lei
- 18% Preț: 1225.62 lei
- 18% Preț: 965.02 lei
- 20% Preț: 646.12 lei
- 18% Preț: 948.79 lei
- 20% Preț: 646.62 lei
- 15% Preț: 637.46 lei
- 20% Preț: 643.83 lei
- 18% Preț: 949.23 lei
- 20% Preț: 644.48 lei
- 20% Preț: 994.92 lei
- 20% Preț: 645.97 lei
- 18% Preț: 946.87 lei
- 20% Preț: 995.57 lei
- 18% Preț: 956.99 lei
- 20% Preț: 644.98 lei
- 15% Preț: 649.54 lei
- 18% Preț: 950.21 lei
- 18% Preț: 1221.38 lei
- 18% Preț: 957.62 lei
- 15% Preț: 643.99 lei
- 18% Preț: 948.47 lei
- 18% Preț: 947.35 lei
- 20% Preț: 1284.65 lei
- 20% Preț: 1628.31 lei
- 20% Preț: 1285.78 lei
Preț: 1279.20 lei
Preț vechi: 1599.00 lei
-20% Nou
Puncte Express: 1919
Preț estimativ în valută:
244.77€ • 256.25$ • 202.53£
244.77€ • 256.25$ • 202.53£
Carte tipărită la comandă
Livrare economică 07-21 aprilie
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.