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]
Abstract is missing.