PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor.

Lennart Weingarten Kamalika Datta Rolf Drechsler

Published in: NANOARCH (2023)

Keyphrases

formal verification
functional verification
model checking
model checker
bounded model checking
automated verification
parallel processing
temporal logic
computer architecture
high speed
symbolic model checking
program slicing
formal specification
single chip
domain specific