Andrew Seawright and Forrest Brewer. High-level symbolic construction techniques for high performance sequential synthesis. In 30th Design Automation Conference, pages 424--428. ACM/IEEE, 1993.  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, "High Level Symbolic Construction Techniques for High Performance Sequential Synthesis", Proc. of the 30th DAC, pp 424-428, Dallas, June 1993.

....to generate finite state machines. For property specification, both Intel s ForSpec[2] and IBM s Sugar[3] include regular expressions and have ardent adherents. The most direct influence on the present work, however, is earlier work from the synthesis community: Production Based Specification [11]. This work uses an extended regular expression language to specify state machines, which are synthesized in polynomial time into circuits, never explicitly building a deterministic finite state machine and thereby avoiding a potential blowup. Production based specification has proven to be ....

....wait state , okay resp error resp split resp retry resp) The above expression specifies the response phase to be any number of wait states, followed by one of the response types. For notational convenience, we use productions as they were defined in production based specifications [11]. We have actually been using productions already in the preceding paragraph. The symbol to the left of the operator is defined to be an abbreviation for the regular expression on the right hand side. To guarantee that specifications correspond to finite state machines, productions cannot be ....

[Article contains additional citation context not shown here]

A. Seawright, F. Brewer. High-level symbolic construction techniques for high performance sequential synthesis. 30th Design Automation Conf, pp. 424--428. ACM/IEEE, 1993.

....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, "High Level Symbolic Construction Techniques for High Performance Sequential Synthesis", Proc. of the 30th DAC, pp 424-428, Dallas, June 1993.

....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. High-level symbolic construction techniques for high performance sequential synthesis. In 30th Design Automation Conference, pages 424428. ACM/IEEE, 1993.

No context found.

Andrew Seawright and Forrest Brewer. High-level symbolic construction techniques for high performance sequential synthesis. In 30th Design Automation Conference, pages 424--428. ACM/IEEE, 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