Symbolic Modeling and Evaluation of Data Paths.

Chuck Monahan, Forrest Brewer

Browse the full DAC paper archive.