A. Wenban, J. O'Leary, and G. Brown, "Codesign of communication protocols" IEEE Computers, no. 12, pp. 46--52, Dec. 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An Integrated Cosimulation Environment for Heterogeneous .. - Kim, Kim, Shin, Ahn.. (1998) (Correct)
....recognize using PLI without modeling the processor and the bus interface. Using these schemes, they could accelerate cosimulation, simulate even electronic systems with an operating system, and expand to general purpose cosimulation environment at a cost of simulation accuracy. l Wenban, et al. [6] developed a system that compiles communication protocol described in Promela, a concurrent programming language similar to Occam, into C software, hardware, and interface. In the Promela description, several processes can execute concurrently and communicate or synchronize using message ....
A. S. Wenban, J. W. O' Leary, and G. M. Brown, " Codesign of communication protocols," IEEE Computer, Dec. 1993.
Hardware Software Synthesis of Formal Specifications.. - Carchiolo, Malgeri.. (Correct)
....of the specification, the specification of time constraints and concurrency [Drusinski and Har el 1989] Finally, several high level textual languages have been used in CoDesign, e.g. C x [Ernst and J. 1993a] Hardware C [Ku and Micheli 1990] Verilog [Sternheim et al. 1993] and Promela [Wenban et al. 1993]. The second step consists of the validation of the specification; simulation is still the most widely used approach. Many tecniques have been proposed in literature; they differ in their method of coupling hardware and software components. For example, in [Gupta et al. 1992] a single custom ....
Wenban, A. S., O'Leary, J. W., and Brown, G. M. 1993. Codesign of Communication Protocols. IEEE Computers, 46--52.
Portable Pipeline Synthesis for FCCMs - Weinhardt (1996) (Correct)
....description of circuits with pipelined parallelism and reduced I O bandwidth requirements. The FCCM programming environment presented in sections 3 and 4 is based on this method. Its details will be given in these sections. 2. 2 Manual hardware software partitioning The OCCAM CSP based systems [12, 13] specify hardware and software processes in the same languages. But the programmer must define the partitioning and process synchronisation. This approach seems to be more suited for codesign of irregularly communicating tasks in embedded systems than for mostly regular computation and ....
A. S. Wenban, J. W. O'Leary, and G. M. Brown. Codesign of communication protocols. Computer, pages 46--52, December 1993.
Constructing Hardware-Software Systems from a Single Description - Page (1996) (31 citations) (Correct)
....and allowing re use of those optimsations in later designs. This is a large scale challenge which we have hardly started to address. There is naturally a great deal of related work, much of which has proven to be very useful in helping us set our own goals. We would refer the interested reader to [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13]. This is far from an exhaustive list of relevant related work, but it does give give decent coverage of the topics which we see as closely allied to our endeavours. In parallel with the work on compilation of imperative programs described in this paper, there is also significant activity in ....
A. Wenban, J. O'Leary, and G.M. Brown, `Codesign of communication protocols', IEEE Computer, 26(12), 46--52, (Dec 1993).
A Formal Specification Model for Hardware/Software.. - Chiodo, Giusto, Hsieh, .. (1993) (4 citations) (Correct)
....approaches to this problem can be classified in three broad groups: 1. Methods to implement software programs in hardware; for example: ffl various flavors of CSP ( Hoa78] a formalism developed for correct concurrent program specification, have been translated into synchronous ( PL91] WOB92] or asynchronous ( vBKR 91] BM87, Mar90b, Mar90a] circuits. ffl languages for real time software specification, such as ESTEREL or StateCharts , have been directly ( Ber91] or indirectly ( NVG91] used as hardware description languages. 2. Methods to implement hardware ....
A. S. Wenban, J. W. O'Leary, and G. M. Brown. Codesign of communication protocols. In Proceedings of the International Workshop on Hardware-Software Codesign, September 1992.
The Model Checker SPIN - Holzmann (1997) (190 citations) (Correct)
.... of data transfer protocols [5] bus protocols [6] address registration protocols [55] error control protocols [66] requirements analysis [4] controllers for reactive systems [10] distributed process scheduling algorithms [59] fault tolerant systems [1] hardware software codesign [80], asynchronous hardware designs [62] multiprocessor designs [76] local area network controllers [30] microkernel design [19] 75] operating systems code [9] 64] railway signaling protocols and circuitry [36] 20] 15] rendezvous algorithms [44] security protocols [47] flood surge ....
A.S. Wenban, J.W. O'Leary, and G.M. Brown, "Codesign of Communication Protocols," Computer, vol. 26, no. 12, pp. 46-52, Dec. 1993.
Hardware/Software Co-Design - De Micheli, Gupta (1997) (13 citations) (Correct)
No context found.
A. Wenban, J. O'Leary, and G. Brown, "Codesign of communication protocols" IEEE Computers, no. 12, pp. 46--52, Dec. 1993.
Towards a Declarative Framework for Hardware-Software Codesign - Luk, Wu (1994) (5 citations) (Correct)
No context found.
A. Wenban, J. O'Leary and G.M. Brown, "Codesign of communication protocols," IEEE Computer, Vol. 26, No. 12, pp. 46--52, December 1993.
Hardware-Software Codesign of Multidimensional Programs - Luk, Wu, Page (1994) (7 citations) (Correct)
No context found.
A. Wenban, J. O'Leary and G.M. Brown, "Codesign of communication protocols," IEEE Computer, Vol. 26, No. 12, pp. 46--52, December 1993.
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