课题基金 / 基金详情

Logic verification and synthesis based on difference analysis

Logic verification and synthesis based on difference analysis
基于差异分析的逻辑验证与综合
批准号：
24300015
负责人：
FUJITA Masahiro
金额：
$10.4万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2015-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24300015/
关键词：
形式的解析設計自動合成設計デバッグ差異抽出論理関数解析プログラム解析組込みシステム検証・デバッグ組み込みシステム

项目摘要

项目成果

FUJITA Masahiro的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Partial synthesis through sampling with and without specification
通过带规格和不带规格的采样进行部分合成
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [M. Fujita, S. Jo, S. Ono, and T. Matsumoto]
通讯作者： and T. Matsumoto
Automatic Rectification of Processor Design Bugs Using a Scalable and General Correction Model
使用可扩展的通用纠正模型自动纠正处理器设计错误
DOI： 10.1587/transinf.e97.d.852
发表时间： 2014
期刊： IEICE Transactions on Information and Systems
影响因子： 0.7
作者： [Amir Masoud Gharehbaghi, Masahiro Fujita]
通讯作者： Masahiro Fujita
SAT-based automatic rectification and debugging of combinational circuits with LUT insertions
基于SAT的带LUT插入的组合电路自动校正与调试
DOI： --
发表时间： 2014
期刊： IPSJ Transactions on System LSI Design Methodology
影响因子： --
作者： [S. Jo, T. Matsumoto, and M. Fujita]
通讯作者： and M. Fujita
A Debugging Method for Gate Level Circuit Designs by Introducing Programmability
引入可编程性的门级电路设计调试方法
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [K. Oshima, T. Matsumoto, and M. Fujita]
通讯作者： and M. Fujita
Synthesis of ionic liquid-type two dimensional supramolecules and their evaluation as solid electrolytes
  • 批准号：
    26410140
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $3.16万
  • 财政年份：
    2014
  • 负责人：
    FUJITA Masahiro
  • 依托单位：
    Sophia University
Automatic correction of hardware systems based on stream processing
  • 批准号：
    24650019
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
  • 资助金额：
    $2.5万
  • 财政年份：
    2012
  • 负责人：
    FUJITA Masahiro
  • 依托单位：
    The University of Tokyo
Development of liquid zwitterion-type lithium ion conductive polymers with controlled nano-structure
  • 批准号：
    24750112
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 资助金额：
    $2.83万
  • 财政年份：
    2012
  • 负责人：
    FUJITA Masahiro
  • 依托单位：
    Sophia University
Development of estimation method of microfiltration processing capability by simulation of particulate suspension flows