Andreas G. Veneris. Fault Diagnosis and Logic Debugging Using Boolean Satisfiability. In Fourth International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV 2003), May 29-30, 2003, Hyatt Town Lake Hotel, Austin, Texas, USA. pages 60, IEEE Computer Society, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.