Lab builder, revision 1.3.0

Describe a laboratory

A laboratory is a compiled diagram, a model, and a set of bindings from the model's signals onto the drawing's nodes and wires. Everything below is data — the model field names one of the 3 models this application ships, and cannot name anything else.

Manifest

Models: 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"
    }
  ]
}

Manifest is valid and its diagram compiles.

Live circuit period 15

My laboratory

Change an input; step the timeline to watch the logic settle.