Sprenger, Alexander, and Sybille Hellebrand. “Divide and Compact - Stochastic Space Compaction for Faster-than-At-Speed Test.”https://doi.org/10.1142/s0218126619400012__Journal of Circuits, Systems and Computers 28, no. 1 (2019): 1–23.https://doi.org/10.1142/s0218126619400012 .