Publications
D-DMTD: Digital Dual Mixer Time Difference
Environment-Independent Framework for Early Error Discovery in Embedded System Designs
Environment-Independent Framework for Early Error Discovery in Embedded Systems Designs
Support letter for Dr. Chao Wang for NSF grant application
Exploring formal verification methodology for FPGA-based digital systems
Maintaining soundness in hybrid verification approaches for stateful models :
Practical Integration of Simulation and Formal Verification of Embedded Systems through Library Module Pairings
Complete Formal Verification of Stateful Designs for High Consequence Systems: A Case Study
Exploring Formal Verification Methodology for FPGA-based Digital Systems
Leveraging Formal Methods andConfronting Complexity for Digital System Reliability and Security
A Survey of Formal Verification in Mission-critical High-consequence Applications
12 Results