Antmicro provides engineering services, open source tools, platforms and strategic R&D for high-tech products.

Renode is an open source software development framework with commercial support from Antmicro that lets you develop, debug and test multi-node device systems reliably, scalably and effectively.

Renode strengths:

• full determinism of execution, shared virtual time
• transparent & robust debugging, tracing, analysis, even in multi-node setups
• easy integration with your everyday tools, plugins
• rich model abstractions with additional functionality "for free" + modular platform
  description format
• automated tests and CI integrations, other collaboration features

It lets you run, debug and test unmodified embedded software on your PC - from bare System-on-Chips, through complete devices to multi-node systems.