Login / Signup

Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding.

Eugene GoldbergPanagiotis Manolios
Published in: TAP@TOOLS (2010)
Keyphrases
  • high speed
  • real valued
  • statistical tests
  • machine learning
  • power consumption