Login / Signup
IEEE Standard 1500 Compliance Verification for Embedded Cores.
Alfredo Benso
Stefano Di Carlo
Paolo Prinetto
Yervant Zorian
Published in:
IEEE Trans. Very Large Scale Integr. Syst. (2008)
Keyphrases
</>
model checking
embedded systems
signature verification
real time
database systems
general purpose
face verification