2024-03-29T10:15:43Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001227852023-11-17T02:17:36Z06504:08020:08030
代数的手法を用いた順序回路設計支援システムにおける検証支援機能と検証手順Facility to Support Verification in Hardware Design System using Al-gebraic Methodjpnhttp://id.nii.ac.jp/1001/00122919/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=122785&item_no=1&attribute_id=1&file_no=1大阪大学基礎工学部情報工学科大阪大学基礎工学部情報工学科大阪大学基礎工学部情報工学科大阪大学基礎工学部情報工学科森岡, 澄夫北道, 淳司東野, 輝夫谷口, 健一回路設計において投計の正しさを検証することは重要な課題であり、形式的手法として高階論理や時相論理等の適用が行われている、筆者らの研究グループでは代数的言語ASLによる同期式順序回路の記述法を定め、形式的な設計検証を行うことのできる段階的詳細化による設計法を提案し、これらに基づく回路設計支援システムを作成してきた。本稿では提案してきた設計法のもとで設計検証を形式的に行う方法、本設計支援システムにおける検証支援機能の概要、および本機能の使用例について報告する。AN00349328全国大会講演論文集第45回ハードウェア33341992-09-282015-01-20