Circuit Symmetries In Synthesis And Verification. by Donald Chai