_id,doi,title
4379,10.1007/s10703-009-0085-x,Analog property checkers: a DDR2 case study