EPEX: Processor Verification by Equivalent Program Execution.

Lucas Klemmer Daniel Große

Published in: ACM Great Lakes Symposium on VLSI (2021)

Keyphrases

program execution
multi processor
functional verification
model checking
high speed
multi core processors
artificial intelligence
reinforcement learning
computer architecture
programming course
memory management
verification method