Multi-level synthesis on programmable devices in the ASYL system | IEEE Conference Publication | IEEE Xplore