"Automatic generation of synthetic sequential benchmark circuits."

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