RTL-datapath verification using integer linear programming (2002)

by R Brinkmann, R Drechsler
Venue:In Proceedings of the IEEE VLSI Design Conference