Rabbit: An Efficient Verification Platform Base on Virtual Peripherals | IEEE Conference Publication | IEEE Xplore