著者
三橋 明城男 吉川 隆英
出版者
一般社団法人 電子情報通信学会
雑誌
電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review (ISSN:18820875)
巻号頁・発行日
vol.16, no.4, pp.272-288, 2023-04-01 (Released:2023-04-01)
参考文献数
51

半導体のチップあたりのトランジスタ数は過去50年間,一貫して指数関数的に増加しており,搭載可能な論理的な機能の大規模化,複雑化をもたらしている.この動きに対応するため,論理設計手法も回路図ベースから言語ベースへと進化し,更に設計資産の再利用や標準バスインタフェースの採用などにより設計生産性を上げてきた.同様に,論理機能検証においても主に多様化する機能の検証網羅性と検証作業の生産性の課題が顕在化し,従来の手法では立ち行かなくなってきている.そこで,本稿ではこのような検証の課題を解決するための検証技術や検証メソドロジ(検証の方法論,手順,やり方),標準化の歴史などについて解説する.更に機能やその組み合わせの検証の範囲を越えて,近年重要性が増している非同期回路設計や低消費電力回路設計に伴って発生する新たな論理・回路検証項目や,セキュリティ対応や機能安全標準への準拠など,検証を更に複雑化する検証対象と,その対策についても解説する.また,これまでハードウェアの開発技術がソフトウェア開発技術の進化に追従する形で発展してきた歴史を振り返り,今後の検証技術の発展可能性についても展望する.