专利名称：Verification techniques for liveness checking我知道爱
纯种柴犬多少钱of logic designs
发明人：Jason R. Baumgartner,Paul Joph
Roessler,Ohad Shacham,Jiazhao Xu
猫头鹰人申请号：US13403799
申请日：20120223风铃的制作方法
怎么煮小米粥公开号：US08352894B2
公开日：
20130108
专利内容由知识产权出版社提供
净影寺
专利附图：
摘要：A technique for verification of a logic design using a liveness-to-safety
conversion includes assigning liveness gates for liveness properties of a netlist and
崇禧万寿宫
assigning a single loop gate to provide a loop signal for the liveness gates. Asrtion of the single loop gate is prevented when none of the liveness gates are asrted. A first state of the netlist is sampled and the sampled first state provides an initial state for a first behavioral loop for at least one of the liveness gates following the asrtion of the single loop gate. The sampled first state of the first behavioral loop is compared with a later state of the first behavioral loop to determine if the sampled first state is repeated.
A liveness violation is returned when the sampled first state is repeated and an associated one of the liveness gates remains asrted for a duration of the first behavioral loop.
申请人：Jason R. Baumgartner,Paul Joph Roessler,Ohad Shacham,Jiazhao Xu
项羽之死翻译
地址：Austin TX US,Austin TX US,Israel IL,Mount Kisco NY US
国籍：US,US,IL,US
代理机构：Yudell Isidore Ng Rusll PLLC
更多信息请下载全文后查看
