A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Continue reading
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Continue reading
Creating Assertion-Based Verification IP
The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, ...
Continue reading
Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
Continue readingNuel Belnap on Indeterminism and Free Action
This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our ...
Continue reading
Software Composition : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
The goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...
Continue reading
Verification Methodology Manual for SystemVerilog
Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...
Continue reading
