回路設計エキスパ-トシステム (CAD特集)

スポンサーリンク

概要

• 論文の詳細を見る
• 富士通の論文

著者

• 山崎 正実

  富士通

関連論文

• 2. 形式的検証手法の実設計への適用例 ( 論理設計の形式的検証)
• VLSI実設計に於ける形式的検証の適用
• 回路設計エキスパ-トシステム (CAD特集)

スポンサーリンク