PAFSV: A process algebraic framework for SystemVerilog | IEEE Conference Publication | IEEE Xplore