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

SBIR 第一阶段:使用 TestBench 缓存和减少设计编译的硬件加速验证

基本信息

  • 批准号:
    0339399
  • 负责人:
  • 金额:
    $ 10万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2004
  • 资助国家:
    美国
  • 起止时间:
    2004-01-01 至 2004-06-30
  • 项目状态:
    已结题

项目摘要

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.
0339399这个SBIR I期项目解决了与应用程序集成电路(ASIC)和芯片(SOCS)系统的验证和调试有关的问题,并提出了一种新颖的解决方案,以提高设计验证的效率和性能。 设计逐渐准备就在整体设计开发时间中占主导地位,并对设计师的临时性和产品的上市时间产生负面影响。所提出的方法基于一种新型技术,称为TestBench缓存,该技术通过HW/SW通信开销的几个数量级降低。它与该技术还减少了对频繁和时间密集型设计汇编的需求,并提高了信号可见性,这对于快速硬件调试至关重要。预计W.R.到传统模拟的100倍以上,而W.R.到传统的模拟加速度10-20倍。该项目将导致开发原型系统以验证上述主张。通过加速验证并提供有效的调试设施,拟议的解决方案将大大缩短ASIC和SOC设计的市场。设计师的生产力会降低产品的开发和人工成本。拟议的系统方法论将产生显着的积极商业影响,并将有助于序列系统市场的增长。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ 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 }}

Maciej Ciesielski其他文献

Bioelectrical Impedance Analysis to Increase the Sensitivity of Screening Methods for Diagnosing Cancer Cachexia in Patients with Colorectal Cancer
生物电阻抗分析可提高诊断结直肠癌患者癌症恶病质的筛查方法的敏感性
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    2.2
  • 作者:
    J. Szefel;W. Kruszewski;M. Szajewski;Maciej Ciesielski;A. Danielak
  • 通讯作者:
    A. Danielak
On some modifications of n-th von Neumann–Jordan constant for Banach spaces
关于 Banach 空间的第 n 个冯·诺依曼-乔丹常数的一些修改
Enantioselective Catalytic Sulfenofunctionalization of Nonactivated Cyclic and (Z)-Alkenes
非活化环状烯烃和 (Z)-烯烃的对映选择性催化亚磺基官能化
  • DOI:
    10.1055/s-0041-1738547
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    J. Szefel;W. Kruszewski;Maciej Ciesielski;M. Szajewski;K. Kawecki;E. Aleksandrowicz‐Wrona;J. Jankun;W. Lysiak
  • 通讯作者:
    W. Lysiak
Immunonutrition in oncology
肿瘤学中的免疫营养
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    J. Szefel;W. Kruszewski;Maciej Ciesielski
  • 通讯作者:
    Maciej Ciesielski
Laparoscopic Surgery For Colon Cancer - A Favorite Method? A Review of Literature
腹腔镜手术治疗结肠癌 - 最喜欢的方法?
  • DOI:
    10.2478/v10035-008-0089-z
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0.6
  • 作者:
    Maciej Ciesielski;W. Kruszewski
  • 通讯作者:
    W. Kruszewski

Maciej Ciesielski的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Maciej Ciesielski', 18)}}的其他基金

SHF: Small: Formal Verification of SQRT and Divider Circuits
SHF:小:SQRT 和分压器电路的形式验证
  • 批准号:
    2006465
  • 财政年份:
    2020
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
SHF: Small: Word-level Abstraction of Arithmetic Gate-level Circuits
SHF:小:算术门级电路的字级抽象
  • 批准号:
    1617708
  • 财政年份:
    2016
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
SHF: Small: Network Flow Approach to Functional Verification of Arithmetic Circuits
SHF:小型:算术电路功能验证的网络流方法
  • 批准号:
    1319496
  • 财政年份:
    2013
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
SHF: Small: Advances in Distributed Spatial-Parallel Event-Driven HDL Simulation
SHF:小型:分布式空间并行事件驱动 HDL 仿真的进展
  • 批准号:
    1017530
  • 财政年份:
    2010
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
Verification-Aware Algorithmic Synthesis based on Canonical Data Flow Representation
基于规范数据流表示的验证感知算法综合
  • 批准号:
    0702506
  • 财政年份:
    2007
  • 资助金额:
    $ 10万
  • 项目类别:
    Continuing Grant
US-France/Germany Cooperative Research: Circuit and System Verification using Word-Level Information
美法/德国合作研究:使用字级信息进行电路和系统验证
  • 批准号:
    0233206
  • 财政年份:
    2003
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
Taylor Expansion Diagrams: A Compact Canonical Representation for RTL Verification
泰勒展开图:RTL 验证的紧凑规范表示
  • 批准号:
    0204146
  • 财政年份:
    2002
  • 资助金额:
    $ 10万
  • 项目类别:
    Continuing Grant
Logic-Layout Co-Synthesis for PTL/CMOS Logic
PTL/CMOS 逻辑的逻辑布局协同综合
  • 批准号:
    9901254
  • 财政年份:
    1999
  • 资助金额:
    $ 10万
  • 项目类别:
    Continuing Grant
New Directions in Sequential Synthesis and Optimization
顺序综合和优化的新方向
  • 批准号:
    9613864
  • 财政年份:
    1997
  • 资助金额:
    $ 10万
  • 项目类别:
    Continuing Grant
U.S.-Korea Cooperative Research: High Performance Synthesis with Wave Pipelining
美韩合作研究:波浪流水线的高性能合成
  • 批准号:
    9311863
  • 财政年份:
    1994
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant

相似国自然基金

高层钢结构建模-优化-深化的跨阶段智能设计方法
  • 批准号:
    52308142
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
游戏化mHealth干预模式下精神障碍出院患者自杀风险管理策略的实施科学研究——基于多阶段优化策略
  • 批准号:
    72374095
  • 批准年份:
    2023
  • 资助金额:
    40 万元
  • 项目类别:
    面上项目
非洲爪蟾IV型干扰素IFN-upsilon在不同发育阶段的抗病毒功能研究
  • 批准号:
    32303043
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
壳斗科植物传播前阶段种子捕食的地理格局及其驱动机制
  • 批准号:
    32371612
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
计及海量多元逆变资源下垂参数动态优化的配电网多阶段协调运行研究
  • 批准号:
    52307091
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

UK involvement in LSST: Phase C (Imperial component)
英国参与 LSST:C 阶段(帝国部分)
  • 批准号:
    ST/X001326/1
  • 财政年份:
    2025
  • 资助金额:
    $ 10万
  • 项目类别:
    Research Grant
Phase 2 - Effective and Integrated Chemical Free Robotic Milking
第 2 阶段 - 有效且集成的无化学品机器人挤奶
  • 批准号:
    10093094
  • 财政年份:
    2024
  • 资助金额:
    $ 10万
  • 项目类别:
    Collaborative R&D
Net Zero Pathfinder - Phase 2 Manchester
净零探路者 - 第二阶段曼彻斯特
  • 批准号:
    10095254
  • 财政年份:
    2024
  • 资助金额:
    $ 10万
  • 项目类别:
    Demonstrator
Phase Averaged Deferred Correction for Multi-Timescale Systems
多时间尺度系统的相位平均延迟校正
  • 批准号:
    EP/Y032624/1
  • 财政年份:
    2024
  • 资助金额:
    $ 10万
  • 项目类别:
    Research Grant
Model order reduction for fast phase-field fracture simulations
快速相场断裂模拟的模型降阶
  • 批准号:
    EP/Y002474/1
  • 财政年份:
    2024
  • 资助金额:
    $ 10万
  • 项目类别:
    Research Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了