Shujun Deng, Jinian Bian, Weimin Wu, Xiaoqing Yang, Yanni Zhao
EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure
DAC, 2007.
@inproceedings{DAC-2007-DengBWYZ,
author = "Shujun Deng and Jinian Bian and Weimin Wu and Xiaoqing Yang and Yanni Zhao",
booktitle = "{Proceedings of the 44th Design Automation Conference}",
doi = "10.1145/1278480.1278629",
pages = "588--593",
publisher = "{IEEE}",
title = "{EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure}",
year = 2007,
}