METHOD FOR DEMONSTRATING THE DEPENDENCE OF A SIGNAL BASED ON ANOTHER SIGNAL

摘要

The invention concerns a method for verifying whether a specific signal of a complex circuit operates correctly, enabling to obtain in a computer storage, a profile of states of other signals among which a variation of state of one single signal should bring about a variation of state of the specific signal, on a physical sample of the circuit. So as to reduce to a minimum the processing time and work space required to obtain said profile, the method uses two binary decision diagrams starting with a binary variable of said signal, each with two binary decision sub-diagrams. The method combines the binary decision sub-diagrams so that the specific signal should be at a first state when the binary variable is at a first value and should not be at that first state when the binary variable is at a second value.