Evaluating and comparing simulation verification vs. formal verification approach on block level design. - Eyal Segev; Sharon Goldshlager; Hillel Miller; Oren Shua; Olga Sher; Shlomo Greenberg (ICECS, 2004)