Login / Signup

Asynchronous Assertion Monitors for multi-Clock Domain System Verification.

Katell Morin-AlloryLaurent FesquetDominique Borrione
Published in: IEEE International Workshop on Rapid System Prototyping (2006)
Keyphrases
  • asynchronous circuits
  • high speed
  • domain independent
  • neural network
  • domain specific
  • feature selection
  • database systems
  • expert systems
  • model checking
  • power consumption
  • data sets
  • databases
  • asynchronous communication