Li-C. Wang, Magdy S. Abadir, Nari Krishnamurthy
Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation
DAC, 1998.
@inproceedings{DAC-1998-WangAK,
author = "Li-C. Wang and Magdy S. Abadir and Nari Krishnamurthy",
booktitle = "{Proceedings of the 35th Design Automation Conference}",
doi = "10.1145/277044.277188",
isbn = "0-89791-964-5",
pages = "534--537",
publisher = "{ACM Press}",
title = "{Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation}",
year = 1998,
}