Ultra scaled VLSI technology made the road-map for single chips with millions of transistors. The breadboard verification of these highly dense and complicated circuits became almost impossible. Hence Computer-aided techniques became critical for verification and design of VLSI digital circuits.