发明名称 Logic verification in large systems
摘要 A method of preparing a circuit model for simulation comprises decomposing the circuit model having a number of latches into a plurality of extended latch boundary components and partitioning the plurality of extended latch boundary components. Decomposing and partitioning the circuit model may include decomposing hierarchical cells of the circuit model, and using a constructive bin-packing heuristic to partition the plurality of extended latch boundary components. The partitioned circuit model is compiled, and simulated on a uni-processor, a multi-processor, or a distributed processing computer system.
申请公布号 US7171347(B2) 申请公布日期 2007.01.30
申请号 US19990347690 申请日期 1999.07.02
申请人 INTEL CORPORATION 发明人 KHAIRA MANPREET S.;OTTO STEVE W.;YANG HONGHUA H.;JOSHI MANDAR S.;CASAS JEREMY S.;SELIGMAN ERIK M.
分类号 G06F17/50;G06F9/45;G06F9/455 主分类号 G06F17/50
代理机构 代理人
主权项
地址