AGRAWAL VISWANI

Transitive closure based process for generating test vectors for VLSI circuit