Recording synthesis history for sequential verification (2008)

by A MISHCHENKO, R K BRAYTON
Venue:In IWLS