Ghiath Al Sammane, Dominique Borrione, Remy Chevallier. Verification of behavioral descriptions by combining symbolic simulation and automatic reasoning. In John Lach, Gang Qu, Yehea I. Ismail, editors, Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, Chicago, Illinois, USA, April 17-19, 2005. pages 260-263, ACM, 2005. [doi]
Abstract is missing.