Design Verification by Test Vectors and Arithmetic Transform Universal Test Set
IEEE Transactions on Computers
SAT-based ATPG using multilevel compatible don't-cares
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Hi-index | 0.00 |