课题基金 / 基金详情

Efficient FPGA Circuit Modification for Specification Change and Design Debug

Efficient FPGA Circuit Modification for Specification Change and Design Debug
针对规格变更和设计调试的高效 FPGA 电路修改
批准号：
15K15963
负责人：
Matsumoto Takeshi
金额：
$2.08万
依托单位：
Ishikawa National College of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15K15963/
关键词：
FPGA設計論理修正デバッグ支援回路検証・デバッグFPGA回路デバッグ

项目摘要

项目成果

Matsumoto Takeshi的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
論理関数推定に基づく回路内依存関係の解析
基于逻辑函数估计的电路内依赖性分析
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [桶作雄輝, 松本剛史]
通讯作者： 松本剛史
配置配線を必要としないFPGA再合成手法
无需布局布线的FPGA再综合方法
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [土井瑛平, 松本剛史]
通讯作者： 松本剛史
高位合成されたFPGA回路において設計変更がもたらす差分の評価
评估高级综合 FPGA 电路中设计变更引起的差异
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [石田光洋, 松本剛史]
通讯作者： 松本剛史
SATソルバーを用いた論理回路における設計誤りの特定と修正
使用 SAT 求解器识别并纠正逻辑电路中的设计错误
DOI： --
发表时间： 2018
期刊：
影响因子： --
作者： [内井明日香, 松本剛史]
通讯作者： 松本剛史
How do branches and leaves affect the vibration of standing trees?
Photochemical energy conversion based on hydrogen radical reaction field on non-precious metal aminocalcogenolato complex
Development of Coverage Metric for Formal Property Verification
  • 批准号：
    17K00089
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.41万
  • 财政年份：
    2017
  • 负责人：
    Matsumoto Takeshi
  • 依托单位：
    Ishikawa National College of Technology
Turbulence and singularity of the Einstein equation with a negative cosmological constant studied from classical turbulence theory
  • 批准号：
    16K13850
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
  • 资助金额：
    $0.92万
  • 财政年份：
    2016
  • 负责人：
    Matsumoto Takeshi
  • 依托单位：
    Kyoto University