Microprocessor Test and Verification (MTV'02)
January 21-22, 2002, Austin, Texas, USA:
http://ece.tamu.edu/MTV/
Deadline for submission of abstracts: August 31, 2001.
P.S. Note the special sessions on optimizing SAT procedures
for application to testing and formal verification.
|