@misc{Jarvisalo:SATCompetition07,
author = {Matti J\"arvisalo},
note = {SAT Competition 2007 benchmark description. Available at \url{http://www.satcompetition.org/2007/contestants.html}},
title = {Equivalence checking hardware multiplier designs},
year = {2007},
}