A synthesis-agnostic behavioral fault model for high gate-level fault coverageKarputkin, Anton; Raik, Jaan2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) : proceedings2016 / p. 1124-1127 : illhttps://ieeexplore.ieee.org/document/7459477/figures#figures