Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques.
Journal
Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000.
Pages
118-123
Date Issued
2000
Author(s)
Type
conference paper