Login / Signup
Raising the Level of Abstraction for the Timing Verification of System-on-Chips.
Rupsa Chakraborty
Dipanwita Roy Chowdhury
Published in:
ISVLSI (2008)
Keyphrases
</>
high level
asynchronous circuits
neural network
input output
levels of abstraction
real time
website
case study
database systems
model checking
signature verification
formal verification