Proptest: A Property Based Test Pattern Generator for Sequential Circuits Using Test Compaction.

Ruifeng Guo, Sudhakar M. Reddy, Irith Pomeranz

Browse the full DAC paper archive.