Kaolin: A system-level AADL tool for FPGA design reuse, upgrade and migration | IEEE Conference Publication | IEEE Xplore