Return to Article Details A Flip-Flop Matching Engine to Verify Sequential Optimizations Download Download PDF