John M. Rushby
-
A monadic approach to automated reasoning for Bluespec SystemVerilog
Innovations in Systems and Software Engineering