A general methodology for synthesis and verification of register-transfer designs.

Alice C. Parker, Fadi J. Kurdahi, Mitch J. Mlinar

Browse the full DAC paper archive.