Constructor de laboratorios, revisión 0.3.5

Describa un laboratorio

Un laboratorio es un diagrama compilado, un modelo y enlaces entre las señales del modelo y los nodos y cables del dibujo. Todo lo siguiente son datos: el campo model indica uno de los 3 modelos incluidos en la aplicación y no puede indicar ningún otro.

Manifiesto

Modelos: adder, bell, lfsr

{
  "id": "my-lab",
  "title": "My laboratory",
  "domain": "digital",
  "model": "lfsr",
  "formula": "b_{next} = Q_3 \\oplus Q_4",
  "source": "clock:CLK \"clk\" at (90, 200) #amber\nflipflop:Q1 \"D1\" at (300, 200) #blue [type=d]\nflipflop:Q2 \"D2\" at (480, 200) #cyan [type=d]\nflipflop:Q3 \"D3\" at (660, 200) #emerald [type=d]\nflipflop:Q4 \"D4\" at (840, 200) #amber [type=d]\n\nCLK.out -> Q1.clock #amber [ortho]\nCLK.out -> Q2.clock #amber [ortho]\nCLK.out -> Q3.clock #amber [ortho]\nCLK.out -> Q4.clock #amber [ortho]\nQ1.q -> Q2.d #blue [line]\nQ2.q -> Q3.d #cyan [line]\nQ3.q -> Q4.d #emerald [line]",
  "inputs": [
    {
      "kind": "number",
      "key": "seed",
      "label": "seed (1–15)",
      "min": 1,
      "max": 15,
      "initial": 9
    }
  ],
  "bindings": [
    {
      "signal": "Q{i}",
      "node": "Q{i}",
      "wire": "Q{i}.q",
      "repeat": {
        "from": 1,
        "to": 4
      }
    }
  ],
  "faults": [
    {
      "key": "movedTap",
      "label": "relocate one feedback tap",
      "reveal": "The taps are no longer primitive, so the sequence closes early."
    }
  ],
  "instruments": [
    {
      "kind": "bits",
      "label": "register",
      "signal": "Q{i}",
      "count": 4,
      "from": 1
    },
    {
      "kind": "readout",
      "label": "period",
      "signal": "period",
      "format": "integer"
    }
  ]
}

El manifiesto es válido y su diagrama compila.

Circuito en tiempo real period 15

My laboratory

Cambie una entrada y avance por la línea de tiempo para observar la estabilización de la lógica.