Tsinghua University

Jan-An Hsieh

Shih-Chieh Wu

Chun-Yao Wang

A method for verifying a circuit design includes a step of assigning numerical values 1/ato input ports of the circuit design according to a function a=(a&#x2212;1)+1, wherein i represents the number of the input port and the numerical value ais not equal to 2 or 1. Preferably, ais equal to or larger than 3, and is a positive integer. Particularly, the numerical value represents l's probability. In addition, the present method further includes a step of calculating an output value at an output port of the circuit design based on the numerical values assigned to the input port, and calculating the output value is performed from the input port to the output port at a Boolean gate level.

Growing community of inventors

Hsinchu, Taiwan

Jan-An Hsieh