metaonly module ti.catalog.msp430.MSP430F5419
index URL

MSP430F5419 CPU definition

XDCspec summary sourced in ti/catalog/msp430/MSP430F5419.xdc
metaonly module MSP430F5419 {  ...
// inherits ti.catalog.msp430.IMSP430F54xx
    // inherits ti.catalog.msp430.IMSP430
        // inherits ti.catalog.ICpuDataSheet
            // inherits xdc.platform.ICpuDataSheet
instance:  ...
XDCscript usage meta-domain
var MSP430F5419 = xdc.useModule('ti.catalog.msp430.MSP430F5419');
module-wide constants & types
    var obj = new MSP430F5419.Timer// ;
        obj.name = String  ...
        obj.baseAddr = UInt  ...
        obj.intNum = UInt  ...
per-instance config parameters
    var params = new MSP430F5419.Params// Instance config-params object;
        params.commonMap// Memory map elements shared by all MSP430F54xx devices = IPlatform.Memory[string] [
        [
            "PERIPHERALS",
            {
                comment: "Memory mapped peripherals",
                name: "PERIPHERALS",
                base: 0x0,
                len: 0x1000,
                space: "io",
                access: "RW"
            }
        ],
        [
            "BSL",
            {
                comment: "Bootstrap loader (flash)",
                name: "BSL",
                base: 0x1000,
                len: 0x800,
                space: "code",
                access: "RW"
            }
        ],
        [
            "INFO",
            {
                comment: "Information memory (flash)",
                name: "INFO",
                base: 0x1800,
                len: 0x200,
                space: "data",
                access: "RW"
            }
        ],
        [
            "INT00",
            {
                comment: "Reserved Vector",
                name: "INT00",
                base: 0xFF80,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT01",
            {
                comment: "Reserved Vector",
                name: "INT01",
                base: 0xFF82,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT02",
            {
                comment: "Reserved Vector",
                name: "INT02",
                base: 0xFF84,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT03",
            {
                comment: "Reserved Vector",
                name: "INT03",
                base: 0xFF86,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT04",
            {
                comment: "Reserved Vector",
                name: "INT04",
                base: 0xFF88,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT05",
            {
                comment: "Reserved Vector",
                name: "INT05",
                base: 0xFF8A,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT06",
            {
                comment: "Reserved Vector",
                name: "INT06",
                base: 0xFF8C,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT07",
            {
                comment: "Reserved Vector",
                name: "INT07",
                base: 0xFF8E,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT08",
            {
                comment: "Reserved Vector",
                name: "INT08",
                base: 0xFF90,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT09",
            {
                comment: "Reserved Vector",
                name: "INT09",
                base: 0xFF92,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT10",
            {
                comment: "Reserved Vector",
                name: "INT10",
                base: 0xFF94,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT11",
            {
                comment: "Reserved Vector",
                name: "INT11",
                base: 0xFF96,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT12",
            {
                comment: "Reserved Vector",
                name: "INT12",
                base: 0xFF98,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT13",
            {
                comment: "Reserved Vector",
                name: "INT13",
                base: 0xFF9A,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT14",
            {
                comment: "Reserved Vector",
                name: "INT14",
                base: 0xFF9C,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT15",
            {
                comment: "Reserved Vector",
                name: "INT15",
                base: 0xFF9E,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT16",
            {
                comment: "Reserved Vector",
                name: "INT16",
                base: 0xFFA0,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT17",
            {
                comment: "Reserved Vector",
                name: "INT17",
                base: 0xFFA2,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT18",
            {
                comment: "Reserved Vector",
                name: "INT18",
                base: 0xFFA4,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT19",
            {
                comment: "Reserved Vector",
                name: "INT19",
                base: 0xFFA6,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT20",
            {
                comment: "Reserved Vector",
                name: "INT20",
                base: 0xFFA8,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT21",
            {
                comment: "Reserved Vector",
                name: "INT21",
                base: 0xFFAA,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT22",
            {
                comment: "Reserved Vector",
                name: "INT22",
                base: 0xFFAC,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT23",
            {
                comment: "Reserved Vector",
                name: "INT23",
                base: 0xFFAE,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT24",
            {
                comment: "Reserved Vector",
                name: "INT24",
                base: 0xFFB0,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT25",
            {
                comment: "Reserved Vector",
                name: "INT25",
                base: 0xFFB2,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT26",
            {
                comment: "Reserved Vector",
                name: "INT26",
                base: 0xFFB4,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT27",
            {
                comment: "Reserved Vector",
                name: "INT27",
                base: 0xFFB6,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT28",
            {
                comment: "Reserved Vector",
                name: "INT28",
                base: 0xFFB8,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT29",
            {
                comment: "Reserved Vector",
                name: "INT29",
                base: 0xFFBA,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT30",
            {
                comment: "Reserved Vector",
                name: "INT30",
                base: 0xFFBC,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT31",
            {
                comment: "Reserved Vector",
                name: "INT31",
                base: 0xFFBE,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT32",
            {
                comment: "Reserved Vector",
                name: "INT32",
                base: 0xFFC0,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT33",
            {
                comment: "Reserved Vector",
                name: "INT33",
                base: 0xFFC2,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT34",
            {
                comment: "Reserved Vector",
                name: "INT34",
                base: 0xFFC4,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT35",
            {
                comment: "Reserved Vector",
                name: "INT35",
                base: 0xFFC6,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT36",
            {
                comment: "Reserved Vector",
                name: "INT36",
                base: 0xFFC8,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT37",
            {
                comment: "Reserved Vector",
                name: "INT37",
                base: 0xFFCA,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT38",
            {
                comment: "Reserved Vector",
                name: "INT38",
                base: 0xFFCC,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT39",
            {
                comment: "Reserved Vector",
                name: "INT39",
                base: 0xFFCE,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT40",
            {
                comment: "Reserved Vector",
                name: "INT40",
                base: 0xFFD0,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT41",
            {
                comment: "RTC_A Vector",
                name: "INT41",
                base: 0xFFD2,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT42",
            {
                comment: "I/O Port P2 Vector",
                name: "INT42",
                base: 0xFFD4,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT43",
            {
                comment: "USCI_B3 Receive/Transmit Vector",
                name: "INT43",
                base: 0xFFD6,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT44",
            {
                comment: "USCI_A3 Receive/Transmit Vector",
                name: "INT44",
                base: 0xFFD8,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT45",
            {
                comment: "USCI_B1 Receive/Transmit Vector",
                name: "INT45",
                base: 0xFFDA,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT46",
            {
                comment: "USCI_A1 Receive/Transmit Vector",
                name: "INT46",
                base: 0xFFDC,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT47",
            {
                comment: "I/O Port P1 Vector",
                name: "INT47",
                base: 0xFFDE,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT48",
            {
                comment: "TA1 CCR1-CCR2 Vector",
                name: "INT48",
                base: 0xFFE0,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT49",
            {
                comment: "TA1 CCR0 Vector",
                name: "INT49",
                base: 0xFFE2,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT50",
            {
                comment: "DMA Vector",
                name: "INT50",
                base: 0xFFE4,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT51",
            {
                comment: "USCI_B2 Receive/Transmit Vector",
                name: "INT51",
                base: 0xFFE6,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT52",
            {
                comment: "USCI_A2 Receive/Transmit Vector",
                name: "INT52",
                base: 0xFFE8,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT53",
            {
                comment: "TA0 CCR1-CCR4 Vector",
                name: "INT53",
                base: 0xFFEA,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT54",
            {
                comment: "TA0 CCR0 Vector",
                name: "INT54",
                base: 0xFFEC,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT55",
            {
                comment: "ADC12_A Vector",
                name: "INT55",
                base: 0xFFEE,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT56",
            {
                comment: "USCI_B0 Receive/Transmit Vector",
                name: "INT56",
                base: 0xFFF0,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT57",
            {
                comment: "USCI_A0 Receive/Transmit Vector",
                name: "INT57",
                base: 0xFFF2,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT58",
            {
                comment: "Watchdog Timer_A Interval Timer Mode Vector",
                name: "INT58",
                base: 0xFFF4,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT59",
            {
                comment: "TB0 CCR1-CCR6 Vector",
                name: "INT59",
                base: 0xFFF6,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT60",
            {
                comment: "TB0 CCR0 Vector",
                name: "INT60",
                base: 0xFFF8,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT61",
            {
                comment: "User NMI Vector",
                name: "INT61",
                base: 0xFFFA,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT62",
            {
                comment: "System NMI Vector",
                name: "INT62",
                base: 0xFFFC,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "RESET",
            {
                comment: "Reset Vector",
                name: "RESET",
                base: 0xFFFE,
                len: 0x2,
                space: "data"
            }
        ]
    ];
        params.cpuCore// A string identifying the CPU Core = String "MSP430";
        params.cpuCoreRevision// A string that uniquely identifies a revision of the core = String "1.0";
        params.dataWordSize// The size of an int on the target in 8-bit bytes = Int 2;
        params.isa//  = String "430";
        params.memMap// The default memory map for this device = IPlatform.Memory[string] [
        [
            "RAM",
            {
                comment: "Data RAM",
                name: "RAM",
                base: 0x1C00,
                len: 0x4000,
                space: "code/data",
                access: "RWX"
            }
        ],
        [
            "FLASH",
            {
                comment: "Program FLASH",
                name: "FLASH",
                base: 0x5C00,
                len: 0xA380,
                space: "code",
                access: "RWX"
            }
        ],
        [
            "FLASH2",
            {
                comment: "Extended Program FLASH",
                name: "FLASH2",
                base: 0x10000,
                len: 0x15C00,
                space: "code",
                access: "RWX"
            }
        ]
    ];
        params.minDataUnitSize// The minimum addressable data unit size in 8-bit bytes = Int 1;
        params.minProgUnitSize// The minimum addressable program unit size in 8-bit bytes = Int 1;
        params.timers//  = IMSP430F54xx.Timer[3] [
        {
            name: "Timer0_A5",
            baseAddr: 0x340,
            intNum: 54
        },
        {
            name: "Timer1_A3",
            baseAddr: 0x380,
            intNum: 49
        },
        {
            name: "Timer0_B7",
            baseAddr: 0x3C0,
            intNum: 60
        }
    ];
per-instance creation
    var inst = MSP430F5419.create// Create an instance-object( String revision, params );
per-instance functions
    inst.getMemoryMap// Get the memory map that corresponds to the values of the specified registers( Any registers ) returns Any
    inst.getRegisterSet// The set of valid register names for this CPU( ) returns Any
 
XDCspec declarations sourced in ti/catalog/msp430/MSP430F5419.xdc
package ti.catalog.msp430;
 
metaonly module MSP430F5419 inherits IMSP430F54xx {
module-wide constants & types
    metaonly struct Timer//  {
        String name;
        UInt baseAddr;
        UInt intNum;
    };
 
 
instance:
per-instance config parameters
    config IPlatform.Memory commonMap// Memory map elements shared by all MSP430F54xx devices[string] = [
        [
            "PERIPHERALS",
            {
                comment: "Memory mapped peripherals",
                name: "PERIPHERALS",
                base: 0x0,
                len: 0x1000,
                space: "io",
                access: "RW"
            }
        ],
        [
            "BSL",
            {
                comment: "Bootstrap loader (flash)",
                name: "BSL",
                base: 0x1000,
                len: 0x800,
                space: "code",
                access: "RW"
            }
        ],
        [
            "INFO",
            {
                comment: "Information memory (flash)",
                name: "INFO",
                base: 0x1800,
                len: 0x200,
                space: "data",
                access: "RW"
            }
        ],
        [
            "INT00",
            {
                comment: "Reserved Vector",
                name: "INT00",
                base: 0xFF80,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT01",
            {
                comment: "Reserved Vector",
                name: "INT01",
                base: 0xFF82,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT02",
            {
                comment: "Reserved Vector",
                name: "INT02",
                base: 0xFF84,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT03",
            {
                comment: "Reserved Vector",
                name: "INT03",
                base: 0xFF86,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT04",
            {
                comment: "Reserved Vector",
                name: "INT04",
                base: 0xFF88,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT05",
            {
                comment: "Reserved Vector",
                name: "INT05",
                base: 0xFF8A,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT06",
            {
                comment: "Reserved Vector",
                name: "INT06",
                base: 0xFF8C,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT07",
            {
                comment: "Reserved Vector",
                name: "INT07",
                base: 0xFF8E,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT08",
            {
                comment: "Reserved Vector",
                name: "INT08",
                base: 0xFF90,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT09",
            {
                comment: "Reserved Vector",
                name: "INT09",
                base: 0xFF92,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT10",
            {
                comment: "Reserved Vector",
                name: "INT10",
                base: 0xFF94,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT11",
            {
                comment: "Reserved Vector",
                name: "INT11",
                base: 0xFF96,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT12",
            {
                comment: "Reserved Vector",
                name: "INT12",
                base: 0xFF98,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT13",
            {
                comment: "Reserved Vector",
                name: "INT13",
                base: 0xFF9A,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT14",
            {
                comment: "Reserved Vector",
                name: "INT14",
                base: 0xFF9C,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT15",
            {
                comment: "Reserved Vector",
                name: "INT15",
                base: 0xFF9E,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT16",
            {
                comment: "Reserved Vector",
                name: "INT16",
                base: 0xFFA0,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT17",
            {
                comment: "Reserved Vector",
                name: "INT17",
                base: 0xFFA2,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT18",
            {
                comment: "Reserved Vector",
                name: "INT18",
                base: 0xFFA4,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT19",
            {
                comment: "Reserved Vector",
                name: "INT19",
                base: 0xFFA6,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT20",
            {
                comment: "Reserved Vector",
                name: "INT20",
                base: 0xFFA8,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT21",
            {
                comment: "Reserved Vector",
                name: "INT21",
                base: 0xFFAA,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT22",
            {
                comment: "Reserved Vector",
                name: "INT22",
                base: 0xFFAC,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT23",
            {
                comment: "Reserved Vector",
                name: "INT23",
                base: 0xFFAE,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT24",
            {
                comment: "Reserved Vector",
                name: "INT24",
                base: 0xFFB0,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT25",
            {
                comment: "Reserved Vector",
                name: "INT25",
                base: 0xFFB2,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT26",
            {
                comment: "Reserved Vector",
                name: "INT26",
                base: 0xFFB4,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT27",
            {
                comment: "Reserved Vector",
                name: "INT27",
                base: 0xFFB6,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT28",
            {
                comment: "Reserved Vector",
                name: "INT28",
                base: 0xFFB8,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT29",
            {
                comment: "Reserved Vector",
                name: "INT29",
                base: 0xFFBA,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT30",
            {
                comment: "Reserved Vector",
                name: "INT30",
                base: 0xFFBC,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT31",
            {
                comment: "Reserved Vector",
                name: "INT31",
                base: 0xFFBE,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT32",
            {
                comment: "Reserved Vector",
                name: "INT32",
                base: 0xFFC0,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT33",
            {
                comment: "Reserved Vector",
                name: "INT33",
                base: 0xFFC2,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT34",
            {
                comment: "Reserved Vector",
                name: "INT34",
                base: 0xFFC4,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT35",
            {
                comment: "Reserved Vector",
                name: "INT35",
                base: 0xFFC6,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT36",
            {
                comment: "Reserved Vector",
                name: "INT36",
                base: 0xFFC8,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT37",
            {
                comment: "Reserved Vector",
                name: "INT37",
                base: 0xFFCA,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT38",
            {
                comment: "Reserved Vector",
                name: "INT38",
                base: 0xFFCC,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT39",
            {
                comment: "Reserved Vector",
                name: "INT39",
                base: 0xFFCE,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT40",
            {
                comment: "Reserved Vector",
                name: "INT40",
                base: 0xFFD0,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT41",
            {
                comment: "RTC_A Vector",
                name: "INT41",
                base: 0xFFD2,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT42",
            {
                comment: "I/O Port P2 Vector",
                name: "INT42",
                base: 0xFFD4,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT43",
            {
                comment: "USCI_B3 Receive/Transmit Vector",
                name: "INT43",
                base: 0xFFD6,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT44",
            {
                comment: "USCI_A3 Receive/Transmit Vector",
                name: "INT44",
                base: 0xFFD8,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT45",
            {
                comment: "USCI_B1 Receive/Transmit Vector",
                name: "INT45",
                base: 0xFFDA,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT46",
            {
                comment: "USCI_A1 Receive/Transmit Vector",
                name: "INT46",
                base: 0xFFDC,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT47",
            {
                comment: "I/O Port P1 Vector",
                name: "INT47",
                base: 0xFFDE,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT48",
            {
                comment: "TA1 CCR1-CCR2 Vector",
                name: "INT48",
                base: 0xFFE0,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT49",
            {
                comment: "TA1 CCR0 Vector",
                name: "INT49",
                base: 0xFFE2,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT50",
            {
                comment: "DMA Vector",
                name: "INT50",
                base: 0xFFE4,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT51",
            {
                comment: "USCI_B2 Receive/Transmit Vector",
                name: "INT51",
                base: 0xFFE6,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT52",
            {
                comment: "USCI_A2 Receive/Transmit Vector",
                name: "INT52",
                base: 0xFFE8,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT53",
            {
                comment: "TA0 CCR1-CCR4 Vector",
                name: "INT53",
                base: 0xFFEA,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT54",
            {
                comment: "TA0 CCR0 Vector",
                name: "INT54",
                base: 0xFFEC,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT55",
            {
                comment: "ADC12_A Vector",
                name: "INT55",
                base: 0xFFEE,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT56",
            {
                comment: "USCI_B0 Receive/Transmit Vector",
                name: "INT56",
                base: 0xFFF0,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT57",
            {
                comment: "USCI_A0 Receive/Transmit Vector",
                name: "INT57",
                base: 0xFFF2,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT58",
            {
                comment: "Watchdog Timer_A Interval Timer Mode Vector",
                name: "INT58",
                base: 0xFFF4,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT59",
            {
                comment: "TB0 CCR1-CCR6 Vector",
                name: "INT59",
                base: 0xFFF6,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT60",
            {
                comment: "TB0 CCR0 Vector",
                name: "INT60",
                base: 0xFFF8,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT61",
            {
                comment: "User NMI Vector",
                name: "INT61",
                base: 0xFFFA,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "INT62",
            {
                comment: "System NMI Vector",
                name: "INT62",
                base: 0xFFFC,
                len: 0x2,
                space: "data"
            }
        ],
        [
            "RESET",
            {
                comment: "Reset Vector",
                name: "RESET",
                base: 0xFFFE,
                len: 0x2,
                space: "data"
            }
        ]
    ];
    override config String cpuCore// A string identifying the CPU Core = "MSP430";
    override config String cpuCoreRevision// A string that uniquely identifies a revision of the core = "1.0";
    override config Int dataWordSize// The size of an int on the target in 8-bit bytes = 2;
    config IPlatform.Memory memMap// The default memory map for this device[string] = [
        [
            "RAM",
            {
                comment: "Data RAM",
                name: "RAM",
                base: 0x1C00,
                len: 0x4000,
                space: "code/data",
                access: "RWX"
            }
        ],
        [
            "FLASH",
            {
                comment: "Program FLASH",
                name: "FLASH",
                base: 0x5C00,
                len: 0xA380,
                space: "code",
                access: "RWX"
            }
        ],
        [
            "FLASH2",
            {
                comment: "Extended Program FLASH",
                name: "FLASH2",
                base: 0x10000,
                len: 0x15C00,
                space: "code",
                access: "RWX"
            }
        ]
    ];
    override config Int minDataUnitSize// The minimum addressable data unit size in 8-bit bytes = 1;
    override config Int minProgUnitSize// The minimum addressable program unit size in 8-bit bytes = 1;
    config IMSP430F54xx.Timer timers// [3] = [
        {
            name: "Timer0_A5",
            baseAddr: 0x340,
            intNum: 54
        },
        {
            name: "Timer1_A3",
            baseAddr: 0x380,
            intNum: 49
        },
        {
            name: "Timer0_B7",
            baseAddr: 0x3C0,
            intNum: 60
        }
    ];
per-instance creation
    create// Create an instance-object( String revision );
per-instance functions
    function getMemoryMap// Get the memory map that corresponds to the values of the specified registers( registers );
    function getRegisterSet// The set of valid register names for this CPU( );
}
 
struct MSP430F5419.Timer
index URL
XDCscript usage meta-domain
var obj = new MSP430F5419.Timer;
 
    obj.name = String  ...
    obj.baseAddr = UInt  ...
    obj.intNum = UInt  ...
 
 
per-instance config parameters
index URL

XDCscript usage meta-domain
var params = new MSP430F5419.Params;
// Instance config-params object
    params.commonMap = IPlatform.Memory[string] [
    // Memory map elements shared by all MSP430F54xx devices
    [
        "PERIPHERALS",
        {
            comment: "Memory mapped peripherals",
            name: "PERIPHERALS",
            base: 0x0,
            len: 0x1000,
            space: "io",
            access: "RW"
        }
    ],
    [
        "BSL",
        {
            comment: "Bootstrap loader (flash)",
            name: "BSL",
            base: 0x1000,
            len: 0x800,
            space: "code",
            access: "RW"
        }
    ],
    [
        "INFO",
        {
            comment: "Information memory (flash)",
            name: "INFO",
            base: 0x1800,
            len: 0x200,
            space: "data",
            access: "RW"
        }
    ],
    [
        "INT00",
        {
            comment: "Reserved Vector",
            name: "INT00",
            base: 0xFF80,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT01",
        {
            comment: "Reserved Vector",
            name: "INT01",
            base: 0xFF82,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT02",
        {
            comment: "Reserved Vector",
            name: "INT02",
            base: 0xFF84,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT03",
        {
            comment: "Reserved Vector",
            name: "INT03",
            base: 0xFF86,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT04",
        {
            comment: "Reserved Vector",
            name: "INT04",
            base: 0xFF88,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT05",
        {
            comment: "Reserved Vector",
            name: "INT05",
            base: 0xFF8A,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT06",
        {
            comment: "Reserved Vector",
            name: "INT06",
            base: 0xFF8C,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT07",
        {
            comment: "Reserved Vector",
            name: "INT07",
            base: 0xFF8E,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT08",
        {
            comment: "Reserved Vector",
            name: "INT08",
            base: 0xFF90,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT09",
        {
            comment: "Reserved Vector",
            name: "INT09",
            base: 0xFF92,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT10",
        {
            comment: "Reserved Vector",
            name: "INT10",
            base: 0xFF94,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT11",
        {
            comment: "Reserved Vector",
            name: "INT11",
            base: 0xFF96,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT12",
        {
            comment: "Reserved Vector",
            name: "INT12",
            base: 0xFF98,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT13",
        {
            comment: "Reserved Vector",
            name: "INT13",
            base: 0xFF9A,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT14",
        {
            comment: "Reserved Vector",
            name: "INT14",
            base: 0xFF9C,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT15",
        {
            comment: "Reserved Vector",
            name: "INT15",
            base: 0xFF9E,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT16",
        {
            comment: "Reserved Vector",
            name: "INT16",
            base: 0xFFA0,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT17",
        {
            comment: "Reserved Vector",
            name: "INT17",
            base: 0xFFA2,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT18",
        {
            comment: "Reserved Vector",
            name: "INT18",
            base: 0xFFA4,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT19",
        {
            comment: "Reserved Vector",
            name: "INT19",
            base: 0xFFA6,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT20",
        {
            comment: "Reserved Vector",
            name: "INT20",
            base: 0xFFA8,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT21",
        {
            comment: "Reserved Vector",
            name: "INT21",
            base: 0xFFAA,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT22",
        {
            comment: "Reserved Vector",
            name: "INT22",
            base: 0xFFAC,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT23",
        {
            comment: "Reserved Vector",
            name: "INT23",
            base: 0xFFAE,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT24",
        {
            comment: "Reserved Vector",
            name: "INT24",
            base: 0xFFB0,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT25",
        {
            comment: "Reserved Vector",
            name: "INT25",
            base: 0xFFB2,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT26",
        {
            comment: "Reserved Vector",
            name: "INT26",
            base: 0xFFB4,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT27",
        {
            comment: "Reserved Vector",
            name: "INT27",
            base: 0xFFB6,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT28",
        {
            comment: "Reserved Vector",
            name: "INT28",
            base: 0xFFB8,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT29",
        {
            comment: "Reserved Vector",
            name: "INT29",
            base: 0xFFBA,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT30",
        {
            comment: "Reserved Vector",
            name: "INT30",
            base: 0xFFBC,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT31",
        {
            comment: "Reserved Vector",
            name: "INT31",
            base: 0xFFBE,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT32",
        {
            comment: "Reserved Vector",
            name: "INT32",
            base: 0xFFC0,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT33",
        {
            comment: "Reserved Vector",
            name: "INT33",
            base: 0xFFC2,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT34",
        {
            comment: "Reserved Vector",
            name: "INT34",
            base: 0xFFC4,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT35",
        {
            comment: "Reserved Vector",
            name: "INT35",
            base: 0xFFC6,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT36",
        {
            comment: "Reserved Vector",
            name: "INT36",
            base: 0xFFC8,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT37",
        {
            comment: "Reserved Vector",
            name: "INT37",
            base: 0xFFCA,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT38",
        {
            comment: "Reserved Vector",
            name: "INT38",
            base: 0xFFCC,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT39",
        {
            comment: "Reserved Vector",
            name: "INT39",
            base: 0xFFCE,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT40",
        {
            comment: "Reserved Vector",
            name: "INT40",
            base: 0xFFD0,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT41",
        {
            comment: "RTC_A Vector",
            name: "INT41",
            base: 0xFFD2,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT42",
        {
            comment: "I/O Port P2 Vector",
            name: "INT42",
            base: 0xFFD4,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT43",
        {
            comment: "USCI_B3 Receive/Transmit Vector",
            name: "INT43",
            base: 0xFFD6,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT44",
        {
            comment: "USCI_A3 Receive/Transmit Vector",
            name: "INT44",
            base: 0xFFD8,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT45",
        {
            comment: "USCI_B1 Receive/Transmit Vector",
            name: "INT45",
            base: 0xFFDA,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT46",
        {
            comment: "USCI_A1 Receive/Transmit Vector",
            name: "INT46",
            base: 0xFFDC,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT47",
        {
            comment: "I/O Port P1 Vector",
            name: "INT47",
            base: 0xFFDE,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT48",
        {
            comment: "TA1 CCR1-CCR2 Vector",
            name: "INT48",
            base: 0xFFE0,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT49",
        {
            comment: "TA1 CCR0 Vector",
            name: "INT49",
            base: 0xFFE2,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT50",
        {
            comment: "DMA Vector",
            name: "INT50",
            base: 0xFFE4,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT51",
        {
            comment: "USCI_B2 Receive/Transmit Vector",
            name: "INT51",
            base: 0xFFE6,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT52",
        {
            comment: "USCI_A2 Receive/Transmit Vector",
            name: "INT52",
            base: 0xFFE8,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT53",
        {
            comment: "TA0 CCR1-CCR4 Vector",
            name: "INT53",
            base: 0xFFEA,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT54",
        {
            comment: "TA0 CCR0 Vector",
            name: "INT54",
            base: 0xFFEC,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT55",
        {
            comment: "ADC12_A Vector",
            name: "INT55",
            base: 0xFFEE,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT56",
        {
            comment: "USCI_B0 Receive/Transmit Vector",
            name: "INT56",
            base: 0xFFF0,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT57",
        {
            comment: "USCI_A0 Receive/Transmit Vector",
            name: "INT57",
            base: 0xFFF2,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT58",
        {
            comment: "Watchdog Timer_A Interval Timer Mode Vector",
            name: "INT58",
            base: 0xFFF4,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT59",
        {
            comment: "TB0 CCR1-CCR6 Vector",
            name: "INT59",
            base: 0xFFF6,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT60",
        {
            comment: "TB0 CCR0 Vector",
            name: "INT60",
            base: 0xFFF8,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT61",
        {
            comment: "User NMI Vector",
            name: "INT61",
            base: 0xFFFA,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT62",
        {
            comment: "System NMI Vector",
            name: "INT62",
            base: 0xFFFC,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "RESET",
        {
            comment: "Reset Vector",
            name: "RESET",
            base: 0xFFFE,
            len: 0x2,
            space: "data"
        }
    ]
];
    params.cpuCore = String "MSP430";
    // A string identifying the CPU Core
    params.cpuCoreRevision = String "1.0";
    // A string that uniquely identifies a revision of the core
    params.dataWordSize = Int 2;
    // The size of an int on the target in 8-bit bytes
    params.isa = String "430";
    // 
    params.memMap = IPlatform.Memory[string] [
    // The default memory map for this device
    [
        "RAM",
        {
            comment: "Data RAM",
            name: "RAM",
            base: 0x1C00,
            len: 0x4000,
            space: "code/data",
            access: "RWX"
        }
    ],
    [
        "FLASH",
        {
            comment: "Program FLASH",
            name: "FLASH",
            base: 0x5C00,
            len: 0xA380,
            space: "code",
            access: "RWX"
        }
    ],
    [
        "FLASH2",
        {
            comment: "Extended Program FLASH",
            name: "FLASH2",
            base: 0x10000,
            len: 0x15C00,
            space: "code",
            access: "RWX"
        }
    ]
];
    params.minDataUnitSize = Int 1;
    // The minimum addressable data unit size in 8-bit bytes
    params.minProgUnitSize = Int 1;
    // The minimum addressable program unit size in 8-bit bytes
    params.timers = IMSP430F54xx.Timer[3] [
    // 
    {
        name: "Timer0_A5",
        baseAddr: 0x340,
        intNum: 54
    },
    {
        name: "Timer1_A3",
        baseAddr: 0x380,
        intNum: 49
    },
    {
        name: "Timer0_B7",
        baseAddr: 0x3C0,
        intNum: 60
    }
];
 
config MSP430F5419.commonMap  // per-instance
index URL

Memory map elements shared by all MSP430F54xx devices

XDCscript usage meta-domain
var params = new MSP430F5419.Params;
  ...
params.commonMap = IPlatform.Memory[string] [
    [
        "PERIPHERALS",
        {
            comment: "Memory mapped peripherals",
            name: "PERIPHERALS",
            base: 0x0,
            len: 0x1000,
            space: "io",
            access: "RW"
        }
    ],
    [
        "BSL",
        {
            comment: "Bootstrap loader (flash)",
            name: "BSL",
            base: 0x1000,
            len: 0x800,
            space: "code",
            access: "RW"
        }
    ],
    [
        "INFO",
        {
            comment: "Information memory (flash)",
            name: "INFO",
            base: 0x1800,
            len: 0x200,
            space: "data",
            access: "RW"
        }
    ],
    [
        "INT00",
        {
            comment: "Reserved Vector",
            name: "INT00",
            base: 0xFF80,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT01",
        {
            comment: "Reserved Vector",
            name: "INT01",
            base: 0xFF82,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT02",
        {
            comment: "Reserved Vector",
            name: "INT02",
            base: 0xFF84,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT03",
        {
            comment: "Reserved Vector",
            name: "INT03",
            base: 0xFF86,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT04",
        {
            comment: "Reserved Vector",
            name: "INT04",
            base: 0xFF88,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT05",
        {
            comment: "Reserved Vector",
            name: "INT05",
            base: 0xFF8A,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT06",
        {
            comment: "Reserved Vector",
            name: "INT06",
            base: 0xFF8C,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT07",
        {
            comment: "Reserved Vector",
            name: "INT07",
            base: 0xFF8E,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT08",
        {
            comment: "Reserved Vector",
            name: "INT08",
            base: 0xFF90,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT09",
        {
            comment: "Reserved Vector",
            name: "INT09",
            base: 0xFF92,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT10",
        {
            comment: "Reserved Vector",
            name: "INT10",
            base: 0xFF94,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT11",
        {
            comment: "Reserved Vector",
            name: "INT11",
            base: 0xFF96,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT12",
        {
            comment: "Reserved Vector",
            name: "INT12",
            base: 0xFF98,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT13",
        {
            comment: "Reserved Vector",
            name: "INT13",
            base: 0xFF9A,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT14",
        {
            comment: "Reserved Vector",
            name: "INT14",
            base: 0xFF9C,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT15",
        {
            comment: "Reserved Vector",
            name: "INT15",
            base: 0xFF9E,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT16",
        {
            comment: "Reserved Vector",
            name: "INT16",
            base: 0xFFA0,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT17",
        {
            comment: "Reserved Vector",
            name: "INT17",
            base: 0xFFA2,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT18",
        {
            comment: "Reserved Vector",
            name: "INT18",
            base: 0xFFA4,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT19",
        {
            comment: "Reserved Vector",
            name: "INT19",
            base: 0xFFA6,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT20",
        {
            comment: "Reserved Vector",
            name: "INT20",
            base: 0xFFA8,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT21",
        {
            comment: "Reserved Vector",
            name: "INT21",
            base: 0xFFAA,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT22",
        {
            comment: "Reserved Vector",
            name: "INT22",
            base: 0xFFAC,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT23",
        {
            comment: "Reserved Vector",
            name: "INT23",
            base: 0xFFAE,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT24",
        {
            comment: "Reserved Vector",
            name: "INT24",
            base: 0xFFB0,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT25",
        {
            comment: "Reserved Vector",
            name: "INT25",
            base: 0xFFB2,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT26",
        {
            comment: "Reserved Vector",
            name: "INT26",
            base: 0xFFB4,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT27",
        {
            comment: "Reserved Vector",
            name: "INT27",
            base: 0xFFB6,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT28",
        {
            comment: "Reserved Vector",
            name: "INT28",
            base: 0xFFB8,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT29",
        {
            comment: "Reserved Vector",
            name: "INT29",
            base: 0xFFBA,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT30",
        {
            comment: "Reserved Vector",
            name: "INT30",
            base: 0xFFBC,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT31",
        {
            comment: "Reserved Vector",
            name: "INT31",
            base: 0xFFBE,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT32",
        {
            comment: "Reserved Vector",
            name: "INT32",
            base: 0xFFC0,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT33",
        {
            comment: "Reserved Vector",
            name: "INT33",
            base: 0xFFC2,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT34",
        {
            comment: "Reserved Vector",
            name: "INT34",
            base: 0xFFC4,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT35",
        {
            comment: "Reserved Vector",
            name: "INT35",
            base: 0xFFC6,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT36",
        {
            comment: "Reserved Vector",
            name: "INT36",
            base: 0xFFC8,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT37",
        {
            comment: "Reserved Vector",
            name: "INT37",
            base: 0xFFCA,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT38",
        {
            comment: "Reserved Vector",
            name: "INT38",
            base: 0xFFCC,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT39",
        {
            comment: "Reserved Vector",
            name: "INT39",
            base: 0xFFCE,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT40",
        {
            comment: "Reserved Vector",
            name: "INT40",
            base: 0xFFD0,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT41",
        {
            comment: "RTC_A Vector",
            name: "INT41",
            base: 0xFFD2,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT42",
        {
            comment: "I/O Port P2 Vector",
            name: "INT42",
            base: 0xFFD4,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT43",
        {
            comment: "USCI_B3 Receive/Transmit Vector",
            name: "INT43",
            base: 0xFFD6,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT44",
        {
            comment: "USCI_A3 Receive/Transmit Vector",
            name: "INT44",
            base: 0xFFD8,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT45",
        {
            comment: "USCI_B1 Receive/Transmit Vector",
            name: "INT45",
            base: 0xFFDA,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT46",
        {
            comment: "USCI_A1 Receive/Transmit Vector",
            name: "INT46",
            base: 0xFFDC,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT47",
        {
            comment: "I/O Port P1 Vector",
            name: "INT47",
            base: 0xFFDE,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT48",
        {
            comment: "TA1 CCR1-CCR2 Vector",
            name: "INT48",
            base: 0xFFE0,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT49",
        {
            comment: "TA1 CCR0 Vector",
            name: "INT49",
            base: 0xFFE2,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT50",
        {
            comment: "DMA Vector",
            name: "INT50",
            base: 0xFFE4,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT51",
        {
            comment: "USCI_B2 Receive/Transmit Vector",
            name: "INT51",
            base: 0xFFE6,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT52",
        {
            comment: "USCI_A2 Receive/Transmit Vector",
            name: "INT52",
            base: 0xFFE8,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT53",
        {
            comment: "TA0 CCR1-CCR4 Vector",
            name: "INT53",
            base: 0xFFEA,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT54",
        {
            comment: "TA0 CCR0 Vector",
            name: "INT54",
            base: 0xFFEC,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT55",
        {
            comment: "ADC12_A Vector",
            name: "INT55",
            base: 0xFFEE,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT56",
        {
            comment: "USCI_B0 Receive/Transmit Vector",
            name: "INT56",
            base: 0xFFF0,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT57",
        {
            comment: "USCI_A0 Receive/Transmit Vector",
            name: "INT57",
            base: 0xFFF2,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT58",
        {
            comment: "Watchdog Timer_A Interval Timer Mode Vector",
            name: "INT58",
            base: 0xFFF4,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT59",
        {
            comment: "TB0 CCR1-CCR6 Vector",
            name: "INT59",
            base: 0xFFF6,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT60",
        {
            comment: "TB0 CCR0 Vector",
            name: "INT60",
            base: 0xFFF8,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT61",
        {
            comment: "User NMI Vector",
            name: "INT61",
            base: 0xFFFA,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "INT62",
        {
            comment: "System NMI Vector",
            name: "INT62",
            base: 0xFFFC,
            len: 0x2,
            space: "data"
        }
    ],
    [
        "RESET",
        {
            comment: "Reset Vector",
            name: "RESET",
            base: 0xFFFE,
            len: 0x2,
            space: "data"
        }
    ]
];
 
 
config MSP430F5419.cpuCore  // per-instance
index URL

A string identifying the CPU Core

XDCscript usage meta-domain
var params = new MSP430F5419.Params;
  ...
params.cpuCore = String "MSP430";
 
DETAILS
This uniquely identifies the instruction set that the CPU can decode and execute.
 
config MSP430F5419.cpuCoreRevision  // per-instance
index URL

A string that uniquely identifies a revision of the core

XDCscript usage meta-domain
var params = new MSP430F5419.Params;
  ...
params.cpuCoreRevision = String "1.0";
 
 
config MSP430F5419.dataWordSize  // per-instance
index URL

The size of an int on the target in 8-bit bytes

XDCscript usage meta-domain
var params = new MSP430F5419.Params;
  ...
params.dataWordSize = Int 2;
 
 
config MSP430F5419.memMap  // per-instance
index URL

The default memory map for this device

XDCscript usage meta-domain
var params = new MSP430F5419.Params;
  ...
params.memMap = IPlatform.Memory[string] [
    [
        "RAM",
        {
            comment: "Data RAM",
            name: "RAM",
            base: 0x1C00,
            len: 0x4000,
            space: "code/data",
            access: "RWX"
        }
    ],
    [
        "FLASH",
        {
            comment: "Program FLASH",
            name: "FLASH",
            base: 0x5C00,
            len: 0xA380,
            space: "code",
            access: "RWX"
        }
    ],
    [
        "FLASH2",
        {
            comment: "Extended Program FLASH",
            name: "FLASH2",
            base: 0x10000,
            len: 0x15C00,
            space: "code",
            access: "RWX"
        }
    ]
];
 
 
config MSP430F5419.minDataUnitSize  // per-instance
index URL

The minimum addressable data unit size in 8-bit bytes

XDCscript usage meta-domain
var params = new MSP430F5419.Params;
  ...
params.minDataUnitSize = Int 1;
 
 
config MSP430F5419.minProgUnitSize  // per-instance
index URL

The minimum addressable program unit size in 8-bit bytes

XDCscript usage meta-domain
var params = new MSP430F5419.Params;
  ...
params.minProgUnitSize = Int 1;
 
 
config MSP430F5419.timers  // per-instance
index URL
XDCscript usage meta-domain
var params = new MSP430F5419.Params;
  ...
params.timers = IMSP430F54xx.Timer[3] [
    {
        name: "Timer0_A5",
        baseAddr: 0x340,
        intNum: 54
    },
    {
        name: "Timer1_A3",
        baseAddr: 0x380,
        intNum: 49
    },
    {
        name: "Timer0_B7",
        baseAddr: 0x3C0,
        intNum: 60
    }
];
 
 
per-instance creation
index URL

XDCscript usage meta-domain
var params = new MSP430F5419.Params;
// Allocate instance config-params
params.config =   ...
// Assign individual configs
 
var inst = MSP430F5419.create( String revision, params );
// Create an instance-object
ARGUMENTS
revision — a string that identifies revision of the CPU to be created.
DETAILS
A "data sheet" for a CPU allows one to get specific attributes for a CPU programatically; e.g., the memory map of the CPU.
Notice that we don't specify CPU registers when we create a a data-sheet; registers are provided as necessary to the other functions defined in this interface. This allows one to more easily get memory maps for several different setting of the registers, for example.
 
MSP430F5419.getMemoryMap( )  // per-instance
index URL

Get the memory map that corresponds to the values of the specified registers

XDCscript usage meta-domain
inst.getMemoryMap( Any registers ) returns Any
 
ARGUMENTS
registers — a hash of named registers to values at the time an executable is to be loaded (for example)
DETAILS
If a register is not specified and this register can affect the memory map, the register is assumed to be set to its reset value (the value of the register immediately after a CPU reset).
RETURNS
Returns an array of xdc.platform.IPlatform.Memory objects that represent the memory visible to an executable running on the CPU.
 
MSP430F5419.getRegisterSet( )  // per-instance
index URL

The set of valid register names for this CPU

XDCscript usage meta-domain
inst.getRegisterSet( ) returns Any
 
DETAILS
This function returns the complete set of register names that may be passed to the getMemoryMap() function. This function is only used to enable one to write a "requires contract" for the getMemoryMap() function.
RETURNS
Returns an array of valid register names (strings) for this device; only names from this array are valid keys for the registers argument to getMemoryMap().
generated on Fri, 25 Jun 2010 00:02:40 GMT