商品描述
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.
商品描述(中文翻譯)
描述了一個小型驗證庫，專注於用戶適應性，例如可重用的組件、可攜帶的智慧財產權和共同驗證。
對可重用性採取現實的看法，並將所學的經驗提煉成一套技術和指導方針的工具箱。
