@article{Bryant2018, author = "Randal Bryant and Miroslav N. Velev", title = "{Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Verification_of_Pipelined_Microprocessors_by_Comparing_Memory_Execution_Sequences_in_Symbolic_Simulation/6626465", doi = "10.1184/R1/6626465.v1" }