A. Seawright, and F. Brewer. Synthesis from Production-Based Specifications. In Proceedings of the 29th ACM/IEEE Design Automation Conference, 194-199, 1992.  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, "Synthesis from Production-Based Specifications", Proc. of the 29th DAC, pp 194-199, Anaheim, June 1992.

....synthesis, especially synthesis of bus protocols, is easier, since many implementation details are already given. Our methodology automatically exploits this information by incorporating it into the synthesis process. Various formalisms have been used in hardware specification and synthesis [11, 15, 18, 21]. Recently, Shen and Arvind used term rewriting systems to specify and verify ISA and out of order implementations of processors [22] Gabbay has developed an executable logic [12] for AI applications in which programs are written using rules of the form If A holds in the past then do B . Since ....

A. Seawright, and F. Brewer. Synthesis from Production-Based Specifications. In Proceedings of the 29th ACM/IEEE Design Automation Conference, 194-199, 1992.

....synthesis, especially synthesis of bus protocols, is easier, since many implementation details are already given. Our methodology automatically exploits this information by incorporating it into the synthesis process. Various formalisms have been used in hardware specification and synthesis [11, 15, 18, 21]. Recently, Shen and Arvind used term rewriting systems to specify and verify ISA and out of order implementations of processors [22] Gabbay has developed an executable logic [12] for AI applications in which programs are written using rules of the form If A holds in the past then do B . Since ....

A. Seawright, and F. Brewer. Synthesis from Production-Based Specifications. In Proceedings of the 29th ACM/IEEE Design Automation Conference, 194-199, 1992.

....constructs. In Scenic [9] the semantics of concurrency is similar to that of CSP and processes communicate via signals. In both approaches, the synchronous communication semantics force the designer think about the global timing when describing the system. Systems based on hierarchical PBSs [18] (Production Based Specification) specify the control implicitly via the production hierarchy. The simplicity of PBS comes from the local nature of each production, allowing the designer not worry about the explicit construction of the global flow. PBS is closer to our description language in the ....

Andrew Seawright and Forrest Brewer. Synthesis from Production-Based Specifications. In Proceedings of 29th Design Automation Conference, 1992.

....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, "Synthesis from Production-Based Specifications", Proc. of the 29th DAC, pp 194-199, Anaheim, June 1992.

No context found.

A. Seawright, and F. Brewer. Synthesis from Production-Based Specifications. In Proceedings of the 29th ACM/IEEE Design Automation Conference, 194-199, 1992.

No context found.

Andrew Seawright and Forrest Brewer. Synthesis from production-based specifications. In 29th Design Automation Conference, pages 194--199. ACM/IEEE, 1992.

No context found.

A. Seawright, and F. Brewer. Synthesis from Production-Based Specifications. In Proceedings of the 29th ACM/IEEE Design Automation Conference, 194-199, 1992.

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