Synchronous extensions to operation-centric hardware description languages

Proceedings - 2nd ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'04

Volumn , Issue , 2004, Pages 49-56

  Nordin, Grace ^a   Hoe, James C ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER HARDWARE; HIGH LEVEL LANGUAGES; INTERFACES (COMPUTER);

ABSTRACT TRANSITION SYSTEM (ATS); ATOMIC STATE TRANSITIONS; SYNCHRONOUS EXTENSIONS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 28344444237     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. L. Augustsson, et al. Bluespec: Language definition. http://www.bluespec. org, 2001.
2. F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
3. A. Benveniste, et al. The synchronous languages twelve years later. Proc of IEEE, 91 (1), Jan 2003.
4. R. A. Bergamaschi. Behavioral synthesis: An overview. TR 20944, IBM T.J. Watson Research Center, Aug 1997.
5. G. Berry. Proof, Language and Interaction: Essays in Honour of Robin Milner, chapter The Foundations of Esterel. MIT Press, 2000.
6. K. M. Chandy and J. Misra. Parallel Program Design. Addison-Wesley, 1988.
7. E. W. Dijkstra. Guarded commands, nondeterminacy, and formal derivation of programs. In Comm of ACM, volume 18(8), Aug 1975.
8. N. Halbwachs, et al. The synchronous data flow programming language LUSTRE. Proc of IEEE, 79(9), Sept 1991.
9. J. C. Hoe. Operation-Centric Hardware Description and Synthesis. PhD thesis, Massachusetts Institute of Technology, Jun 2000.
10. J. C. Hoe and Arvind. Synthesis of operation-centric hardware descriptions. In International Conference on Computer Aided Design. IEEE, July 2000.
11. P. Le Guernic, et al. Programming real-time applications with SIGNAL. Proc of IEEE, 79(9), Sept 1991.
12. T. Lee et al. Automatic verification of asynchronous circuits. IEEE Design and Test of Computers, 12(1), Spring 1995.
13. A. P. Ravn and J. Staunstrup. Synchronized transitions. TR AAR-219, University of Aarhus, 1987.
14. V. M. Rodrigues and F. R. Wagner. Synchronous transitions and their temporal logic. In Proc. Workshop de Métodos Formais, 1998.
15. J. Staunstrup and M. R. Greenstreet. From high-level descriptions to VLSI circuits. BIT, 28(3), 1988.
16. J. Staunstrup and M. R. Greenstreet. Formal Methods for VLSI Design, chapter 2. Kluwer, 1994.