Tilbage til artikeldetaljer Verification of VLSI Circuits Using LP Download Download PDF