Precise error determination of approximated components in sequential circuits with model checking.

Arun Chandrasekharan, Mathias Soeken, Daniel Groe, Rolf Drechsler

Browse the full DAC paper archive.