Scan barcode
![Assertion-Based Design by Harry Foster, David Lacey, Adam Krolnik](https://558130.bdp32.group/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaHBBd3RKWmc9PSIsImV4cCI6bnVsbCwicHVyIjoiYmxvYl9pZCJ9fQ==--7d7422f732eef0489a0b258ede65845fbba0807f/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaDdCem9MWm05eWJXRjBTU0lJYW5CbkJqb0dSVlE2RkhKbGMybDZaVjkwYjE5c2FXMXBkRnNIYVFJc0FXa0M5QUU9IiwiZXhwIjpudWxsLCJwdXIiOiJ2YXJpYXRpb24ifX0=--038335c90cf75c275ae4d36968ac417dc4a0a3e3/Assertion-Based%20Design.jpg)
263 pages • missing pub info (editions)
ISBN/UID: 9781402074981
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 30 June 2003
Description
The focus of Assertion-Based Design is three-fold: How to specify assertions; how to create and adopt a methodology that supports assertion-based design (predominately for RTL design); and what to do with the assertions and methodology once you ha...
Community Reviews
Content Warnings
![Assertion-Based Design by Harry Foster, David Lacey, Adam Krolnik](https://558130.bdp32.group/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaHBBd3RKWmc9PSIsImV4cCI6bnVsbCwicHVyIjoiYmxvYl9pZCJ9fQ==--7d7422f732eef0489a0b258ede65845fbba0807f/eyJfcmFpbHMiOnsibWVzc2FnZSI6IkJBaDdCem9MWm05eWJXRjBTU0lJYW5CbkJqb0dSVlE2RkhKbGMybDZaVjkwYjE5c2FXMXBkRnNIYVFJc0FXa0M5QUU9IiwiZXhwIjpudWxsLCJwdXIiOiJ2YXJpYXRpb24ifX0=--038335c90cf75c275ae4d36968ac417dc4a0a3e3/Assertion-Based%20Design.jpg)
263 pages • missing pub info (editions)
ISBN/UID: 9781402074981
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 30 June 2003
Description
The focus of Assertion-Based Design is three-fold: How to specify assertions; how to create and adopt a methodology that supports assertion-based design (predominately for RTL design); and what to do with the assertions and methodology once you ha...