https://scholars.lib.ntu.edu.tw/handle/123456789/294474
Title: | Using Word-Level ATPG and Modular Arithmetic Constraint-Solving Techniques for Assertion Property Checking | Authors: | R.C.-Y. Huang K.-T. Cheng CHUNG-YANG HUANG |
Issue Date: | Mar-2001 | Journal Volume: | 20 | Journal Issue: | 3 | Start page/Pages: | 381-391 | Source: | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/294474 | DOI: | 10.1109/43.913756 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.