- We will send in 10–14 business days.
/images/books/13033366/9783319071381.jpg)
- Author: Eduard Cerny
- Publisher: Springer
- ISBN-10: 3319071386
- ISBN-13: 9783319071381
- Format: 15.6 x 23.4 x 3.3 cm, kieti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
Part I. Opening.- Introduction.- System Verilog Language and Overview.- System Verilog Simulation Semantics.- Part II. Basic Assertions.- Assertion Statements.- Basic Properties.- Basic Sequences.- Assertion System Functions and Tasks.- Part III. Metalanguage Constructs.- Let, Sequence and Property Declarations; Inference.- Checkers.- Part IV. Advanced Assertions.- Advanced Properties.- Advanced Sequences.- Clocks.- Resets.- Procedural Concurrent Assertions.- An Apology for Local Variables.- Mechanics of Local Variables.- Recursive Properties.- Coverage.- Debugging Assertions and Efficiency Considerations.- Part V. Formal Verification.- Introduction to Assertion-Based Formal Verification.- Formal Verification and Models.- Formal Semantics.- Part VI. Advanced Checkers.- Checkers in Formal Verification.- Checker Libraries.- Appendix.- References.- Index.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 22d.21:18:14
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Eduard Cerny
- Publisher: Springer
- ISBN-10: 3319071386
- ISBN-13: 9783319071381
- Format: 15.6 x 23.4 x 3.3 cm, kieti viršeliai
- Language: English English
Part I. Opening.- Introduction.- System Verilog Language and Overview.- System Verilog Simulation Semantics.- Part II. Basic Assertions.- Assertion Statements.- Basic Properties.- Basic Sequences.- Assertion System Functions and Tasks.- Part III. Metalanguage Constructs.- Let, Sequence and Property Declarations; Inference.- Checkers.- Part IV. Advanced Assertions.- Advanced Properties.- Advanced Sequences.- Clocks.- Resets.- Procedural Concurrent Assertions.- An Apology for Local Variables.- Mechanics of Local Variables.- Recursive Properties.- Coverage.- Debugging Assertions and Efficiency Considerations.- Part V. Formal Verification.- Introduction to Assertion-Based Formal Verification.- Formal Verification and Models.- Formal Semantics.- Part VI. Advanced Checkers.- Checkers in Formal Verification.- Checker Libraries.- Appendix.- References.- Index.
Reviews