Manish Pandey, Randal E. Bryant
Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation
CAV, 1997.
@inproceedings{CAV-1997-PandeyB,
author = "Manish Pandey and Randal E. Bryant",
booktitle = "{Proceedings of the Ninth International Conference on Computer Aided Verification}",
doi = "10.1007/3-540-63166-6_25",
isbn = "3-540-63166-6",
pages = "244--255",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation}",
volume = 1254,
year = 1997,
}