node-wcets.schema.json

Go to the documentation of this file.

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://nvidia.com/dw/schedule.schema.json",
  "title": "DriveWorks Node WCETs Descriptor",
  "description": "The descriptor of sets of WCETs for DriveWorks nodes. The order of sets should be alphabetical.",
  "type": "object",
  "additionalProperties": false,
  "patternProperties": {
    "^([a-ZA-Z][a-zA-Z0-9_]*|\\*)$": {
      "description": "The key is the set identifier. The value contains a mapping from pass names to WCETs. The order of pass names should be alphabetical.",
      "type": "object",
      "additionalProperties": false,
      "patternProperties": {
        "^[A-Z][A-Z0-9_]*$": {
          "description": "The key is the pass name from the node. The value is the WCET in nanoseconds.",
          "type": "integer",
          "minimum": 0
        }
      }
    }
  }
}