Applied Formal Verification

By:

Perry, Douglas L

Contributor(s):

Foster, Harry D

Material type: Text

TextPublication details: New York McGraw-Hill, Inc. 2005Description: 237pISBN:

9780071443722

Subject(s):

Computer Engineering

DDC classification:

005.14 PER

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	7th Floor Silence Zone	Reference	005.14 PER (Browse shelf(Opens below))	Not For Loan		T0023714

Total holds: 0

Introduction to Verification Verification Process Current Verification Techniques Introduction to Formal Techniques Formal Basics and Definitions Property Specification The Formal Test Plan Process Techniques for Proving Properties Final System Simulation IEEE 1850 PSL Property Specification Language IEEE 1800 System Verilog Assertions

There are no comments on this title.

to post a comment.