Daniel Große, Rüdiger Ebendt, Rolf Drechsler. Improvements for constraint solving in the systemc verification library. In Hai Zhou, Enrico Macii, Zhiyuan Yan, Yehia Massoud, editors, Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007. pages 493-496, ACM, 2007. [doi]
Abstract is missing.