Abstract:
The Abstract Transition System (ATS) is a high-level hardware description framework. ATS’s operation-centric abstraction permits perspicuous descriptions of complex concurrent hardware behavior as a sequence of atomic state transitions. However, non-determinism in the ATS semantics prevents it from capturing the behavior of systems whose correctness depends upon both function and exact synchronous timing. To address this shortcoming, we present two extensions to ATS—committing transitions and synchronously delayed expressions—to support the specification of synchronous behaviors and interfaces. The new synchronous extensions compose naturally with the original ATS. We describe a compilation strategy for the synchronous extensions that leverages existing ATS synthesis capabilities. We also evaluate the new extensions ’ ease of description and synthesis quality in several design examples.
Citations
|
606
|
Term Rewriting and All That
– Baader, Nipkow
- 1998
|
|
336
|
The synchronous data flow programming language
– Halbwachs, Caspi, et al.
- 1991
|
|
278
|
Guarded commands, nondeterminacy, and formal derivation of programs
– Dijkstra
- 1975
|
|
138
|
Parallel program design
– Chandy, Misra
- 1988
|
|
37
|
The synchronous languages twelve years later
– BENVENISTE, CASPI, et al.
- 2003
|
|
15
|
Language and Interaction: Essays in Honour of Robin Milner
– Berry
- 2000
|
|
15
|
Operation-Centric Hardware Description and Synthesis
– Hoe
- 2000
|
|
8
|
Synchronized transitions
– Staunstrup, Greenstreet
- 1990
|
|
8
|
From high-level descriptions to VLSI circuits
– Staunstrup, Greenstreet
- 1988
|
|
5
|
Hoe and Arvind. Synthesis of operation-centric hardware descriptions
– C
- 2000
|
|
3
|
Formal Methods for VLSI Design, chapter 2
– Staunstrup, Greenstreet
- 1990
|
|
2
|
Behavioral synthesis: An overview
– Bergamaschi
- 1997
|
|
2
|
Synchronous transitions and their temporal logic
– Rodrigues, Wagner
- 1998
|
|
1
|
et al. Bluespec: Language definition. http://www.bluespec.org
– Augustsson
- 2001
|
|
1
|
Guernic, et al. Programming real-time applications with SIGNAL
– Le
- 1991
|
|
1
|
et al. Automatic verification of asynchronous circuits
– Lee
- 1995
|
