Login / Signup

Raising the Level of Abstraction for the Timing Verification of System-on-Chips.

Rupsa ChakrabortyDipanwita 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