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.
- ISBN: 978-1-4899-7897-4
- Editorial: Springer
- Encuadernacion: Rústica
- Páginas: 341
- Fecha Publicación: 15/05/2016
- Nº Volúmenes: 1
- Idioma: Inglés