Logic-based granular prototyping | IEEE Conference Publication | IEEE Xplore