Gianpiero Cabodi, Stefano Quer, Fabio Somenzi. Optimizing sequential verification by retiming transformations. In DAC. pages 601-606, 2000. [doi]
@inproceedings{CabodiQS00,
title = {Optimizing sequential verification by retiming transformations},
author = {Gianpiero Cabodi and Stefano Quer and Fabio Somenzi},
year = {2000},
doi = {10.1145/337292.337591},
url = {http://doi.acm.org/10.1145/337292.337591},
tags = {optimization, transformation},
researchr = {https://researchr.org/publication/CabodiQS00},
cites = {0},
citedby = {0},
pages = {601-606},
booktitle = {DAC},
}