Uno de los videos de Ben Eater sobre la construcción de una computadora de 8 bits muestra una forma de construir un detector de bordes usando un inversor y una puerta y compuerta: enlace (minutos 7: 40-9: 40).
¿Qué lenguajes de especificación se pueden usar para describir el comportamiento de entrada-salida de un detector de bordes? es decir, uno que tiene en cuenta los problemas de tiempo?
Para ilustrar lo que (no) tengo en mente, considere dos supuestos extremos de tiempo.
-
Si se asume que la salida de una puerta lógica aparece instantáneamente, entonces la salida del circuito es constantemente 0.
-
Si se supone que la salida de una compuerta lógica toma una unidad de tiempo, entonces el circuito emite 1 para exactamente una unidad de tiempo después de las transiciones de entrada de 0 a 1.
¿Existe un lenguaje de modelado que trate los supuestos de tiempo más razonables, como el tiempo descrito en el video? ¿Existe una herramienta que sintetice puertas lógicas para modelos escritos en este idioma?
¿Hay un nombre para este nivel de abstracción? Debería ser más bajo que el enlace