Alan J. Hu

• 2012 IEEE ACM International Conference on Computer Aided Design (ICCAD)
• Formal Methods in Computer-Aided Design
• Hardware and Software : Verification and Testing