Advanced Formal Verification

By:

Drechsler, Rolf

Material type: Text

TextPublication details: Boston Kluwer Academic Publishers 2004Description: 249pISBN:

9781402077210

Subject(s):

Electronic Engineering

DDC classification:

621.38150285514 ADV

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
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

Browsing Institute of Technology shelves, Collection: Reference Close shelf browser (Hides shelf browser)

Previous								Next
Previous	621.3815021 UPT Up to Date ttl Integrated Circuits (7400...7450729): Data and Comparison Tables	621.3815021 UPT Up to Date ttl Integrated Circuits (7400...7450729): Data and Comparison Tables	621.38150216 UPT Up-To-Date Word's Transistors-Diodes-Thyristors and IC's Comparison Tables A...Z Vol - 2	621.38150285514 ADV Advanced Formal Verification	621.38152 BAL Fundamentals of Power Semiconductor Devices	621.38152 BIN Tradeoffs and Optimization n Analog CMOS Design	621.38152 BRE Theory of Modern Electronic Semiconductor Devices	Next

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.

to post a comment.