Login / Signup
A heterogeneous functional verification platform.
Amir Hekmatpour
Charles Alley
Brian Stempel
James Coulter
Azadeh Salehi
Arash Shafie
Chloe Palenchar
Published in:
CICC (2005)
Keyphrases
</>
functional verification
heterogeneous systems
formal verification
real time
database systems
load balancing