5 experts in "verification of hardware systems" found:

Expert In:

• Verification of hardware systems
• Verification of software
• Compilers
• Logic decision procedures

Expert In:

• Design of digital hardware system
• Formal verification
• Verification of digital hardware system
• Application domains

Expert In:

• Cyber-physical and hybrid systems
• Hardware and software co-design methodologies
• System-level design and verification methodologies
• Communications and Access

Expert In:

• Embedded systems
• Hardware and software co-design methodologies
• System-level design and verification methodologies
• Communications and access

Expert In:

• Formal verification
• Hardware-based security
• Systems assurance
• Computer security