Evaluating and comparing simulation verification vs. formal verification approach on block level design

Cite this paper

@inproceedings{Segev2004EvaluatingAC, title={Evaluating and comparing simulation verification vs. formal verification approach on block level design}, author={Eyal Segev and Sharon Goldshlager and Hillel Miller and Oren Shua and Olga Sher and Shlomo Greenberg}, booktitle={ICECS}, year={2004} }