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
批准号:
0339399
负责人:
Maciej Ciesielski
金额:
$10.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2004
资助国家:
美国
项目状态:
已结题
起止时间:
2004-01-01 至 2004-06-30
中文摘要
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
-
依托单位:
Verification-Aware Algorithmic Synthesis based on Canonical Data Flow Representation
-
批准号:0702506
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Maciej Ciesielski
-
依托单位:
US-France/Germany Cooperative Research: Circuit and System Verification using Word-Level Information
-
批准号:0233206
-
项目类别:Standard Grant
-
资助金额:$2.21万
-
财政年份:2003
-
负责人:Maciej Ciesielski
-
依托单位:
Taylor Expansion Diagrams: A Compact Canonical Representation for RTL Verification
-
批准号:0204146
-
项目类别:Continuing Grant
-
资助金额:$28.0万
-
财政年份:2002
-
负责人:Maciej Ciesielski
-
依托单位:
Logic-Layout Co-Synthesis for PTL/CMOS Logic
-
批准号:9901254
-
项目类别:Continuing Grant
-
资助金额:$25.07万
-
财政年份:1999
-
负责人:Maciej Ciesielski
-
依托单位:
New Directions in Sequential Synthesis and Optimization
-
批准号:9613864
-
项目类别:Continuing Grant
-
资助金额:$26.82万
-
财政年份:1997
-
负责人:Maciej Ciesielski
-
依托单位:
U.S.-Korea Cooperative Research: High Performance Synthesis with Wave Pipelining
-
批准号:9311863
-
项目类别:Standard Grant
-
资助金额:$1.62万
-
财政年份:1994
-
负责人:Maciej Ciesielski
-
依托单位:
High-Performance VLSI Synthesis with Wave Pipelining
-
批准号:9208267
-
项目类别:Continuing Grant
-
资助金额:$25.24万
-
财政年份:1992
-
负责人:Maciej Ciesielski
-
依托单位:
FSM Decomposition for Area and Performance Optimization: From Function to Layout
-
批准号:9013013
-
项目类别:Standard Grant
-
资助金额:$15.15万
-
财政年份:1991
-
负责人:Maciej Ciesielski
-
依托单位:
Research Initiation: Interconnect Delay and Clock Skew Optimization in VLSI Circuits
-
批准号:8809838
-
项目类别:Standard Grant
-
资助金额:$5.99万
-
财政年份:1988
-
负责人: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高灵敏度定量测量技术研究
-
批准号:61675216
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2016
-
负责人:叶青
-
依托单位:
基于Phase-type分布的多状态系统可靠性模型研究
-
批准号:71501183
-
项目类别:青年科学基金项目
-
资助金额:17.4万元
-
批准年份:2015
-
负责人:陈童
-
依托单位:
纳米(I-Phase+α-Mg)准共晶的临界半固态形成条件及生长机制
-
批准号:51201142
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2012
-
负责人:张英波
-
依托单位:
连续Phase-Type分布数据拟合方法及其应用研究
-
批准号:11101428
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2011
-
负责人:黄卓
-
依托单位:
D-Phase准晶体的电子行为各向异性的研究
-
批准号:19374069
-
项目类别:面上项目
-
资助金额:6.4万元
-
批准年份:1993
-
负责人:张殿琳
-
依托单位: