Flowpaths: Compiling stack-based IR to hardware

[1]  Robert E. Milne,et al.  The formal description technique LOTOS : By P.H.J. van Eijk, C.A. Vissers and M. Diaz, eds. North-Holland, Amsterdam, Netherlands, 1989, Price $102.50 (hardback), ISBN 0-444-87267-1. , 1990 .

[2]  Frédéric Boussinot,et al.  Reactive C: An extension of C to program reactive systems , 1991, Softw. Pract. Exp..

[3]  Stavros Tripakis,et al.  The Tool KRONOS , 1996, Hybrid Systems.

[4]  Robert de Simone,et al.  The SL Synchronous Language , 1996, IEEE Trans. Software Eng..

[5]  Luciano Lavagno,et al.  Hardware-software co-design of embedded systems: the POLIS approach , 1997 .

[6]  Ranga Vemuri,et al.  An Integrated Partitioning and Synthesis System for Dynamically Reconfigurable Multi-FPGA Architectures , 1998, IPPS/SPDP Workshops.

[7]  Richard E. Haskell,et al.  Design of Embedded Systems Using 68HC12/11 Microcontrollers , 1999 .

[8]  Prithviraj Banerjee,et al.  A C compiler for a processor with a reconfigurable functional unit , 2000, FPGA '00.

[9]  Peter Haggar.  Practical Java: Programming Language Guide , 2000 .

[10]  Jonathan W. Valvano.  Embedded Microcomputer Systems: Real Time Interfacing , 2000 .

[11]  Frank Vahid,et al.  Embedded system design - a unified hardware / software introduction , 2001 .

[12]  P. Azema,et al.  The Fomal Description Technique LOTOS , 2001 .

[13]  Giovanni De Micheli,et al.  Applying pointer analysis to the synthesis of hardware from C , 2001 .

[14]  Valery Sklyarov.  Reconfigurable models of finite state machines and their implementation in FPGAs , 2002, J. Syst. Archit..

[15]  Markus Weinhardt,et al.  From C programs to the configure-execute model , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[16]  Richard E. Haskell,et al.  A VHDL--Forth Core for FPGAs , 2004, Microprocess. Microsystems.

[17]  Stephen A. Edwards,et al.  The challenges of hardware synthesis from C-like languages , 2005, Design, Automation and Test in Europe.