GreenSocs® provides customised Qemu and SystemC virtual platform models to accelerate prototyping and simulation for real-time and critical embedded systems. Our ESL offering includes models of GPUs, CPUs, encryption engines and IP blocks. We provide integrations with scripting tools and all our models adhere to standard based interfaces.GreenSocs® was formed in the open source spirit to accelerate Model Based Design Engineering for embedded systems in Defence, Aerospace, Automotive, Telecom, Wireless, Consumer, IoT, Data transmission, Medical, etc. GreenSocs® has a deep and specialized knowledge of the Xilinx QEMU SystemC integration having worked closely with Xilinx for many years, upstreaming to the Qemu community Xilinx models and features. We can help build, integrate and support your full system models, combining your own and 3rd party IP blocks.