Paso 4: Prueba en cincel
Una de las características más fuertes de cincel es lo fácil que es hacer un test completo de cada módulo. Considerar la prueba Mux4 en la imagen de arriba. Bucles sobre todas las entradas posibles. La función poke cambia los valores de las entradas del módulo Mux4. El siguiente es un paso. Esto es necesario sólo para los módulos con los registros pero poner aquí de todos modos para una demostración. Incrementa el reloj en su diseño, pasando por las entradas a través de registros. Finalmente está la función de espera se utiliza para probar. Se espera que la salida de la Mux4 y salida en la prueba de la misma produciendo un "aprobado" o "No" dependiendo del resultado.
Lo bueno de la prueba en cincel es que puede generar en C. Esto permite que sus casos de prueba a realizar rápidamente. En comparación con correr y mirar la forma de onda, es mucho más rápido y más limpio para depurar si escribes con cuidado los casos de prueba.
Te recomiendo tratar los problemas de ejemplo en cincel ahora. Si eres nuevo en diseño de hardware tenga en cuenta que todo es simultáneo. Estás describiendo una estructura en cincel en vez de instrucciones a ejecutar. Ir al siguiente paso después de que usted cree que entiende la estructura básica de cómo escribir algo en cincel.
