, Litex

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.

B. Bailey, G. Martin, and T. Anderson, Taxonomies for the Development and Verification of Digital Systems, 2010.

, Enjoy-digital

S. Liao, S. Tjiang, and R. Gupta, An efficient implementation of reactivity for modeling hardware in the scenic design environment, Proceedings of the 34th Design Automation Conference, pp.70-75, 1997.

N. Bombieri, F. Fummi, and G. Pravadelli, On the mutation analysis of systemc tlm-2.0 standard, 2009 10th International Workshop on Microprocessor Test and Verification, pp.32-37, 2009.

J. Bachrach, H. Vo, B. Richards, Y. Lee, A. Waterman et al., Chisel: Constructing hardware in a scala embedded language, DAC Design Automation Conference, pp.1212-1221, 2012.

M. Odersky and T. Rompf, Unifying functional and object-oriented programming with Scala, Commun. ACM, vol.57, issue.4, pp.76-86, 2014.

P. Bjesse, K. Claessen, M. Sheeran, and S. Singh, Lava: hardware design in Haskell, in ACM SIGPLAN Notices, vol.34, pp.174-184, 1998.

C. Baaij, M. Kooijman, J. Kuper, A. Boeijink, and M. Gerards, c?ash: Structural descriptions of synchronous hardware using Haskell, in 2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, pp.714-721, 2010.

K. Zhai, R. Townsend, L. Lairmore, M. A. Kim, and S. A. Edwards, Hardware synthesis from a recursive functional language, 2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pp.83-93, 2015.

S. Guccione, D. Levi, and P. Sundararajan, Jbits: A java-based interface for reconfigurable computing, 2nd annual military and aerospace applications of programmable devices and technologies conference (MAPLD), vol.261, pp.1-9, 1999.

K. Jaic and M. C. Smith, Enhancing hardware design flows with MyHDL, Proceedings of the 2015 ACM/SIGDA International Symposium on FieldProgrammable Gate Arrays, FPGA '15, pp.28-31, 2015.

J. Decaluwe, Myhdl: a python-based hardware description language, Linux journal, p.5, 2004.

, Misoc open source project

, ARTIQ open source project

C. Wolf, Picorv32 softcore

, Spinal/vexriscv softcore

, Hdmi2usb, open video capture hardware + firmware

, Micropython, running python on fpga

, An open video development board in a pci express form factor

, AXIOM beta, a professional digital cinema camera built around foss and open hardware licenses

, Pcie screamer, a tlp sniffer/injector

, Trellis : documenting lattice ecp5 bit-stream format

C. Wolf, Yosys open synthesis suite