Atanua Real-Time Logic Simulator