LPSAT: A unified approach to RTL satisfiability

Authors

ZH Zeng
P Kalla
M Ciesielski

Publication Date

2001

Journal or Book Title

DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS

DOI

https://doi.org/10.1109/DATE.2001.915055

Pages

398-402

Recommended Citation

Zeng, ZH; Kalla, P; and Ciesielski, M, "LPSAT: A unified approach to RTL satisfiability" (2001). DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS. 206.
https://doi.org/10.1109/DATE.2001.915055