HSIEH JAN-AN

Method for verifying a circuit design by assigning numerical values to inputs of the circuit design