Files
SLWChipVerify/examples/and_gate_spec.json
2026-04-19 16:14:05 +08:00

53 lines
609 B
JSON

{
"kind": "truth_table",
"inputs": [
"a",
"b"
],
"outputs": [
"f"
],
"cases": [
{
"name": "00",
"in": {
"a": 0,
"b": 0
},
"out": {
"f": 0
}
},
{
"name": "01",
"in": {
"a": 0,
"b": 1
},
"out": {
"f": 0
}
},
{
"name": "10",
"in": {
"a": 1,
"b": 0
},
"out": {
"f": 0
}
},
{
"name": "11",
"in": {
"a": 1,
"b": 1
},
"out": {
"f": 1
}
}
]
}