"A Flip-Flop Matching Engine to Verify Sequential Optimizations."

Solaiman Rahim, Bruno Rouzeyre, Lionel Torres (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics