Login / Signup

A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors.

Sara VincoNicola BombieriDaniele Jahier PagliariFranco FummiEnrico MaciiMassimo Poncino
Published in: ACM Trans. Design Autom. Electr. Syst. (2019)
Keyphrases
  • cross level
  • model checking
  • embedded systems
  • asynchronous circuits
  • database
  • association rules mining
  • metadata
  • digital images
  • response time
  • distance measure
  • association rule mining
  • digital media