Login / Signup
ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects.
Freek Verbeek
Pooria M. Yaghini
Ashkan Eghbal
Nader Bagherzadeh
Published in:
DATE (2016)
Keyphrases
</>
functional verification
power dissipation
low cost
input output
semi automated
high density
cmos technology
fully automated
model checking
high speed
artificial intelligence
computer aided
face verification
vlsi implementation
chip design
formal verification
face recognition