A system for compiling and debugging structured data processing controllers
Andrew Seawright,J. Buck,Ulrich Holtmann,Wolfgang Meyer,B. Pangrle,R. Verbrugghe +5 more
- 20 Sep 1996
- pp 86-91
TL;DR: A graphical input style describes the format of the data to be processed along with the necessary control actions and advantages over FSM approaches include ease of design changes, ease of debugging, and a shorter design cycle.
read more
Abstract: This paper describes a system for designing and implementing controllers for structured data processing. A graphical input style describes the format of the data to be processed along with the necessary control actions. Advantages over FSM approaches include: (1) ease of design changes, (2) ease of debugging, and (3) a shorter design cycle.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Patent
Method for automatically generating checkers for finding functional defects in a description of a circuit
Tai An Ly,Jean-Charles Giomi,Kalyana C. Mulam,Paul A. Wilcox,David Lansing Dill,II Paul Estrada,Chian-Min Richard Ho,Jing Chyuarn Lin,Robert Kristianto Mardjuki,Lawrence Curtis Widdoes,Ping Fai Yeung +10 more
- 20 Jan 2003
TL;DR: In this paper, a programmable checker is used to flag functional defects in a description of a circuit undergoing functional verification, which can be used during simulation or emulation of the circuit or during operation of a semiconductor die.
115
Patent
Online programming changes for industrial logic controllers
Michael T. Klein,William Perry Su,Richard Leroy Mahn,Per-Ola Gustav Forsgren +3 more
- 21 Aug 1997
TL;DR: In this paper, a software package of the type utilizing graphical flowcharts is provided, allowing a user to modify a program and transfer industrial process state information while the program is controlling equipment.
53
ProGram : a grammar-based method for specification and hardware synthesis of communication protocols
Johnny Öberg
- 01 Jan 1999
TL;DR: ProGram is a grammar-based method for specification and hardware synthesis of communication protocols and its application is to be investigated in the area of knowledge representation and semantics.
29
Device Driver and DMA Controller Synthesis from HW /SW Communication Protocol Specifications
Mattias O'Nils,Axel Jantsch +1 more
TL;DR: After the initial selection of implementationalternatives the presented methods are fully automated and the quality of the generated code is close to hand written quality in terms of performance, area and code size.
26
Grammar-based hardware synthesis from port-size independent specifications
TL;DR: This paper presents a grammar-based language, called Program, that supports a port-size independent specifications methodology and its application to parts of the Operation and Maintenance protocol, a typical application from the ATM world.
21
References
Statecharts: A visual formalism for complex systems
TL;DR: It is intended to demonstrate here that statecharts counter many of the objections raised against conventional state diagrams, and thus appear to render specification by diagrams an attractive and plausible approach.
7.5K
•Journal Article
SIS : A System for Sequential Circuit Synthesis
TL;DR: This paper provides an overview of SIS and contains descriptions of the input specification, STG (state transition graph) manipulation, new logic optimization and verification algorithms, ASTG (asynchronous signal transition graph] manipulation, and synthesis for PGA’s (programmable gate arrays).
New ideas on symbolic manipulations of finite state machines
Christian Berthet,Olivier Coudert,Jean Christophe Madre +2 more
- 17 Sep 1990
TL;DR: It is shown that the use of symbolic manipulations algorithms for the traversal of a FSM can be sublinear in the number of state and input patterns for some classes of machines.
54
Grammar-based specification and synthesis for synchronous digital hardware design
Andrew Seawright
- 15 Dec 1994
TL;DR: This thesis presents a new behavioral system for the synthesis of synchronous digital hardware from an applicative grammar-based specification language that represents control flow in an implicit manner.
21
Experience with a regular expression compiler
Anna R. Karlin,Howard W. Trickey,Jeffrey D. Ullman +2 more
- 01 Jun 1983
TL;DR: The translation of regular expressions into nondeterministic automata by two different methods is discussed, along with the advantages of each method.
16
Related Papers (5)
Johnny Öberg,A. Kumar,Ahmed Hemani +2 more
- 06 Nov 1996
James A. Rowson,Alberto Sangiovanni-Vincentelli +1 more
- 13 Jun 1997
Alfred V. Aho,Ravi Sethi,Jeffrey D. Ullman +2 more
- 01 Jan 1986