A race-free hardware modeling language

Proceedings - Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'05

Volumn 2005, Issue , 2005, Pages 255-256

  Schaumont, Patrick ^a   Shukla, Sandeep ^b   Verbauwhede, Ingrid ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b VIRGINIA POLYTECHNIC INSTITUTE AND STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE STATE MACHINES WITH DATAPATHS (FSMDS); GEZEL PROGRAMS; HARDWARE DESCRIPTION LANGUAGE; KAHN PRINCIPLE; RACE FREE HARDWARE;

COMPUTER HARDWARE; COMPUTER NETWORKS; COMPUTER SIMULATION; COMPUTER SYSTEMS PROGRAMMING; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33745161081     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MEMCOD.2005.1487930     Document Type: Conference Paper

References (7)

1. G. Kahn, "The semantics of a simple language for parallel programming," Information Processing 74, 1974.
2. N. Lynch, E. Stark, "A proof of the Kahn principle for input/output automata," Information and Computation archive, 82(1):81-92, 1989.
3. S. Edwards, L. Lavagno, E. Lee, A. Sangiovanni-Vincentelli, "Design of Embedded Systems: Formal Models, Validation, and Synthesis," Proceedings of the IEEE, 85(3):366-390, 1997.
4. OSCI, "Non-determinism in SystemC", Ch. 5.6 in "Functional Specification for SystemC 2.0", v. 2.0-Q, http://www.systemc.org
5. GEZEL Homepage, http://www.ee.ucla.edu/~schaum/gezel.
6. Arvind, R. Nikhil, D. Rosenband, N. Dave, "High-level Synthesis: An Essential Ingredient for Designing Complex ASICs," Proc. ICCAD, November 2004.
7. S. Edwards, "High-level Synthesis from the Synchronous Language Esterel," Proc. of the International Workshop of Logic and Synthesis (IWLS), New Orleans, Louisiana, June, 2002.