An RT-level fault model with high gate level correlation | IEEE Conference Publication | IEEE Xplore