A Sagahyroon, G Lakkaraj, M Karunaratne - J. Comput., 2012 - jcomputers.us
Design verification of ASICs is often approached in an ad-hoc manner without the care,
planning and scrutiny that usually accompanies a typical design effort. As the complexity of …