课题基金 / 基金详情

SBIR Phase I: HW-Accelerated Verification with TestBench Caching and Reduced Design Compilation

SBIR Phase I: HW-Accelerated Verification with TestBench Caching and Reduced Design Compilation
SBIR 第一阶段:使用 TestBench 缓存和减少设计编译的硬件加速验证
批准号:
0339399
负责人:
Maciej Ciesielski
金额:
$10.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2004
资助国家:
美国
项目状态:
已结题
起止时间:
2004-01-01 至 2004-06-30

项目摘要

项目成果

Maciej Ciesielski的其他基金

相似基金

相关文献

中文摘要
翻译
0339399 SBIR第一阶段项目解决了与专用集成电路(asic)和片上系统(soc)的验证和调试相关的问题,并提出了一种新的解决方案,以大幅提高设计验证的效率和性能。设计验证已经主导了整个设计开发时间,并对设计师的生产力和产品上市时间产生了负面影响。所提出的方法基于一种称为测试台缓存的新技术,该技术将硬件/软件通信开销降低了几个数量级。它与技术相结合,还减少了频繁和时间密集的设计编译的需要,并增加了信号可见性,这对于快速硬件调试至关重要。与传统仿真相比,预计w.r.提高100倍以上,与传统仿真加速相比,预计w.r.提高10-20倍。该项目将开发一个原型系统来验证上述说法。通过加速验证和提供高效的调试设施,拟议的解决方案将大大缩短ASIC和SOC设计的上市时间。设计师的生产力将会提高,降低产品开发和劳动力成本。拟议的系统方法将产生重大的、积极的商业影响,并将有助于验证系统市场的增长。
英文摘要
0339399This SBIR Phase I project addresses issues related to verication and debugging of applicationspecic integrated circuits (ASICs) and systems on chip (SOCs) and proposes a novel solution todrastically improve efficiency and performance of design verication. The design vericationalready dominates the overall design development time and negatively impacts the designer pro-ductivity and product's time to market. The proposed method is based on a novel technology, called testbench caching, which reduces by the several orders of magnitude the HW/SW communication overhead. It is combined with the technique that also reduces the need for frequent and time intensive design compilation, and increased signal visibility, essential for fast hardware debugging. Over 100 times improvement is expected w.r.to traditional simulation, and 10-20 times w.r.to traditional simulation acceleration. This project will result in the development of a prototype system to validate the above claims.By accelerating the verication and providing efficient debugging facility the proposed solutionwill substantially shorten time to market for ASIC and SOC designs. Designers productivity willincrease, lowering product development and labor costs. The proposed system methodology willhave a signicant, positive commercial impact and will contribute to the growth of the vericationsystems market.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Formal Verification of SQRT and Divider Circuits
  • 批准号:
    2006465
  • 项目类别:
    Standard Grant
  • 资助金额:
    $40.0万
  • 财政年份:
    2020
  • 负责人:
    Maciej Ciesielski
  • 依托单位:
SHF: Small: Word-level Abstraction of Arithmetic Gate-level Circuits
  • 批准号:
    1617708
  • 项目类别:
    Standard Grant
  • 资助金额:
    $45.0万
  • 财政年份:
    2016
  • 负责人:
    Maciej Ciesielski
  • 依托单位:
SHF: Small: Network Flow Approach to Functional Verification of Arithmetic Circuits
  • 批准号:
    1319496
  • 项目类别:
    Standard Grant
  • 资助金额:
    $35.0万
  • 财政年份:
    2013
  • 负责人:
    Maciej Ciesielski
  • 依托单位:
SHF: Small: Advances in Distributed Spatial-Parallel Event-Driven HDL Simulation
  • 批准号:
    1017530
  • 项目类别:
    Standard Grant
  • 资助金额:
    $44.81万
  • 财政年份:
    2010
  • 负责人:
    Maciej Ciesielski
  • 依托单位:
国内基金
海外基金
Baryogenesis, Dark Matter and Nanohertz Gravitational Waves from a Dark Supercooled Phase Transition
  • 批准号:
    24ZR1429700
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
    YUICHIRO NAKAI
  • 依托单位:
ATLAS实验探测器Phase 2升级
  • 批准号:
    11961141014
  • 项目类别:
    国际(地区)合作与交流项目
  • 资助金额:
    3350万元
  • 批准年份:
    2019
  • 负责人:
    刘衍文
  • 依托单位:
地幔含水相Phase E的温度压力稳定区域与晶体结构研究
  • 批准号:
    41802035
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    12.0万元
  • 批准年份:
    2018
  • 负责人:
    张里
  • 依托单位:
基于数字增强干涉的Phase-OTDR高灵敏度定量测量技术研究