Mike Tien-Chien Lee

• High-level test synthesis of digital VLSI circuits