Current Projects  

• Systems-on-Chips Emulation
• Hardware/Software Co-Monitoring
• Post-Silicon Validation with Virtual Prototypes
• Formal Verification for High-Assurance Behavioral Synthesis

Benchmarks

• SystemC Testbench

Past Projects  

• Component-Based Hardware/Software Co-Verification of Embedded Systems
• Automata-Theoretic Approach to Hardware/Software Co-Verification