Assertion-Based Design

by Harry D. Foster, David J. Lacey, Adam C. Krolnik

Book Overview

1 Introduction.- 1.1 Property checking.- 1.2 Verification techniques.- 1.3 What is an assertion?.- 1.3.1 A historical perspective.- 1.3.2 Do assertions really work?.- 1.3.3 What are the benefits of... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 1402080271
• ISBN13: 9781402080272
• Release Date: May 2004
• Publisher: Springer
• Length: 390 Pages
• Weight: 0.85 lbs.
• Dimensions: 1.1" x 6.2" x 9.6"