Track Down HW Function Faults Using Real SW Invariants | IEEE Conference Publication | IEEE Xplore