A formal verification framework for Bluespec System Verilog.

Samir Ouchani Otmane Aït Mohamed Mourad Debbabi

Published in: FDL (2013)

Keyphrases

formal verification
main contribution
model checking
database
genetic algorithm
lightweight
conceptual framework
automated verification