Jeffery P. Hansen, Masatoshi Sekine
Synthesis by Spectral Translation Using Boolean Decision Diagrams
DAC, 1996.
@inproceedings{DAC-1996-HansenS,
author = "Jeffery P. Hansen and Masatoshi Sekine",
booktitle = "{Proceedings of the 33rd Design Automation Conference}",
doi = "10.1145/240518.240564",
isbn = "0-89791-779-0",
pages = "248--253",
publisher = "{ACM Press}",
title = "{Synthesis by Spectral Translation Using Boolean Decision Diagrams}",
year = 1996,
}