Publication

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