24 Aug
2001
24 Aug
'01
8:09 a.m.
Microprocessor Test and Verification (MTV'02) January 21-22, 2002, Austin, Texas, USA: http://ece.tamu.edu/MTV/ Deadline for submission of abstracts: October 26, 2001 P.S. Note the special topic on optimizing SAT procedures for application to testing and formal verification.