Lluis Ribas, Jordi Carrabina
On the Reuse of Symbolic Simulation Results for Incremental Equivalence Verification of Switch-Level Circuits
DATE, 1998.
@inproceedings{DATE-1998-RibasC,
author = "Lluis Ribas and Jordi Carrabina",
booktitle = "{Proceedings of the Third Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.1998.655923",
pages = "624--629",
publisher = "{IEEE Computer Society}",
title = "{On the Reuse of Symbolic Simulation Results for Incremental Equivalence Verification of Switch-Level Circuits}",
year = 1998,
}