"Generation of Synthetic Sequential Benchmark Circuits."

Michael D. Hutton, Jonathan Rose, Derek G. Corneil (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics