Readings in hardware/software co-design - De Micheli, Giovanni (The Morgan Kaufmann series in systems on silicon, 2002)