Transaction based modeling and verification of hardware protocolsXiaofang ChenSteven M. Germanet al.2007FMCAD 2007