Ghiath Al Sammane Julien Schmaltz Diana Toma Pierre Ostier Dominique Borrione TheoSim: combining symbolic simulation and theorem proving for hardware verification. 60-65 2004 conf/sbcci/2004 SBCCI http://doi.acm.org/10.1145/1016568.1016591 db/conf/sbcci/sbcci2004.html#SammaneSTOB04