| | Using PSL/Sugar with Verilog and VHDL, Guide to Property Specification Language for ABV |  | Author: Ben Cohen
Publisher: VhdlCohen Publishing
Category: Book
List Price: $68.00
Buy New: $24.95
You Save: $43.05 (63%)
Avg. Customer Rating:  2 reviews
Sales Rank: 2863594
Media: Paperback
Pages: 186
ISBN: 0970539444
EAN: 9780970539441
ASIN: 0970539444
Publication Date: May 19, 2003
Availability: Usually ships in 1-2 business days
Condition: Ships daily! Online seller since 2000. E-mail sent when shipped.
|
| Customer Reviews:
there is a second edition out ... May 21, 2008
This book will be hard to find, so I would suggest getting the second edition Using PSL/Sugar for Formal and Dynamic Verification 2nd Edition
Good primer November 5, 2003
0 out of 1 found this review helpful
This was a good book that walks you through the basics of the PSL language and how to apply it. It includes Verilog and VHDL examples side by side. However, it is a learning tool and not useful as a reference book.
|
|
|
| |
