Improvements for constraint solving in the SystemC verification library (2007)

by D Große, R Ebendt, R Drechsler
Venue:In ACM Great Lakes Symposium on VLSI