Co-synthesis of hardware and software for digital embedded systems - Gupta, Rajesh K. (The Kluwer international series in engineering and computer science, 1995)