Hardware Software Codesign of the Xilinx Microkernel. - Vasanth Asokan; S. Mohan; Raj K. Nagarajan (ERSA, 2004)