Akella, V., and Gopalakrishnan, G. Specification and validation of control-intensive IC's in hopCP. IEEE Transactions on Software Engineering 20, 6 (1994), 405--423. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Flow Analysis Techniques in High Level Asynchronous.. - Akella, Gopalakrishnan Self-citation (Akella Gopalakrishnan) (Correct)
....also uses communication guards which are similar to those employed in CSP like languages. 6 In this paper, we will study two examples (the specification of a pipeline stage, Figure 3, and a fragment of the specification of a Universal Synchronous Asynchronous Receiver Transmitter (USART) chip [AG91b] Figure 5) side by side with our description of hopCP. In Figure 5, we have omitted many of the type and port declarations, to avoid clutter. hopCP is a notation for describing concurrent state transition systems. These state transition systems can be described in a very simple graphical ....
....datapath state is now y instead of x. In a programming language sense, this could be viewed as performing a tail recursive call of process P with an actual parameter y corresponding to the formal parameter x. In the example in Figure 5, we present a fragment of the specification of a USART chip [AG91b] in hopCP. Process MAINEXECUTE starts in control state MAINEXECUTE with its data state status and d bound to some suitable values. It enters a guarded command, where it offers a choice of several moves . If the environment of MAINEXECUTE were to offer a data assertion indata E for some ....
Venkatesh Akella and Ganesh Gopalakrishnan. Specification and validation of control intensive ics in hopcp. Technical Report UUCS-92-001, Dept. of Computer Science, University of Utah, Salt Lake City, UT 84112, 1991. Submitted to the IEEE Transactions on Software Engineering.
Protocol Selection, Implementation, And - Analysis For Asynchronous (Correct)
No context found.
Akella, V., and Gopalakrishnan, G. Specification and validation of control-intensive IC's in hopCP. IEEE Transactions on Software Engineering 20, 6 (1994), 405--423.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC