Login / Signup

Automatic generation and verification of sufficient correctness properties for synchronous processors.

Filip Van AeltenStan Y. LiaoJonathan AllenSrinivas Devadas
Published in: ICCAD (1992)
Keyphrases
  • parallel algorithm
  • automatically generate
  • parallel processing
  • data sets
  • machine learning
  • information systems
  • bayesian networks
  • automatically generating