Seawright A. and Brewer F., "Clairvoyant: A Synthesis System for Production-Based Specification", IEEE Transactions on Very Large Scale Integration Systems, Vol 2, No 2 (June 1994), pp 172-185.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....be output. A compiler then synthesizes the automaton. Automatic generation of language recognizers from grammar specifications has been extensively used in the software area for a long time [56] A few years ago, synthesis of hardware from such specifications was reported by Seawright et al. [59, 60, 61, 62]. Directly specifying the automaton makes the specification implementation dependent in two ways: the time behaviour is specified in term of states and the width of the inputs and outputs is fixed. By specifying the grammar, the specification is potentially independent of both these implementation ....

....the time behaviour is specified in term of states and the width of the inputs and outputs is fixed. By specifying the grammar, the specification is potentially independent of both these implementation details and allows for design space exploration in these dimensions. 3.2.1. Clairvoyant In [59, 60, 61, 62] Seawright et al. describe a system, called Clairvoyant. Clairvoyant takes a grammar based specification and outputs an FSM described in VHDL that is synthesizable by logic synthesis tools. The system is targeted for detailed specification of communication protocols and interfaces, and other ....

A. Seawright, F. Brewer, "Clairvoyant: A Synthesis System for Production-Based Specification," IEEE Trans. on VLSI Systems, vol. 2, pp 172-185, June 1994.

....solved before it is widely accepted by both industry and academia. Among them, high level synthesis lacks a theoretical framework (like Boolean algebra for logic design) that would further accelerate research. Examples of hardware design environments based on compilation techniques can be found in [5, 6, 7, 10, 12]. This paper presents a high level hardware compiler that takes SystemC behavioral input specifications and gener ates VHDL, Verilog and SystemC RTL output specifications, after performing high level synthesis. Utilizing this environment, a whole new hardware design methodology is presented, ....

A. Seawright and F. Brewer. Clairvoyant: A synthesis system for production-based specification. IEEE Transactions on Very Large Scale Integration Systems, 2(2):172-- 185, 1994.

....inputs, followed by a summary. 2. Protocol Compiler Protocol Compiler is a design environment for the processing of structured data streams such as the ATM, SDH SONET, or MPEG protocols. It is based on previous work by Seawright, Brewer, and Crews on logic synthesis from grammatical productions [5][2] Seawright gave an overview of the tool [7]and Holtmann and Meyer application examples for SPDIF [4] and SDH SONET [5]protocols. The design environment consists of entry, debugging support, protocol synthesis, and HDL generation (both VHDL and Verilog are supported) The Protocol Compiler ....

....data streams such as the ATM, SDH SONET, or MPEG protocols. It is based on previous work by Seawright, Brewer, and Crews on logic synthesis from grammatical productions [5] 2] Seawright gave an overview of the tool [7]and Holtmann and Meyer application examples for SPDIF [4] and SDH SONET [5]protocols. The design environment consists of entry, debugging support, protocol synthesis, and HDL generation (both VHDL and Verilog are supported) The Protocol Compiler language is conceptually higher than RTL and, together with protocol synthesis and intuitive debugging capabilities, is the ....

[Article contains additional citation context not shown here]

A. Seawright and F. Brewer, "Clairvoyant: A Synthesis System For Production-Based Specification," in IEEE Trans. on VLSI Systems, 1994, pp. 172-85.

....although calling an abstract send receive function may be. Protocols have long been modelled using grammars in the software world. In 1992, Seawright et al. presented a tool, called Clairvoyant, that took a grammar based HDL for describing data communication protocols for hardware synthesis [3, 4, 5, 6]. Their approach has been developed further into a commercial tool, the Synopsys Protocol Compiler (PC) 7, 8] In short, they take a grammar based specification and output a distributed Non deterministic FSM described in VHDL that is synthesizable by logic synthesis tools. Actions are specified ....

A. Seawright, F. Brewer, "Clairvoyant: A Synthesis System for Production-Based Specification," IEEE Trans. on VLSI Systems, vol. 2, pp 172-185, June 1994.

....4 and 5 followed by a summary. 2. Protocol Compiler Protocol Compiler is a design environment for the processing of structured data streams such as the ATM, SDH SONET, or MPEG protocols. It is based on previous work by Seawright, Brewer, and Crews on logic synthesis from grammatical productions [Sea94, Cre96]. Seawright gave an overview of the tool [Sea96] and Holtmann and Meyer application examples for SPDIF [Hol98] and SDH SONET [Mey97] protocols. The design environment consists of entry, debugging support, protocol synthesis, and HDL generation (both VHDL and Verilog are supported) The Protocol ....

A. Seawright and F. Brewer, "Clairvoyant: A Synthesis System For Production-Based Specification," in IEEE Trans. on VLSI Systems, June 1994, pp. 172-85.

....last twenty years, advances in circuit fabrication technology have increased device densities and as a consequence, they have increased design complexity. To manage continuously emerging tasks, designers have moved towards higher levels of abstraction [31] and language based design descriptions [14, 16, 27, 28, 21], which are closer to the way they conceive their work. However, each design must be described, eventually, at the lowest level (e.g. layout masks) in order to be fabricated. The transformation from one level of abstraction to the next is performed by various synthesis processes. High level or ....

....bound to a specic computational model, one can use an executable version of the model to perform synthesis. As the design specication passes through the model, constructs that are crucial for synthesis are recognized and special procedures are conducted. This idea was adopted by Seawright et al. [26, 27] to develop Clairvoyant, a system to perform hardware compilation using production based specications. However, only control path synthesis is performed (datapath synthesis is not considered at all) The presented examples are very limited, the largest being a part of the 8251 controller ....

A. Seawright and F. Brewer. Clairvoyant: A synthesis system for production-based specication. IEEE Transactions on Very Large Scale Integration Systems, 2(2):172185, 1994.

....presents a theoretical work on how a context free grammar can be mapped to a hardware implementation of a push down automata, aiming for the automatic implementation of the microcode of a data communication protocol processor. Seawright et. all present a grammar based tool called Clairvoyant in [7][8] The tool uses a grammar based hardware description language to specify and synthesize digital synchronous hardware systems. The tool was later further developed into a commercial tool, then called DALI[9] now called the Synopsys Protocol Compiler [10] In [12] the ProGram language was ....

A. Seawright, F. Brewer, "Clairvoyant: A Synthesis System for Production-Based Specification," IEEE Trans. on VLSI Systems, vol. 2, pp 172-185, June 1994.

....of language recognizers from grammar specifications has been extensively used in the software area for a long time. Hardware synthesis from grammar based specifications is a fairly new research area. Synthesis of hardware from such specifications was recently reported by Seawright et al. [4][5] They describe a system, called Clairvoyant, which is used to synthesize some small to medium sized examples from Production Based Specifications. The output of Clairvoyant is an FSM described in VHDL which can be handled by suitable low level synthesis tools. This system is targeted for ....

A. Seawright, F. Brewer, "Clairvoyant: A Synthesis System for Production-Based Specification," IEEE Trans. on VLSI Systems, vol. 2, pp 172-185, June 1994.

....expressions. The use of regular expression for hardware description in general and for protocol description in particular is not new and has been already presented in the literature. The grammar based specification employed in this work has been inspired mainly by the work of Seawright and Brewer [12] who demonstrated how effective regular expression could be for protocol and control intensive specifications. Hemani et al. also report in [9] the use of grammarbased specification for the synthesis of hardware for data communication protocols, although the specific problem of interface synthesis ....

A. Seawright and F. Brewer. Clairvoyant: A synthesis system for production-based specification. IEEE Transactions on VLSI Systems, 2:172--185, June 1994.

....well as direct dynamic FSM and datapath synthesis. 7.3.1 Specification Chapter 3 describes how low level MA are manually specified using a handful of states and transitions. Techniques and tools exist that simplify specification of sequential behavior. In particular, Synopsys Protocol Compiler [122] uses a hierarchical specification of sequential behavior similar to regular expression semantics that has proven useful and helpful for meaningful design. A technique similar to this may facilitate specification of ABSS sequential behavior and interaction for both low level MA and composite MA. ....

A. Seawright and F. Brewer, "Clairvoyant: A Synthesis System for Production -based Specification", Proc. IEEE Trans. on VLSI Systems, vol. 2, no. 2, pp. 172-185, June 1994.

No context found.

Seawright A. and Brewer F., "Clairvoyant: A Synthesis System for Production-Based Specification", IEEE Transactions on Very Large Scale Integration Systems, Vol 2, No 2 (June 1994), pp 172-185.

No context found.

A. Seawright, F. Brewer, "Clairvoyant: A Synthesis System for Production-based Specification," IEEE Trans. VLSI, vol. 2 no. 2, pp. 172-185, June 1994.

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