刷新
{{item.name}}会员
Equivalence Checking for System-Level Designs Having Different Input-Output Timings
具有不同输入输出时序的系统级设计的等效性检查
基本信息
- 批准号：23700051
- 负责人：
- 金额：$ 2.33万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2011
- 资助国家：日本
- 起止时间：2011 至 2012
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
In this work, design verification methods for embedded systems or VLSIs are studied. The purpose of design verification is to check whether a given design is correct or not and provide failing patterns if incorrect. We focus on equivalence checking of given two designs. Our target of verification is system-level design, which is a highly abstracted design level and has become widely applied recently. We proposed equivalence checking methods that can deal with different input/output timings between given two designs. In addition, we have developed a method to detect potentially equivalent internal variables in designs. The purposed of this work is to improve the ability of equivalence checking for system-level designs by those proposed methods.
本文研究了嵌入式系统或超大规模集成电路的设计验证方法。设计验证的目的是检查给定的设计是否正确，如果不正确则提供失败模式。重点研究了给定两种设计的等价性检验。我们的验证目标是系统级设计，这是一个高度抽象的设计层次，最近得到了广泛的应用。我们提出了等价性检查方法，可以处理给定两种设计之间不同的输入/输出时序。此外，我们还开发了一种方法来检测设计中潜在的等效内部变量。本工作的目的是通过所提出的方法来提高系统级设计的等效性检查能力。
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
An Efficient Method to Localize and Correct Bugs in High-Level Designs Using Counterexamples and Potential Dependence
使用反例和潜在依赖来定位和纠正高层设计中的错误的有效方法
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Takeshi Matsumoto;Shohei Ono;Masahiro Fujita
- 通讯作者：Masahiro Fujita
反例と設計分割に基づく高位設計に対する効率的な設計修正支援手法
基于反例和设计划分的高层设计高效设计修改支持方法
- DOI：
- 发表时间：2011
- 期刊：
- 影响因子：0
- 作者：原田裕基;松本剛史;藤田昌宏
- 通讯作者：藤田昌宏
An Efficient Method to Localize Correct Bugs in High-Level Designs Using Counterexamples and Potential Dependence
使用反例和潜在依赖性在高层设计中定位正确错误的有效方法
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：T. Matsumoto;S. Ono;M. Fujita
- 通讯作者：M. Fujita
SAT-based automatic rectification and debugging of combinational circuits with LUT insertions
基于SAT的带LUT插入的组合电路自动校正与调试
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：S. Jo;T. Matsumoto;and M. Fujita
- 通讯作者：and M. Fujita
Automatic Assertion Extraction in Gate-Level Simulation Using GPGPUs
使用 GPGPU 进行门级仿真中的自动断言提取
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：S. Ono;T. Matsumoto;and M. Fujita
- 通讯作者：and M. Fujita
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
MATSUMOTO Takeshi其他文献
MATSUMOTO Takeshi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('MATSUMOTO Takeshi', 18)}}的其他基金
4D imaging of arterial-wall fiber structure under pulsatile conditions by using synchrotron radiation phase-contrast CT
使用同步辐射相衬 CT 对脉动条件下的动脉壁纤维结构进行 4D 成像
- 批准号：
20K21899 - 财政年份：2020
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
4D imaging of bio-soft material deformation based on phase-contrast CT using synchrotron light
基于同步加速器光相衬 CT 的生物软材料变形 4D 成像
- 批准号：
18K19926 - 财政年份：2018
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
Clarify the mechanism and dynamics characteristics of hung-up tree that is one of the causes for fetal accident
阐明造成胎儿意外的原因之一的挂树机理及动力学特征
- 批准号：
23658123 - 财政年份：2011
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Numerical study of elastic turbulence complementary to laboratory experiments
弹性湍流的数值研究与实验室实验的补充
- 批准号：
23740296 - 财政年份：2011
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Experiment research on the therapeutic impact of low-magnitude vibrations on eraly-stage bone healing
低强度振动对早期骨愈合治疗影响的实验研究
- 批准号：
23300165 - 财政年份：2011
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Role of the Ryukyu Arc towards the Taiwan orogeny
琉球岛弧对台湾造山运动的作用
- 批准号：
21540439 - 财政年份：2009
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Spatio-temporal scaling law of unsteady turbulence : Rayleigh-Taylor turbulence
非定常湍流的时空标度定律：瑞利-泰勒湍流
- 批准号：
21740290 - 财政年份：2009
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Inhibitory effect of vitamin K2 on vascular calcification and osteoporosis : experimental approach to understanding the bone-vascular axis
维生素 K2 对血管钙化和骨质疏松的抑制作用：了解骨血管轴的实验方法
- 批准号：
21650112 - 财政年份：2009
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Experimental research on the development of a new therapy for bone injury via sympathetic nerve system
交感神经系统治疗骨损伤新疗法的实验研究
- 批准号：
20300158 - 财政年份：2008
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Analysis of attractions of horntails wasps to volatiles from the hosts, relating the symbiotic fungus.
分析凤尾蜂对寄主挥发物的吸引力，与共生真菌相关。
- 批准号：
19780127 - 财政年份：2007
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
システムレベル設計におけるコンポーネント間プロトコルの形式的検証法
系统级设计中组件间协议的形式化验证
- 批准号：
12780221 - 财政年份：2000
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)