Return to Article Details Verification of VLSI Circuits Using LP Download Download PDF