基于模块依赖的并行逻辑设计验证-猫眼课题宝

基于模块依赖的并行逻辑设计验证

批准号：

18500043

负责人：

HIRAISHI Hiromi

金额：

$2.29万

依托单位：

Kyoto Sangyo University

依托单位国家：

日本

项目类别：

Grant-in-Aid for Scientific Research (C)

财政年份：

2006

资助国家：

日本

项目状态：

已结题

起止时间：

2006 至 2008

来源：

https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18500043/

关键词：

設計検証モデル検査モジュール分割共有二分決定グラフ並列アルゴリズム遷移関係

项目摘要

项目成果

HIRAISHI Hiromi的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

形式的論理設計検証手法として記号モデル検査を取り上げ、モジュールの依存関係や内部の制御構造に着目して変数順を決めるアルゴリズムを提案し、これにより効率を数倍から数百倍向上出来ることを示した。また、分割した遷移関係を用いるアルゴリズムの中で、値が変化しない変数を早期に削除することにより、数倍から数十倍の効率向上が得られることを示した。さらに、並列論理関数処理として動的並列化法を提案し、その有効性も示した。

期刊论文(0)

专著(0)

科研奖励(0)

会议论文

SATアルゴリズムを利用した記号モデル検査について

关于使用 SAT 算法进行符号模型检查

DOI： --

发表时间： 2008

期刊：

影响因子： --

作者：

[Hironori Washizaki, Satoru Takano, Yoshiaki Fukazawa, Yoichi Tomioka, 富岡洋一, Yoichi Tomioka, 平石裕実, 平石裕実, 平石裕実]