High level synthesis of a defect detector | IEEE Conference Publication | IEEE Xplore