Search Results - "Assertion property checking."

Select result number 1
1

Using word-level ATPG and modular arithmetic constraint-solving techniques for assertion property checking. by Chung-Yang Huan

Published in IEEE Transactions on computer-aided design of integrated circuits and systems

Call Number: Loading…
Located: Loading…

Article Loading…

Add to Book Bag Remove from Book Bag
Standalone Record

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-. The University Library, University of the Philippines Diliman