发明名称 Simulation system to verify multicycle path based on circuit operational specification and circuit design specification
摘要 A simulation system for performing simulation of an operation of a circuit including a particular signal substituting section for making, in the simulation, an output signal of a first flipflop or an input signal of a second flipflop be a particular signal indicating neither high level nor low level during a period which is 1 cycle shorter than a specified clock cycle number of a multicycle path which has been specified in advance; and an output section for outputting information corresponding to whether or not a signal at an output terminal of the second flipflop or at part of the circuit located in a subsequent stage of the output terminal of the second flipflop, which has been specified in advance, is made to be the particular signal.
申请公布号 US7941773(B2) 申请公布日期 2011.05.10
申请号 US20070158884 申请日期 2007.05.28
申请人 PANASONIC CORPORATION 发明人 TANAKA KIYOTAKA
分类号 G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址