-
1.发明公开
公开(公告)号：EP1661164A4
公开(公告)日：2007-10-31
申请号：EP04782461
申请日：2004-08-26
IPC分类号： G06F17/50 , H01L20060101
CPC分类号： G06F17/504
摘要： Methods and systems for performing symbolic simulation, including techniques for translating (230) a conventional simulation into a symbolic simulation, for handling wait and delay states, and for performing temporally out-of-order simulations. Additional techniques for extracting (245) a signal graph from an HDL representation (205) of a device, for representing signal values as functions of time using binary decision diagrams (250), and for computing minimal signal sets for accurate simulation. Techniques and methods for improving waveform dumping, reducing the waveform database, and for combining out of-order simulation or reduced time steps with conventional time-based simulation.
搜索结果
1 条记录 (耗时 0.009 秒)
筛选
AND
AND
过滤
NOT
NOT
扫码加群
