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
                }
            }
        }
    }
}