分岐時間正則時相論理による論理回路の仕様記述・設計検証手法の研究
分岐時間正則時相論理による論理回路の仕様記述・設計検証手法の研究
采用分支时间正则时序逻辑的逻辑电路规范描述及设计验证方法研究
批准号：
04750328
负责人：
濱口 清治
金额：
$0.58万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1992
资助国家：
日本
项目状态：
已结题
起止时间：
1992 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
動作レベルおよびレジスタ転送レベルのハードウェア記述に対する形式的検証手法の研究
-
批准号：13780233
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$1.22万
-
财政年份：2001
-
负责人：濱口 清治
-
依托单位：
ハードウェアの機能レベル設計に対する形式的検証手法に関する研究
-
批准号：10780189
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.9万
-
财政年份：1998
-
负责人：濱口 清治
-
依托单位：
等式論理による機能レベル設計の形式的検証に関する研究
-
批准号：08780268
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.64万
-
财政年份：1996
-
负责人：濱口 清治
-
依托单位：
規則性を持つ大規模な有限状態機械の形式的設計検証に関する研究
-
批准号：07780254
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.51万
-
财政年份：1995
-
负责人：濱口 清治
-
依托单位：
マイクロプロセッサの形式的仕様記述・検証に関する研究
-
批准号：06780256
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.58万
-
财政年份：1994
-
负责人：濱口 清治
-
依托单位：