台湾Nuvoton TechnologyがSynopsysの等価性検証ツール「Formality」を標準採用
http://www.eda-express.com/2011/01/nuvoton-technologysynopsysformality.html
Transactors in SystemC: Specification and Automatic Generation
- 作者: Tareq Hasan Khan
- 出版社/メーカー: LAP Lambert Academic Publishing
- 発売日: 2010/01/01
- メディア: ペーパーバック
- この商品を含むブログ (2件) を見る