A. Seawright. Grammar-Based Specifications and Synthesis for Synchronous Digital Hardware Design. PhD thesis, University of California, Santa Barbara, 1994. 127  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, Grammar-Based Specifications and Synthesis for Synchronous Digital Hardware Design, Ph. D. Thesis, Univ. of California, Santa Barbara, June 1994.

....efficient design of communication controller hardware which is especially suited for (but not limited to) complex, bit serial protocols is presented. The methodology is based on synthesis of controller hardware from a formal high level specification of the protocol. Compared to previous work [6] [8], 4] 5] 10] our approach is unique in two aspects: First, the formalism that is used for protocol specification has been realized as an extension to the system description language SystemC, called SystemC . This ensures that protocol specifications become an integral part of the system ....

....have been primarily designed for simulation purposes and to date no feasible hardware synthesis methodologies have been presented for related interface protocol descriptions. A number of publications have addressed synthesis of communication controller hardware from protocol descriptions. In [8] the system Clairvoyant was presented which generates controller hardware from production based protocol specifications. An extension to this system is the Protocol Compiler [10] which uses a graphical hierarchical regular expression based language for protocol specification. In [4] 5] regular ....

A. Seawright. Grammar-based Specifications and Synthesis for Synchronous Digital Hardware Design. PhD thesis, University of California, Santa Barbara, June 1994.

....IF THEN ELSE or equivalent constructs which is also hard to understand and debug. Grammar based approach alleviates this problem by using a notation that is more abstract, natural for protocol processing functionality and a tool can automatically build the automaton. This is the approach taken by [2, 4, 5]. However, all these systems target hardware generation and not protocol processors. Retargetable compilers exist today but they are limited in that, firstly they are meant for conventional languages and not grammars and secondly they target either general purpose or DSP processors and not ....

A. Seawright, Grammar-Based Specifications and Synthesis for Synchronous Digital Hardware Design, Ph. D. Thesis, Univ. of California, Santa Barbara, June 1994.

....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, Grammar-Based Specifications and Synthesis for Synchronous Digital Hardware Design, Ph. D. Thesis, Univ. of California, Santa Barbara, June 1994.

....built from such grammar specification. Grammar rules can be annotated with actions to be taken when a particular grammar rule is recognized. This is the principle of grammar based hardware synthesis. There are a number of grammar based hardware synthesis systems in the academic world [1, 2, 3, 4, 5]. 2] is a commercial version of [1] Though these systems are based on the same essential idea, they differ in their syntax, synthesis strategy, target architecture and the methodology for using them. Functional Model Bit true Model Rate true Model Cycle true Model Figure 1. The four levels ....

....Grammar rules can be annotated with actions to be taken when a particular grammar rule is recognized. This is the principle of grammar based hardware synthesis. There are a number of grammar based hardware synthesis systems in the academic world [1, 2, 3, 4, 5] 2] is a commercial version of [1]. Though these systems are based on the same essential idea, they differ in their syntax, synthesis strategy, target architecture and the methodology for using them. Functional Model Bit true Model Rate true Model Cycle true Model Figure 1. The four levels of abstraction involved in the ....

A. Seawright, Grammar-Based Specifications and Synthesis for Synchronous Digital Hardware Design, Ph. D. Thesis, Univ. of California, Santa Barbara, June 1994.

....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, Grammar-Based Specifications and Synthesis for Synchronous Digital Hardware Design, Ph. D. Thesis, Univ. of California, Santa Barbara, June 1994.

....called path activated constraints. PUBSS is also able to handle the tightly coupled parts of the design by merging them together during synthesis. Nevertheless, it is not able to cross parallel composition barriers, which may exist in Verilog or StateChart descriptions. The Clairvoyant system [Sea94] was designed for the specification and control generation of control dominated applications using a grammar based specification language. The system is specified using a grammar languages supporting sequential, alternative and parallel composition, loops, synchronization and exception handling. ....

A. Seawright. Grammar-Based Specification and Synthesis for Synchronous Digital Hardware Design. PhD thesis, UC Santa Barbara, 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 detailed ....

A. Seawright, Grammar-Based Specifications and Synthesis for Synchronous Digital Hardware Design, Ph. D. Thesis, Univ. of California, Santa Barbara, June 1994.

No context found.

A. Seawright. Grammar-Based Specifications and Synthesis for Synchronous Digital Hardware Design. PhD thesis, University of California, Santa Barbara, 1994. 127

No context found.

A. Seawright, Grammar-Based Specifications and Synthesis for Synchronous Digital Hardware Design, Ph. D. Thesis, Univ. of California, Santa Barbara, 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