Login / Signup

Verification of massive advanced node SoCs.

DaeSeo ChaHyunWoo KohNamPhil JoJay B. KimByeong MinKarthik KothandapaniRiccardo OddoneAdam D. Sherer
Published in: ISOCC (2012)
Keyphrases
  • model checking
  • asynchronous circuits
  • real time
  • decision trees
  • database systems
  • tree structure
  • verification method
  • artificial intelligence
  • decision making
  • data analysis
  • graph structure
  • web intelligence
  • leaf nodes