Readings in Hardware/Software Co-Design - De Micheli, Giovanni. (Academic Press, 2002)