Analysis and comparison of functional verification and ATPG for testing design reliability | IEEE Conference Publication | IEEE Xplore