Zhihong Zeng, Priyank Kalla, Maciej J. Ciesielski
LPSAT: a unified approach to RTL satisfiability
DATE, 2001.
@inproceedings{DATE-2001-ZengKC,
author = "Zhihong Zeng and Priyank Kalla and Maciej J. Ciesielski",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.367288",
isbn = "0-7695-0993-2",
pages = "398--402",
publisher = "{ACM}",
title = "{LPSAT: a unified approach to RTL satisfiability}",
year = 2001,
}