David A. Papa, Smita Krishnaswamy, Igor L. Markov. SPIRE: A retiming-based physical-synthesis transformation system. In 2010 International Conference on Computer-Aided Design (ICCAD 10), November 7-11, 2010, San Jose, CA, USA. pages 373-380, IEEE, 2010. [doi]
@inproceedings{PapaKM10,
title = {SPIRE: A retiming-based physical-synthesis transformation system},
author = {David A. Papa and Smita Krishnaswamy and Igor L. Markov},
year = {2010},
doi = {10.1109/ICCAD.2010.5653647},
url = {http://dx.doi.org/10.1109/ICCAD.2010.5653647},
tags = {rule-based, transformation system, Markov, transformation},
researchr = {https://researchr.org/publication/PapaKM10},
cites = {0},
citedby = {0},
pages = {373-380},
booktitle = {2010 International Conference on Computer-Aided Design (ICCAD 10), November 7-11, 2010, San Jose, CA, USA},
publisher = {IEEE},
}