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第一阶段项目解决了与应用专用集成电路(ASIC)和片上系统(SOC)的验证和调试相关的问题,并提出了一种新的解决方案,以显著提高设计验证的效率和性能。设计验证已经主导了整个设计开发时间,并对设计师的生产率和产品的上市时间产生了负面影响。该方法基于一种名为测试台缓存的新技术,可以将软硬件通信开销降低几个数量级。它与该技术相结合,还减少了频繁和时间密集型设计编译的需要,并提高了信号可见性,这对快速硬件调试至关重要。与传统模拟相比,W.R.W.r.性能有望提高100倍以上,W.r.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其他文献

Strict K-monotonicity and K-order continuity in symmetric spaces
  • DOI:
    10.1007/s11117-017-0540-7
  • 发表时间:
    2017-10-28
  • 期刊:
  • 影响因子:
    0.900
  • 作者:
    Maciej Ciesielski
  • 通讯作者:
    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 个冯·诺依曼-乔丹常数的一些修改
Immunonutrition in oncology
肿瘤学中的免疫营养
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    J. Szefel;W. Kruszewski;Maciej Ciesielski
  • 通讯作者:
    Maciej Ciesielski
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

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

相似国自然基金

Baryogenesis, Dark Matter and Nanohertz Gravitational Waves from a Dark Supercooled Phase Transition
  • 批准号:
    24ZR1429700
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
ATLAS实验探测器Phase 2升级
  • 批准号:
    11961141014
  • 批准年份:
    2019
  • 资助金额:
    3350 万元
  • 项目类别:
    国际(地区)合作与交流项目
地幔含水相Phase E的温度压力稳定区域与晶体结构研究
  • 批准号:
    41802035
  • 批准年份:
    2018
  • 资助金额:
    12.0 万元
  • 项目类别:
    青年科学基金项目
基于数字增强干涉的Phase-OTDR高灵敏度定量测量技术研究
  • 批准号:
    61675216
  • 批准年份:
    2016
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于Phase-type分布的多状态系统可靠性模型研究
  • 批准号:
    71501183
  • 批准年份:
    2015
  • 资助金额:
    17.4 万元
  • 项目类别:
    青年科学基金项目
纳米(I-Phase+α-Mg)准共晶的临界半固态形成条件及生长机制
  • 批准号:
    51201142
  • 批准年份:
    2012
  • 资助金额:
    25.0 万元
  • 项目类别:
    青年科学基金项目
连续Phase-Type分布数据拟合方法及其应用研究
  • 批准号:
    11101428
  • 批准年份:
    2011
  • 资助金额:
    23.0 万元
  • 项目类别:
    青年科学基金项目
D-Phase准晶体的电子行为各向异性的研究
  • 批准号:
    19374069
  • 批准年份:
    1993
  • 资助金额:
    6.4 万元
  • 项目类别:
    面上项目

相似海外基金

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
IUCRC Phase I University of Wisconsin-Milwaukee: Center for Concrete Advancement Network (CAN), Lead Site
IUCRC 第一阶段威斯康星大学密尔沃基分校:混凝土进步网络中心 (CAN),主要站点
  • 批准号:
    2310861
  • 财政年份:
    2024
  • 资助金额:
    $ 10万
  • 项目类别:
    Continuing Grant
IUCRC Phase III University of Colorado Boulder: Center for Membrane Applications, Science and Technology (MAST)
IUCRC 第三阶段科罗拉多大学博尔德分校:膜应用、科学与技术中心 (MAST)
  • 批准号:
    2310937
  • 财政年份:
    2024
  • 资助金额:
    $ 10万
  • 项目类别:
    Continuing Grant
SBIR Phase II: Innovative Two-Phase Cooling with Micro Closed Loop Pulsating Heat Pipes for High Power Density Electronics
SBIR 第二阶段:用于高功率密度电子产品的创新两相冷却微闭环脉动热管
  • 批准号:
    2321862
  • 财政年份:
    2024
  • 资助金额:
    $ 10万
  • 项目类别:
    Cooperative Agreement
SBIR Phase I: Industrial-Scale Technology for Drug Development in Mature Human Fat Cells
SBIR 第一阶段:成熟人类脂肪细胞药物开发的工业规模技术
  • 批准号:
    2322443
  • 财政年份:
    2024
  • 资助金额:
    $ 10万
  • 项目类别:
    Standard Grant
STTR Phase II: Fabrication and Structural Testing of a 3D Concrete Printed Anchor for Floating Offshore Wind
STTR 第二阶段:用于浮动海上风电的 3D 混凝土打印锚的制造和结构测试
  • 批准号:
    2333306
  • 财政年份:
    2024
  • 资助金额:
    $ 10万
  • 项目类别:
    Cooperative Agreement
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了