SHF: Small: Advances in Distributed Spatial-Parallel Event-Driven HDL Simulation

SHF:小型:分布式空间并行事件驱动 HDL 仿真的进展

基本信息

  • 批准号:
    1017530
  • 负责人:
  • 金额:
    $ 44.81万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2010
  • 资助国家:
    美国
  • 起止时间:
    2010-09-01 至 2014-08-31
  • 项目状态:
    已结题

项目摘要

This project proposes an efficient solution to parallel event-driven simulation of digital designs described in a hardware description language (HDL). It is based on a novel concept of spatial parallelism using accurate prediction of input and output signals of individual modules, derived from a model at a higher abstraction level. Using the predicted rather than actual signal values makes it possible to eliminate the need for communication and synchronization between the simulators. The simulation process consists of two phases: 1) Each local simulation is executed using the predicted input, so that no communication and synchronization cost is incurred for exchanging data with other local simulations. Each local simulation stores the results at periodic checkpoints and compares the computed output with the predicted output, to make the correction later, if necessary. 2) If the comparison fails, each local simulation rolls back to the nearest checkpoint to be executed with the actual inputs coming from other modules. This requires exchanging data with other simulations and introduces undesired communication and synchronization overhead. Each local simulation compares the actual input with the predicted input, and if the number of matches exceeds the predetermined threshold, the simulation is switched back to the prediction phase 1. The proposed method is applicable to massively parallel computing platforms and can work with any commercial event-driven HDL simulator.Successful implementation of the proposed method for parallel event-driven HDL simulation will have profound effect on the way dynamic, simulation-based verification is carried out in academia and in industry. It will benefit researchers and all sectors of industry that deal with the design of systems on chip (SoC). It will significantly increase designer productivity in developing and testing complex SoCs, shorten the time to market, lower design development cost and consumer prices. It will fuel the development of other areas of technology, such as multi-core platforms, parallel processors, etc. It will also affect EDA industry developing verification tools ? with new innovative verification tool, automated verification flow and methodology.
该项目为用硬件描述语言(HDL语言)描述的数字设计的并行事件驱动模拟提供了一种有效的解决方案。它基于空间并行的新概念,使用从更高抽象级别的模型派生的单个模块的输入和输出信号的准确预测。使用预测信号值而不是实际信号值可以消除模拟器之间通信和同步的需要。该仿真过程包括两个阶段:1)使用预测输入执行每个本地仿真,因此与其他本地仿真交换数据不会产生通信和同步成本。每个本地模拟将结果存储在定期检查点,并将计算输出与预测输出进行比较,以便稍后在必要时进行修正。2)如果比较失败,则每个本地模拟回滚到最近的检查点以执行来自其他模块的实际输入。这需要与其他模拟交换数据,并引入不需要的通信和同步开销。该方法适用于大规模并行计算平台,适用于任何商用事件驱动的硬件描述语言模拟器,其成功的实现将对学术界和工业界动态、基于模拟的验证产生深远的影响。它将使研究人员和处理片上系统(SoC)设计的所有行业受益。它将显著提高设计者在开发和测试复杂SoC方面的生产率,缩短上市时间,降低设计开发成本和消费者价格。它将推动其他技术领域的发展,如多核平台、并行处理器等。它还将影响EDA行业开发验证工具?采用新的创新核查工具、自动化核查流程和方法。

项目成果

期刊论文数量(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
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Standard Grant
SHF: Small: Word-level Abstraction of Arithmetic Gate-level Circuits
SHF:小:算术门级电路的字级抽象
  • 批准号:
    1617708
  • 财政年份:
    2016
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Standard Grant
SHF: Small: Network Flow Approach to Functional Verification of Arithmetic Circuits
SHF:小型:算术电路功能验证的网络流方法
  • 批准号:
    1319496
  • 财政年份:
    2013
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Standard Grant
Verification-Aware Algorithmic Synthesis based on Canonical Data Flow Representation
基于规范数据流表示的验证感知算法综合
  • 批准号:
    0702506
  • 财政年份:
    2007
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Continuing Grant
SBIR Phase I: HW-Accelerated Verification with TestBench Caching and Reduced Design Compilation
SBIR 第一阶段:使用 TestBench 缓存和减少设计编译的硬件加速验证
  • 批准号:
    0339399
  • 财政年份:
    2004
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Standard Grant
US-France/Germany Cooperative Research: Circuit and System Verification using Word-Level Information
美法/德国合作研究:使用字级信息进行电路和系统验证
  • 批准号:
    0233206
  • 财政年份:
    2003
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Standard Grant
Taylor Expansion Diagrams: A Compact Canonical Representation for RTL Verification
泰勒展开图:RTL 验证的紧凑规范表示
  • 批准号:
    0204146
  • 财政年份:
    2002
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Continuing Grant
Logic-Layout Co-Synthesis for PTL/CMOS Logic
PTL/CMOS 逻辑的逻辑布局协同综合
  • 批准号:
    9901254
  • 财政年份:
    1999
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Continuing Grant
New Directions in Sequential Synthesis and Optimization
顺序综合和优化的新方向
  • 批准号:
    9613864
  • 财政年份:
    1997
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Continuing Grant
U.S.-Korea Cooperative Research: High Performance Synthesis with Wave Pipelining
美韩合作研究:波浪流水线的高性能合成
  • 批准号:
    9311863
  • 财政年份:
    1994
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Standard Grant

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

AF: Small: Advances in Private Optimization
AF:小:私人优化的进展
  • 批准号:
    2211718
  • 财政年份:
    2023
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Semantics-Oriented Binary Code Analysis Learning from Recent Advances in Deep Learning
SaTC:核心:小型:面向语义的二进制代码分析从深度学习的最新进展中学习
  • 批准号:
    2304720
  • 财政年份:
    2022
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Standard Grant
From single cells to complex tissues: advances in ambient ionization mass spectrometry for observing small molecules in biological samples
从单细胞到复杂组织:用于观察生物样品中小分子的环境电离质谱技术的进展
  • 批准号:
    RGPIN-2022-03696
  • 财政年份:
    2022
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Discovery Grants Program - Individual
From single cells to complex tissues: advances in ambient ionization mass spectrometry for observing small molecules in biological samples
从单细胞到复杂组织:用于观察生物样品中小分子的环境电离质谱技术的进展
  • 批准号:
    DGECR-2022-00002
  • 财政年份:
    2022
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Discovery Launch Supplement
SaTC: CORE: Small: Semantics-Oriented Binary Code Analysis Learning from Recent Advances in Deep Learning
SaTC:核心:小型:面向语义的二进制代码分析从深度学习的最新进展中学习
  • 批准号:
    1953073
  • 财政年份:
    2020
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Standard Grant
Study on teacher's ability improvement and organization development of lesson study in small-size school in the area where depopulation advances
人口减少地区小型学校教师能力提升与课业组织发展研究
  • 批准号:
    16K04464
  • 财政年份:
    2016
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
SHF: Small: Techniques and Frameworks for Exploiting Recent SIMD Architectural Advances
SHF:小型:利用最新 SIMD 架构进步的技术和框架
  • 批准号:
    1526386
  • 财政年份:
    2015
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Standard Grant
Advances in Geospatial Survival Modeling for Small Area Cancer Data
小区域癌症数据地理空间生存建模的进展
  • 批准号:
    8705126
  • 财政年份:
    2014
  • 资助金额:
    $ 44.81万
  • 项目类别:
Advances in Geospatial Survival Modeling for Small Area Cancer Data
小区域癌症数据地理空间生存建模的进展
  • 批准号:
    8828611
  • 财政年份:
    2014
  • 资助金额:
    $ 44.81万
  • 项目类别:
TWC: Small: New Advances for Efficiently-Searchable Encryption
TWC:小:高效可搜索加密的新进展
  • 批准号:
    1318511
  • 财政年份:
    2013
  • 资助金额:
    $ 44.81万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了