课题基金 / 基金详情

Board Level Timing Verification

Board Level Timing Verification
板级时序验证
批准号:
9318956
负责人:
William Birmingham
金额:
$9.4万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1994
资助国家:
美国
项目状态:
已结题
起止时间:
1994-04-01 至 1996-03-31

项目摘要

项目成果

William Birmingham的其他基金

相似基金

相关文献

中文摘要
翻译
本研究主要是分析验证板级电路中元件接口的时序约束是否满足。提出了一种方法,VITCh (VLSI接口时序检查器),该方法将允许通过新的行为和验证模型对现实板级电路进行分析时序验证。还提出了一种接口行为的层次模型,该模型允许对任务进行分解以最小化总体复杂性。所提出的模型将允许对板级电路进行有效的时序分析,从而能够对现有方法无法验证的大型复杂电路进行分析验证。作为项目的一部分,我们提出了一个实现VITCh的CAD系统,为实验验证模型和方法提供一个测试平台。该方案试图通过将任务分解为多个可并发执行的子任务来解决时序分析问题。每个子任务的执行使得在电路行为枚举过程中验证了时间约束,并且消除了构建和分析电路行为的复合表示的需要。研究计划包括在数十到数百个元件的电路上测试VITCh,以确定该算法作为电路尺寸函数的适用性范围。
英文摘要
The proposed research deals with analytically verifying the satisfaction of timing constraints of component interfaces in board level circuits. A methodology, VITCh (VLSI Interface Timing Checker), that will allow the analytic timing verification of realistic board-level circuits through new models of behavior and verification is proposed. A hierarchial model of interface behavior that allows the task to be decomposed to minimize overall complexity is also proposed. The proposed model will allow efficient timing analysis of board-level circuits and thereby enable the analytical verification of large and complex circuits that existing approaches are unable to verify. A CAD system implementing VITCh to provide a testbed for experimentally validating the model and methodology is proposed as part of the project. The proposer attempts to solve the timing analysis problem by decomposing the task into several subtasks that can be executed concurrently. Each subtask is performed such that timing constraints are verified during the process of circuit behavior enumeration and eliminates the need to build and analyze composite representations of circuit behavior. The research plan includes testing VITCh on circuits ranging from tens to hundreds of components to establish the range of applicability of the algorithm as a function of circuit size.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Bio-MAANICC - Biocatalytic Manufacturing of beta-Amino Acids: Nucleophilic addition to an Imine for C-C bond formation
  • 批准号:
    BB/S010459/1
  • 项目类别:
    Fellowship
  • 资助金额:
    $38.84万
  • 财政年份:
    2019
  • 负责人:
    William Birmingham
  • 依托单位:
Congregating Agents
Presidential Young Investigator Award: Computer-Aided Design Synthesis
国内基金
海外基金
粒子level set方法的改进与空间自适应波浪模型并行化研究
  • 批准号:
    52171245
  • 项目类别:
    面上项目
  • 资助金额:
    58万元
  • 批准年份:
    2021
  • 负责人:
    黄筱云
  • 依托单位:
基于Level Set方法的三维爆炸与冲击仿真软件开发及其应用
  • 批准号:
    11502121
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    25.0万元
  • 批准年份:
    2015
  • 负责人:
    张莉
  • 依托单位:
层级稀疏化的Mid-Level特征空间下高分辨率遥感影像检索方法研究
基于新LEVEL SET方法的双标量小火焰模型的研究
  • 批准号:
    51306013
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    25.0万元
  • 批准年份:
    2013
  • 负责人:
    刘英杰
  • 依托单位: