Automated clock inference for stream function-based system level specifications

Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT

Volumn 2005, Issue , 2005, Pages 63-70

  Talpin, Jean Pierre ^a   Shukla, Sandeep Kumar ^b  

^a INRIA IRLSA

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

Author keywords

[No Author keywords available]

Indexed keywords

DATA STREAMS; DATAFLOW; DESIGN AUTOMATION; FUNCTIONAL PROGRAMMING LANGUAGE;

AUTOMATA THEORY; COMPUTER PROGRAMMING; DATA STRUCTURES; FUNCTION EVALUATION; MATHEMATICAL TRANSFORMATIONS; SYSTEMS ANALYSIS;

INFERENCE ENGINES;

EID: 33846566306     PISSN: 15526674     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HLDVT.2005.1568815     Document Type: Conference Paper

References (13)

1. J.T. BUCK, S. HA, E.A. LEE AND D.G. MESSERSCHMITT. Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems. In International Journal of Computer Simulation, special issue on Simulation Software Development, v. 4, pp. 155-182. Ablex, 1994.
2. COLACO, J. L., GIRAULT, A., HAMON, G., POUZET, M. Towards a higher-order synchronous dataflow language. In Embedded Software Conference, Springer Verlag lectures notes in computer science, 2004.
3. GAJSKI, D., ZHU, J., DÖMER, R., GERSTLAUER, A., ZHAO, S. SpecC: Specification Language and Methodology. Kluwer Academic Publishers, 2000.
4. GROETKER, T., LIAO, S., MARTIN, G., SWAN, S. System Design with SystemC. Kluwer Academic Publishers, 2002.
5. JANTSCH, A. Modeling embedded systems and SOCs, concurrency and time in models of computation. Morgan Kuafmann Publishers, 2003.
6. LE GUERNIC, P., TALPIN, J.-P., LE LANN, J.-L. "Polychrony for system design". In Journal of Circuits, Systems and Computers. World Scientific, 2002.
7. MATHAIKUTTY, D. A., PATHL, H. D., SHUKLA, S. K. "A functional programming framework of heterogeneous models of computation for system design". In Forum on Specification and Design languages, 2004.
8. MILNER, R., TOFTE, M., HARPER, R. The definition of Standard ML. The MIT Press, Cambridge, 1990.
9. POTOP, D., CAILLAUD, B. "Correct-by-construction asynchronous implementation of modular synchronous specifications". In Applications of Concurrency to System Design. IEEE Press, 2005.
10. SANDER, I. System modeling and design refinement in ForSyde, PhD Thesis. Royal Institute of Technology, 2003.
11. TALPIN, J. P., JOUVELOT P. The type and effect discipline. Information and Computation, v. 115. Academic Press, 1994.
12. BENVENISTE, A., CASPI, P., LE GUERNIC, P., MARCHAND, H., TALPIN, J.-P., TRIPAKIS, S. "A protocol for loosely time-triggered architectures". Embedded Software Conference. Springer Verlag, October 2002.
13. TOFTE, M., TALPIN, J. P. Region-based memory management. Information and. Computation. Academic Press, 1997.