Using EDIF in IC testing: experience from the Everest project | IEEE Conference Publication | IEEE Xplore