Valeria Bertacco

• Functional Design Errors in Digital Circuits
• Hardware and Software : Verification and Testing
• Scalable Hardware Verification with Symbolic Simulation
• Scalable Hardware Verification with Symbolic Simulation