Sharad Malik

Sharad Malik

Professor of Electrical and Computer Engineering, Princeton University
Dirección de correo verificada de princeton.edu
Citado por 32153
Computer Engineering Electronic Design Automation Computer-Aided Design Formal Verification Hardware Verification
Prabhat Mishra

Prabhat Mishra

Professor, Univ. of Florida, IEEE Fellow, AAAS Fellow, ACM Distinguished Member
Dirección de correo verificada de ufl.edu
Citado por 7585
Hardware Verification Embedded Systems Hardware Security Quantum Computing
Sofiene Tahar

Sofiene Tahar

Concordia University
Dirección de correo verificada de ece.concordia.ca
Citado por 5759
Formal Methods Hardware Verification Reliability Analysis System-on-Chip Analog and Mixed Signal
Rajeev Ranjan

Rajeev Ranjan

Synopsys Inc
Dirección de correo verificada de synopsys.com
Citado por 2734
Hardware verification formal verification simulation emulation
Kevin D Jones

Kevin D Jones

University of Plymouth
Dirección de correo verificada de plymouth.ac.uk
Citado por 2658
Maritime Cyber Security Maritime Cybersecurity Hardware Verification Formal Methods Computer Security
Donggyu Kim

Donggyu Kim

UC Berkeley
Dirección de correo verificada de eecs.berkeley.edu
Citado por 1906
Computer Architecture Performance/Power/Energy Analysis Hardware Verification
Otmane AIT MOHAMED

Otmane AIT MOHAMED

Professor of Computer Engineering, Concordia University
Dirección de correo verificada de concordia.ca
Citado por 1736
Hardware Verification Model checking Reliability Analysis high level modeling
Sela Mador-Haim

Sela Mador-Haim

Computer Information Science, University of Pennsylvania
Dirección de correo verificada de xcitedb.com
Citado por 997
Formal methods Consistency Models Hardware Verification Semantics
Amir Nahir

Amir Nahir

Apple
Dirección de correo verificada de apple.com
Citado por 940
Hardware Verification Post-silicon Validation Cloud Computing Game Theory
Jim Grundy

Jim Grundy

Apple Computer
Dirección de correo verificada de acm.org
Citado por 793
Hardware Verification Software Verification Automated Reasoning Theorem Proving Programming Languages
1 - 10