Method and system for performing ternary verificat

专利名称：Method and system for performing ternary

verification

发明人：Jason R. Baumgartner,Hari Mony,Viresh

Paruthi,Matyas A. Sustik

申请号：US11675698申请日：20070216公开号：US07734452B2公开日：20100608

专利附图：

摘要：A method and system for performing ternary verification is disclosed. Initially, aternary model is generated from a binary model of a logic circuit design. The pairings

used to encode the ternary model are then recorded. Next, the number of the recordedgate pairings is reduced by removing all invalid gate pairings. A ternary verification isperformed on the ternary model having a reduced number of gate pairings.

申请人：Jason R. Baumgartner,Hari Mony,Viresh Paruthi,Matyas A. Sustik

地址：Austin TX US,Austin TX US,Austin TX US,Austin TX US

国籍：US,US,US,US

代理机构：Dillon & Yudell LLP

更多信息请下载全文后查看