P. Coussy and A. Morawiec, High-Level Synthesis: From Algorithm to Digital Circuit, 2008.

M. Ben-hammouda, P. Coussy, and L. Lagadec, A design approach to automatically synthesize ANSI-C assertions during High-Level Synthesis of hardware accelerators, 2014 IEEE International Symposium on Circuits and Systems (ISCAS), pp.165-168, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00944548

W. Meeus, K. Van-beeck, T. Goedeme, J. Meel, and D. Stroobandt, An overview of today's high-level synthesis tools, Design Automation for Embedded Systems, vol.16, issue.3, pp.31-51, 2012.

. Synopsys, Functional specification for SystemC 2.0, 2002.

S. Swan, An Introduction to System Level Modeling in SystemC 2 . 0, 2001.

S. Vernalde, P. Schaumont, and I. Bolsens, An object oriented programming approach for hardware design, Proceedings. IEEE Computer Society Workshop on VLSI '99. System Design: Towards System-on-a-Chip Paradigm, pp.68-73

T. Kuhn and W. Rosenstiel, Java based object oriented hardware specification and synthesis, Proceedings 2000. Design Automation Conference, pp.579-581

M. Geilen, J. Voeten, P. Van-der-putten, L. Van-bokhoven, and M. Stevens, Object-oriented modelling and specification using SHE, Computer Languages, vol.27, issue.1-3, pp.19-38, 2001.

D. Picard and L. Lagadec, Multi-Level Simulation of Heterogeneous Reconfigurable Platforms, ReCoSoC'08, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00487892

, IEEE Standard for VHDL Register Transfer Level (RTL) Synthesis, IEEE, 2004.

P. Sloot, Model Execution: Event driven versus Time driven

. Wikipedia, Time-driven programming, 2014.

M. Samek, State Machines for Event-Driven Systems, 2009.

D. C. Schmidt and C. D. Cranor, Half-sync/half-async -an architectural pattern for efficient and well-structured concurrent i/o, Proceedings of the 2 nd Annual Conference on the Pattern Languages of Programs, pp.1-10, 1995.

, SystemC

. Wikipedia, Collatz conjecture