SPADES: A Productive Design Flow for Versal Programmable Logic | IEEE Conference Publication | IEEE Xplore