Al parecer permite hacer backannotation y además sería un simulador más rápido que los mejores simuladores comerciales.