Efficient SAT-based generation of hazard-activated TSOF tests

التفاصيل البيبلوغرافية
العنوان: Efficient SAT-based generation of hazard-activated TSOF tests
المؤلفون: Burchard, Jan, Erb, Dominik, Reddy, Sudhakar M., Singh, Adit D., Becker, Bernd
المصدر: 2017 IEEE 35th VLSI Test Symposium (VTS) VLSI Test Symposium (VTS), 2017 IEEE 35th. :1-6 Apr, 2017
Relation: 2017 IEEE 35th VLSI Test Symposium (VTS)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9781509044825
9781509044818
تدمد:23751053
DOI:10.1109/VTS.2017.7928943