"A hardware/software kernel for system on chip designs."

Andrew Morton, Wayne M. Loucks (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics