On Some Transformation Invariants Under Retiming and Resynthesis.

Jie-Hong Roland Jiang

Browse the full TACAS paper archive.