Image from Amazon.com
Advanced Formal Verification
Material type:
TextPublication details: Boston Kluwer Academic Publishers 2004Description: 249pISBN: - 9781402077210
- 621.38150285514 ADV
| Item type | Current library | Item location | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
Reference Book
|
NIMA Knowledge Centre | 6th Floor Silence Zone | Reference | 621.38150285514 ADV (Browse shelf(Opens below)) | Not For Loan | T0023529 |
Total holds: 0
Introduction What Sat Solvers can and cannot do Advancements in Mixed BDD and SAT Techniques Equivalence Checking of Arithmetic Circuits Application of Property Checking and Underlying Techniques Assertion Based Verification Formal Verification for Nonlinear Analog Systems
There are no comments on this title.
Log in to your account to post a comment.