... Synthesis steps and design models for codesign,Computer,pp. 44-52,Feb. 1995.[13] Gajski, D. and Vahid, F., Specification and design of embedded hardware-software systems,IEEE Design & Test ... storereceive packets and transmit packets. Processor contains a responder and a reshandler; respondergenerates the response packets for the request packets who ask for responses, and reshandler servesas ... the design process to both document the design stages and provide acommonlanguage environment forwhich to perform requirementssimulation, architecture verifica-tion, and hardware virtual prototyping. ...