Rahim, S. et al. 2012. A Flip-Flop Matching Engine to Verify Sequential Optimizations. COMPUTING AND INFORMATICS. 23, 5-6 (Feb. 2012), 437–460.