Geometry and Expansion: A survey of some results
Retiming and Re-synthesis
ECE 667 Spring 2013 Synthesis and Verification of Digital Systems
[ 3 : ] hurt skirt
Theory of Computing