Balakrishna Kumthekar, In-Ho Moon, Fabio Somenzi. A symbolic algorithm for low-power sequential synthesis. In Brock Barton, Massoud Pedram, Anantha Chandrakasan, Sayfe Kiaei, editors, Proceedings of the 1997 International Symposium on Low Power Electronics and Design, 1997, Monterey, California, USA, August 18-20, 1997. pages 56-61, ACM, 1997. [doi]
@inproceedings{KumthekarMS97,
title = {A symbolic algorithm for low-power sequential synthesis},
author = {Balakrishna Kumthekar and In-Ho Moon and Fabio Somenzi},
year = {1997},
doi = {10.1145/263272.263283},
url = {http://doi.acm.org/10.1145/263272.263283},
researchr = {https://researchr.org/publication/KumthekarMS97},
cites = {0},
citedby = {0},
pages = {56-61},
booktitle = {Proceedings of the 1997 International Symposium on Low Power Electronics and Design, 1997, Monterey, California, USA, August 18-20, 1997},
editor = {Brock Barton and Massoud Pedram and Anantha Chandrakasan and Sayfe Kiaei},
publisher = {ACM},
isbn = {0-89791-903-3},
}