Manish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant
Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation
DAC, 1996.
@inproceedings{DAC-1996-PandeyRBB,
author = "Manish Pandey and Richard Raimi and Derek L. Beatty and Randal E. Bryant",
booktitle = "{Proceedings of the 33rd Design Automation Conference}",
doi = "10.1145/240518.240641",
isbn = "0-89791-779-0",
pages = "649--654",
publisher = "{ACM Press}",
title = "{Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation}",
year = 1996,
}