Applied Formal Verification
Autor Douglas Perry, Harry Fosteren Limba Engleză Hardback – 16 mai 2005
Formal Verification, ASAP
Applied Formal Verification delivers right-now methods for integrating this powerful tool into your design process. Written by two of the field's leaders, this tutorial opens shortcuts to the concept-proving, efficiency-boosting benefits of formal verification. The book includes real-world examples of formal verification applied to complex designs and clarifying explanations of high-level requirement writing. If you've some knowledge of Verilog or VHDL and simulation verification, you're ready to build your real-world problem-solving skills with this potent guide to formal verification.
APPLY FORMAL VERIFICATION NOW
Simulation-based verification * Introduction to formal techniques * Contrasting simulation and formal techniques * Developing a formal test plan * Writing high-level requirements * Proving high-level requirements * System-level simulation * Final system simulation * PSL tables * SystemVerilog assertions tables
Preț: 654.27 lei
Preț vechi: 688.71 lei
-5% Nou
Puncte Express: 981
Preț estimativ în valută:
125.21€ • 129.93$ • 104.65£
125.21€ • 129.93$ • 104.65£
Carte tipărită la comandă
Livrare economică 20-25 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780071443722
ISBN-10: 007144372X
Pagini: 240
Dimensiuni: 155 x 231 x 24 mm
Greutate: 0.51 kg
Ediția:New.
Editura: McGraw Hill Education
Colecția McGraw-Hill
Locul publicării:United States
ISBN-10: 007144372X
Pagini: 240
Dimensiuni: 155 x 231 x 24 mm
Greutate: 0.51 kg
Ediția:New.
Editura: McGraw Hill Education
Colecția McGraw-Hill
Locul publicării:United States