Using Word-Level ATPG and Modular Arithmetic Constraint-Solving Techniques for Assertion Property Checking

R.C.-Y. HuangK.-T. ChengCHUNG-YANG HUANG2018-09-102018-09-102001-03http://scholars.lib.ntu.edu.tw/handle/123456789/294474Using Word-Level ATPG and Modular Arithmetic Constraint-Solving Techniques for Assertion Property Checkingjournal article10.1109/43.9137562-s2.0-0035272705WOS:000167765800004