SystemC a set of libraries that extend the C++ language to allow for the design and verification of FPGAs