LogosPGA: synthesis system for LUT devices | IEEE Conference Publication | IEEE Xplore