Modeling and Test Verification for Hardened Integrated Circuits | IEEE Journals & Magazine | IEEE Xplore