Execute complete bounded VCD declarations and four-state value changes to anonym...

{ "body": { "artifact": { "vcd": { "claim": null, "data": { "text": "$timescale 10 ns $end\n$scope module top $end\n$var wire 3 ! a [2:0] $end\n$var wire 3 ! alias [2:0] $end\n$var wire 1 \" b $end\n$var real 64 # c $end\n$upscope $end\n$enddefinitions $end\n$dumpvars\nb000 !\n0\"\nr1.5 #\n$end\n#5\nb101 !\n1\"\n#8\nbxx1 !\nr2.0 #\n" } } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 1, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "vcd-four-state-anonymous-signal-transition-timeline_scoped_evidence", "type": "artifact" } ], "limits": [ "Complete caller-supplied anonymous technical artifact; published bounded rules; no external lookup or physical/clinical/security certification." ], "module": "vcd-four-state-anonymous-signal-transition-timeline", "state": "observed", "value": { "claim_matches": false, "computed": { "changes": [ { "signal": 0, "time_ticks": "0", "value": { "high_impedance_bits": 0, "one_bits": 0, "unknown_bits": 0, "zero_bits": 3 } }, { "signal": 1, "time_ticks": "0", "value": { "high_impedance_bits": 0, "one_bits": 0, "unknown_bits": 0, "zero_bits": 1 } }, { "signal": 2, "time_ticks": "0", "value": { "real": 1.5 } }, { "signal": 0, "time_ticks": "5", "value": { "high_impedance_bits": 0, "one_bits": 2, "unknown_bits": 0, "zero_bits": 1 } }, { "signal": 1, "time_ticks": "5", "value": { "high_impedance_bits": 0, "one_bits": 1, "unknown_bits": 0, "zero_bits": 0 } }, { "signal": 0, "time_ticks": "8", "value": { "high_impedance_bits": 0, "one_bits": 1, "unknown_bits": 2, "zero_bits": 0 } }, { "signal": 2, "time_ticks": "8", "value": { "real": 2 } } ], "last_time_ticks": "8", "signals": [ { "aliases": 2, "index": 0, "known_toggles": 2, "real": false, "unknown_transitions": 2, "width": 3 }, { "aliases": 1, "index": 1, "known_toggles": 1, "real": false, "unknown_transitions": 0, "width": 1 }, { "aliases": 1, "index": 2, "known_toggles": 1, "real": true, "unknown_transitions": 0, "width": 64 } ], "timescale_femtoseconds": "10000000" } }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }