Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer
Verification and synthesis of counters based on symbolic techniques
DATE, 1997.
@inproceedings{EDTC-1997-CabodiCLQ,
author = "Gianpiero Cabodi and Paolo Camurati and Luciano Lavagno and Stefano Quer",
booktitle = "{Proceedings of the Second European Design and Test Conference}",
doi = "10.1109/EDTC.1997.582355",
pages = "176--181",
publisher = "{IEEE}",
title = "{Verification and synthesis of counters based on symbolic techniques}",
year = 1997,
}