IEEE Xplore | LogicLark