高位設計手法にアサーションを適用
表2 ASystemCのポイントカット
記事に戻る
遠藤 侑介 （東芝 研究開発センター），EDN
