J. Strnadel, T. Pečenka, and Z. Kotásek, “Measuring CADeT Performance by Means of FITTest _BENCH06 Benchmark Circuits”, Comput. Inform., vol. 27, no. 6, pp. 913–930, Jan. 2012.