发明名称 Delay correlation analysis and representation for vital compliant VHDL models
摘要 A method and system unbind a rise/fall tuple of a VHDL generic variable and create rise time and fall time generics of each generic variable that are independent of each other. Then, according to a predetermined correlation policy, the method and system collect delay values in a VHDL standard delay file, sort the delay values, remove duplicate delay values, group the delay values into correlation sets, and output an analysis file. The correlation policy may include collecting all generic variables in a VHDL standard delay file, selecting each generic variable, and performing reductions on the set of delay values associated with each selected generic variable.
申请公布号 US2003126569(A1) 申请公布日期 2003.07.03
申请号 US20020038209 申请日期 2002.01.02
申请人 INTERNATIONAL BUSINESS MACHINES CORPORATION 发明人 RICH MARVIN J.;MISRA ASHUTOSH
分类号 G06F17/50;(IPC1-7):G06F9/45 主分类号 G06F17/50
代理机构 代理人
主权项
地址