专利内容由知识产权出版社提供
专利名称：System for automatically determing the
logical function of a circuit
发明人：Nuber, Paul D.申请号：EP92302312.1申请日：19920318公开号：EP0508620A2公开日：19921014
专利附图：
摘要：A system for automatically determining the logical function of a circuit (100)using a logic simulator (202) wherein the input stimuli and truth table for a known orunknown circuit (100) are determined directly from the input (I) and output (O) node dataof the circuit (100) without the user having to specify input transition values. The systemof the invention automatically determines the truth table and input stimuli of the circuitby communicating with the logic simulator (202) through a communications interface andapplying every possible combination of input edges to the logic simulator (202) to
determine which input edges cause changes in the outputs. In particular, from a list ofinputs and outputs of the circuit (100), the invention creates a complete set of binaryvectors in input space and sends them to the logic simulator (202). It then examines thestate of the output returned from the logic simulator (202) in order to determine whichinput-to-output paths exist. This approach allows all states of the inputs (I) to beexhaustively searched without the user having to manually specify the truth table of thecircuit being tested by the logic simulator (202) or the input vectors which are necessaryto excite the circuit. The resulting process is automatic and complete and is easier to usesince human interaction is minimized.
申请人：Hewlett-Packard Company
地址：3000 Hanover Street Palo Alto, California 94304 US
国籍：US
代理机构：Colgan, Stephen James
更多信息请下载全文后查看
