Cómo modelar y sintetizar circuitos teniendo en cuenta los problemas de tiempo: el caso de un circuito detector de borde

0

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.

  1. Si se asume que la salida de una puerta lógica aparece instantáneamente, entonces la salida del circuito es constantemente 0.

  2. 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

    
pregunta Sasha

0 respuestas

Lea otras preguntas en las etiquetas