RIA: Accurate and Efficient Timing Verification of Synchronous Digital Circuits Using Functional Timing Analysis

RIA:使用功能时序分析对同步数字电路进行准确高效的时序验证

基本信息

  • 批准号:
    9209805
  • 负责人:
  • 金额:
    $ 10.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1992
  • 资助国家:
    美国
  • 起止时间:
    1992-07-01 至 1995-12-31
  • 项目状态:
    已结题

项目摘要

Malik This research is on verifying the temporal correctness of synchronous digital systems. The emphasis is on obtaining accurate, efficient algorithms within the paradigm of certified timing analysis. This combines the efficiency and coverage of timing analysis with the accuracy of timing simulation. Vectors that sensitize the long paths in the combinational parts of the circuit are generated by timing analysis. These are then used in timing simulation. The research addresses the problem that in order to provide these vectors, timing analysis must consider the functionality of the circuit components.
马利克 本文研究同步数字系统的时序正确性验证问题。 重点是在认证的时序分析的范例内获得准确,高效的算法。 这将时序分析的效率和覆盖范围与时序仿真的准确性相结合。 在电路的组合部分中敏感长路径的矢量由时序分析产生。 然后将其用于时序仿真。 研究解决的问题,为了提供这些向量,时序分析必须考虑电路元件的功能。

项目成果

期刊论文数量(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 }}

Sharad Malik其他文献

Model checking unbounded concurrent lists
Achieving Structural and Composable Modeling of Complex Systems
  • DOI:
    10.1007/s10766-005-3569-3
  • 发表时间:
    2005-06-01
  • 期刊:
  • 影响因子:
    0.900
  • 作者:
    David I. August;Sharad Malik;Li-Shiuan Peh;Vijay Pai;Manish Vachharajani;Paul Willmann
  • 通讯作者:
    Paul Willmann
Paged Absolute Addressing Mode Optimizations for Embedded Digital Signal Processors Using Post-pass Data-flow Analysis
  • DOI:
    10.1023/a:1008810300304
  • 发表时间:
    1999-01-01
  • 期刊:
  • 影响因子:
    0.900
  • 作者:
    Ashok Sudarsanam;Sharad Malik;Steve Tjiang;Stan Liao
  • 通讯作者:
    Stan Liao
Verification of asynchronous interface circuits with bounded wire delays
Specification and encoding of transaction interaction properties
  • DOI:
    10.1007/s10703-011-0120-6
  • 发表时间:
    2011-05-19
  • 期刊:
  • 影响因子:
    0.800
  • 作者:
    Divjyot Sethi;Yogesh Mahajan;Sharad Malik
  • 通讯作者:
    Sharad Malik

Sharad Malik的其他文献

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

{{ truncateString('Sharad Malik', 18)}}的其他基金

XPS: FULL: Hardware Software Abstractions: Addressing Specification and Verification Gaps in Accelerator-Oriented Parallelism
XPS:完整:硬件软件抽象:解决面向加速器的并行性中的规范和验证差距
  • 批准号:
    1628926
  • 财政年份:
    2016
  • 资助金额:
    $ 10.5万
  • 项目类别:
    Standard Grant
NSF-CNPq Collaborative Research on Design Environments for Application-Specific Programmable Processors
NSF-CNPq 针对专用可编程处理器设计环境的合作研究
  • 批准号:
    9900881
  • 财政年份:
    1999
  • 资助金额:
    $ 10.5万
  • 项目类别:
    Continuing Grant
NSF Young Investigator: Design Automation for Embedded Systems
NSF 青年研究员:嵌入式系统设计自动化
  • 批准号:
    9457396
  • 财政年份:
    1994
  • 资助金额:
    $ 10.5万
  • 项目类别:
    Continuing Grant

相似海外基金

Adapting Position-Based Dynamics as a Biophysically Accurate and Efficient Modeling Framework for Dynamic Cell Shapes
采用基于位置的动力学作为动态细胞形状的生物物理准确且高效的建模框架
  • 批准号:
    24K16962
  • 财政年份:
    2024
  • 资助金额:
    $ 10.5万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
CAREER: A Theoretical Exploration of Efficient and Accurate Clustering Algorithms
职业生涯:高效准确聚类算法的理论探索
  • 批准号:
    2337832
  • 财政年份:
    2024
  • 资助金额:
    $ 10.5万
  • 项目类别:
    Continuing Grant
Efficient and accurate scaling Graph Neural Networks for giant graphs
针对巨型图的高效、准确的缩放图神经网络
  • 批准号:
    24K20787
  • 财政年份:
    2024
  • 资助金额:
    $ 10.5万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Collaborative Research: Accurate and Structure-Preserving Numerical Schemes for Variable Temperature Phase Field Models and Efficient Solvers
合作研究:用于变温相场模型和高效求解器的精确且结构保持的数值方案
  • 批准号:
    2309547
  • 财政年份:
    2023
  • 资助金额:
    $ 10.5万
  • 项目类别:
    Standard Grant
A next-generation extendable simulation environment for affordable, accurate, and efficient free energy simulations
下一代可扩展模拟环境,可实现经济、准确且高效的自由能源模拟
  • 批准号:
    10638121
  • 财政年份:
    2023
  • 资助金额:
    $ 10.5万
  • 项目类别:
SBIR Phase I: A hybrid phasor/waveform simulation tool for the accurate and efficient simulation of large electric power systems with high shares of inverter-based resources
SBIR 第一阶段:一种混合相量/波形仿真工具,用于精确高效地仿真具有高份额逆变器资源的大型电力系统
  • 批准号:
    2321329
  • 财政年份:
    2023
  • 资助金额:
    $ 10.5万
  • 项目类别:
    Standard Grant
CDS&E: ECCS: Accurate and Efficient Uncertainty Quantification and Reliability Assessment for Computational Electromagnetics and Engineering
CDS
  • 批准号:
    2305106
  • 财政年份:
    2023
  • 资助金额:
    $ 10.5万
  • 项目类别:
    Standard Grant
Collaborative Research: Accurate and Structure-Preserving Numerical Schemes for Variable Temperature Phase Field Models and Efficient Solvers
合作研究:用于变温相场模型和高效求解器的精确且结构保持的数值方案
  • 批准号:
    2309548
  • 财政年份:
    2023
  • 资助金额:
    $ 10.5万
  • 项目类别:
    Standard Grant
Improving patient safety and hospital hygiene through the efficient and accurate identification of patients with antimicrobial resistant organisms (AROs) using clinical support tools in electronic medical records
使用电子病历中的临床支持工具高效、准确地识别抗菌药物耐药微生物 (ARO) 患者,提高患者安全和医院卫生
  • 批准号:
    478042
  • 财政年份:
    2023
  • 资助金额:
    $ 10.5万
  • 项目类别:
    Operating Grants
Phylogenetic and computational methods for accurate and efficient analyses of large-scale metagenomics datasets
用于准确有效分析大规模宏基因组数据集的系统发育和计算方法
  • 批准号:
    10542443
  • 财政年份:
    2022
  • 资助金额:
    $ 10.5万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了