Co-synthesis of hardware and software for digital embedded systems - Gupta, Rajesh K. (Kluwer, 1995)