Model-Based Design Automation of Hardware/Software Co-Designs for Xilinx Zynq PSoCs | IEEE Conference Publication | IEEE Xplore