{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"type":"object","additionalProperties":false,"required":["verilogEvents"],"properties":{"verilogEvents":{"type":"object","additionalProperties":false,"required":["data","claim"],"properties":{"data":{"type":"object","additionalProperties":false,"required":["initial","processes","stimuli","widths"],"properties":{"initial":{"$ref":"#/properties/artifact/%24defs/s0"},"processes":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":32},"stimuli":{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":512},"widths":{"type":"array","items":{"type":"number"},"maxItems":512}}},"claim":{"anyOf":[{"type":"null"},{"type":"object","additionalProperties":false,"required":["stimuli"],"properties":{"stimuli":{"type":"array","items":{"type":"object","additionalProperties":false,"required":["nonblocking_assignments","process_activations","time","values"],"properties":{"nonblocking_assignments":{"type":"number"},"process_activations":{"type":"number"},"time":{"type":"number"},"values":{"$ref":"#/properties/artifact/%24defs/s0"}}},"maxItems":512}}}]}}}},"$defs":{"json":{"anyOf":[{"type":"null"},{"type":"boolean"},{"type":"number"},{"type":"string","maxLength":6000},{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":512},{"type":"object","maxProperties":128,"additionalProperties":{"$ref":"#/properties/artifact/%24defs/json"}}]},"s0":{"type":"array","items":{"type":"string","maxLength":20000},"maxItems":512}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-06/iverilog12-four-state-active-nonblocking-delta-event-evaluation"}