Andreas Kuehlmann, David Ihsin Cheng, Arvind Srinivasan, David P. LaPotin
Error Diagnosis for Transistor-Level Verification
DAC, 1994.
@inproceedings{DAC-1994-KuehlmannCSL,
author = "Andreas Kuehlmann and David Ihsin Cheng and Arvind Srinivasan and David P. LaPotin",
booktitle = "{Proceedings of the 31st Design Automation Conference}",
doi = "10.1145/196244.196358",
isbn = "0-7803-1836-6",
pages = "218--224",
publisher = "{ACM Press}",
title = "{Error Diagnosis for Transistor-Level Verification}",
year = 1994,
}