Random Stimulus Generation using Entropy and XOR Constraints

Stephen Plaza, Igor L. Markov, Valeria Bertacco. Random Stimulus Generation using Entropy and XOR Constraints. In Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008. pages 664-669, 2008. [doi]

Abstract

Abstract is missing.