FPGAs, Programming Models, and Kit Cars | IEEE Journals & Magazine | IEEE Xplore