Se describe cómo generar una banco de pruebas para la simulación de una máquina de estados (FSM) y la subsiguiente creación de una señal de reloj Gadea Gironés, R. (2016). SIMULACIÓN FSM: SIMULACIÓN RTL BÁSICA. https://riunet.upv.es/handle/10251/65051 DER