Architectural exploration of digital systems design for FPGAs using C/C++/SystemC specification languages - Silva, Jeferson Santiago da (2015)