Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification.
Takes a realistic view of reusability and distills lessons learned down to a tool box of techniques and guidelines.
- ISBN10 0387362541
- ISBN13 9780387362540
- Publish Date 1 January 2006
- Publish Status Active
- Publish Country US
- Imprint Springer Science+Business Media
- Format eBook
- Pages 341
- Language English