AtomSim is a multi-target SoC simulation framework written in C++. AtomSim provides a hardware-software co-simulation environment for developing applications and extensions on the Atom platform. It uses the Verilator tool to compile the RTL, which is then linked with the C++-based simulator frontend to simulate the system. The main highlight of AtomSim is a command-line interface to control various aspects of the simulation.  Following is a list of commands that AtomSim supports:

• General commands: set verbosity, enable/disable VCD trace, help, quit, etc.

• Control commands: reset, step, run for specified cycles, run indefinitely, set breakpoint, etc.

• Query commands: info, dump memory contents, load a binary file at the specified address, etc. 

AtomSim also provides information such as register values, instruction disassembly, and current context to aid with debugging. Moreover, AtomSim is designed to be modular with a clearly defined API between the frontend and backend, which makes it extendable to other processors. 

SCAR (Search, Compile, Assert, and Run) is a processor verification framework written in Python. It performs a set of assembly-level tests to verify the processor implementation. Each assembly test usually checks for one particular function of the processor. SCAR does this by examining a state dump after the processor is done executing a test code. This state dump is checked against a set of assertions, generating a final report (as shown to the right). SCAR is also used to verify the RISC-V ISA compliance in this project.

It is a full SoC implementation that contains a single Atom core along with memories, UART, GPIOs, and timers. All the peripherals are connected to the CPU using a Wishbone-B4 bus. Users have the flexibility to disable or enable core features, include IPs, and set memory maps through a config JSON file. 

HydrogenSoC is also proven on Altera and Xilinx FPGAs.