Mantra: Mutation Testing of Hardware Design Code Based on Real Bugs | IEEE Conference Publication | IEEE Xplore