刷新
{{item.name}}会员
Logic verification and synthesis based on difference analysis
基于差异分析的逻辑验证与综合
基本信息
- 批准号：24300015
- 负责人：
- 金额：$ 10.4万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (B)
- 财政年份：2012
- 资助国家：日本
- 起止时间：2012-04-01 至 2015-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Partial synthesis through sampling with and without specification
通过带规格和不带规格的采样进行部分合成
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：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
- 期刊：
- 影响因子：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
- 期刊：
- 影响因子：0
- 作者：S. Jo;T. Matsumoto;and M. Fujita
- 通讯作者：and M. Fujita
A Debugging Method for Gate Level Circuit Designs by Introducing Programmability
引入可编程性的门级电路设计调试方法
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：K. Oshima;T. Matsumoto;and M. Fujita
- 通讯作者：and M. Fujita
FOF: Functionally Observable Fault and its ATPG Techniques
FOF：功能可观察故障及其 ATPG 技术
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：Masahiro Fujita;Takeshi Matsumoto;Satoshi Jo
- 通讯作者：Satoshi Jo
{{
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 }}
FUJITA Masahiro其他文献
The effect of presentation of victim on sentencing
受害人陈述对量刑的影响
- DOI：
- 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
FUJITA Masahiro;OKADA Yoshinori - 通讯作者：
OKADA Yoshinori
FUJITA Masahiro的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('FUJITA Masahiro', 18)}}的其他基金
Synthesis of ionic liquid-type two dimensional supramolecules and their evaluation as solid electrolytes
离子液体型二维超分子的合成及其作为固体电解质的评价
- 批准号：
26410140 - 财政年份：2014
- 资助金额：
$ 10.4万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Automatic correction of hardware systems based on stream processing
基于流处理的硬件系统自动校正
- 批准号：
24650019 - 财政年份：2012
- 资助金额：
$ 10.4万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Development of liquid zwitterion-type lithium ion conductive polymers with controlled nano-structure
纳米结构可控的液态两性离子型锂离子导电聚合物的开发
- 批准号：
24750112 - 财政年份：2012
- 资助金额：
$ 10.4万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Development of estimation method of microfiltration processing capability by simulation of particulate suspension flows
颗粒悬浮液流动模拟微滤处理能力估算方法的开发
- 批准号：
23560903 - 财政年份：2011
- 资助金额：
$ 10.4万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
A study on the effect of authoritarian personality on the civic participation in the justice system
威权人格对公民司法参与的影响研究
- 批准号：
20730003 - 财政年份：2008
- 资助金额：
$ 10.4万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Estimation of Interaction between Degrading Enzyme and Biodegradable Polymer and Development of Its Technique
降解酶与生物可降解聚合物相互作用的评价及其技术开发
- 批准号：
19750130 - 财政年份：2007
- 资助金额：
$ 10.4万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
DEVELOPMENT OF FAST PROTON-CONDUCTING PLASTIC CRYSTALS
快速质子传导塑料晶体的开发
- 批准号：
18759005 - 财政年份：2006
- 资助金额：
$ 10.4万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Empirical Study of the Process about Recognition and Decision Making of Lay Judges and Professional Judges in Criminal Trial
刑事审判中非专业法官与职业法官认知与决策过程的实证研究
- 批准号：
16330015 - 财政年份：2004
- 资助金额：
$ 10.4万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
A study on debug techniques for digital systems exploiting formal verification methods
利用形式验证方法的数字系统调试技术研究
- 批准号：
14350178 - 财政年份：2002
- 资助金额：
$ 10.4万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Synthesis and Consolidation of Diamond Podwer with Explosives
金刚石粉末与炸药的合成与固结
- 批准号：
07045031 - 财政年份：1995
- 资助金额：
$ 10.4万 - 项目类别：
Grant-in-Aid for international Scientific Research