A formal method for the specification, analysis, and design of register-transfer level digital logic.

Louis J. Hafer, Alice C. Parker

Browse the full DAC paper archive.