{
  "title": "Hardware engine-permit equations",
  "source": "IO_MODULES/DEAD_MAN.md: Logic equations",
  "reference_scope": "documentation only",
  "components": [
    {
      "ref": "VALID",
      "kind": "and-with-inverted-B",
      "pins": [
        "A",
        "B",
        "Y"
      ],
      "value": ""
    },
    {
      "ref": "VALIDP0",
      "kind": "port",
      "pins": [
        "P"
      ],
      "value": "DEADMAN_A_HELD"
    },
    {
      "ref": "VALIDP1",
      "kind": "port",
      "pins": [
        "P"
      ],
      "value": "DEADMAN_B_RELEASED"
    },
    {
      "ref": "VALIDO",
      "kind": "port",
      "pins": [
        "P"
      ],
      "value": "DEADMAN_OK"
    },
    {
      "ref": "PERMIT",
      "kind": "and",
      "pins": [
        "A",
        "B",
        "Y"
      ],
      "value": ""
    },
    {
      "ref": "PERMITP0",
      "kind": "port",
      "pins": [
        "P"
      ],
      "value": "DEADMAN_OK"
    },
    {
      "ref": "PERMITP1",
      "kind": "port",
      "pins": [
        "P"
      ],
      "value": "MCU_RUN_PERMIT"
    },
    {
      "ref": "PERMITO",
      "kind": "port",
      "pins": [
        "P"
      ],
      "value": "ENGINE_PERMIT"
    }
  ],
  "nets": [
    {
      "name": "DEADMAN_A_HELD",
      "connections": [
        "VALID.A",
        "VALIDP0.P"
      ]
    },
    {
      "name": "DEADMAN_B_RELEASED",
      "connections": [
        "VALID.B",
        "VALIDP1.P"
      ]
    },
    {
      "name": "DEADMAN_OK",
      "connections": [
        "VALID.Y",
        "VALIDO.P",
        "PERMIT.A",
        "PERMITP0.P"
      ]
    },
    {
      "name": "MCU_RUN_PERMIT",
      "connections": [
        "PERMIT.B",
        "PERMITP1.P"
      ]
    },
    {
      "name": "ENGINE_PERMIT",
      "connections": [
        "PERMIT.Y",
        "PERMITO.P"
      ]
    }
  ],
  "no_connects": []
}