Information for FreescaleKinetis64

This page provides detailed information about the freescale.ovpworld.org FreescaleKinetis64 Virtual Platform / Virtual Prototype.

Licensing
Open Source Apache 2.0

Description
Freescale Kinetis K64 platform

Limitations
Only enough functionality modeled to boot MQX. Most peripherals modeled as dummy register ports

Reference
based on document number: K64P144M120SF5RM Rev. 2, Jan 2014

Location
The FreescaleKinetis64 virtual platform is located in an Imperas/OVP installation at the VLNV: freescale.ovpworld.org / platform / FreescaleKinetis64 / 1.0.

Platform Summary

Table 1: Components in platform

Platform Simulation Attributes

Table 2: Platform Simulation Attributes

---

Command Line Control of the Platform

Built-in Arguments

Table 3: Platform Built-in Arguments

When running a platform in a Windows or Linux shell several command arguments can be specified. Typically there is a '-help' command which lists the commands available in the platforms.
For example: myplatform.exe -help

Some command line arguments require a value to be provided.
For example: myplatform.exe -program myimagefile.elf

Platform Specific Command Line Arguments

Table 4: Platform Arguments

---

External Ports for Module FreescaleKinetis64

Table 5: External Ports

---

Processor [arm.ovpworld.org/processor/armm/1.0] instance: cpu

Processor model type: 'armm' variant 'Cortex-M4F' definition
Imperas OVP processor models support multiple variants and details of the variants implemented in this model can be found in:
- the Imperas installation located at ImperasLib/source/arm.ovpworld.org/processor/armm/1.0/doc
- the OVP website: OVP_Model_Specific_Information_armm_Cortex-M4F.pdf

Description
ARMM Processor Model

Licensing
Usage of binary model under license governing simulator usage.
Note that for models of ARM CPUs the license includes the following terms:
Licensee is granted a non-exclusive, worldwide, non-transferable, revocable licence to:
If no source is being provided to the Licensee: use and copy only (no modifications rights are granted) the model for the sole purpose of designing, developing, analyzing, debugging, testing, verifying, validating and optimizing software which: (a) (i) is for ARM based systems; and (ii) does not incorporate the ARM Models or any part thereof; and (b) such ARM Models may not be used to emulate an ARM based system to run application software in a production or live environment.
If source code is being provided to the Licensee: use, copy and modify the model for the sole purpose of designing, developing, analyzing, debugging, testing, verifying, validating and optimizing software which: (a) (i) is for ARM based systems; and (ii) does not incorporate the ARM Models or any part thereof; and (b) such ARM Models may not be used to emulate an ARM based system to run application software in a production or live environment.
In the case of any Licensee who is either or both an academic or educational institution the purposes shall be limited to internal use.
Except to the extent that such activity is permitted by applicable law, Licensee shall not reverse engineer, decompile, or disassemble this model. If this model was provided to Licensee in Europe, Licensee shall not reverse engineer, decompile or disassemble the Model for the purposes of error correction.
The License agreement does not entitle Licensee to manufacture in silicon any product based on this model.
The License agreement does not entitle Licensee to use this model for evaluating the validity of any ARM patent.
The License agreement does not entitle Licensee to use the model to emulate an ARM based system to run application software in a production or live environment.
Source of model available under separate Imperas Software License Agreement.

Limitations
Performance Monitors are not implemented.
Debug Extension and related blocks are not implemented.

Verification
Models have been extensively tested by Imperas. ARM Cortex-M models have been successfully used by customers to simulate the Micrium uC/OS-II kernel and FreeRTOS.

Features
The model is configured with 16 interrupts and 3 priority bits (use override_numInterrupts and override_priorityBits parameters to change these).
Thumb-2 instructions are supported.
MPU is present. Use parameter override_MPU_TYPE to disable it or change the number of MPU regions if required.
SysTick timer is present. Use parameter SysTickPresent to disable it if required.
FPU extension is present. Use parameter override_MVFR0 to disable it if required.
DSP extension is present. Use parameter override_InstructionAttributes3 to disable it if required.
Bit-band region is not present. Use parameter BitBandPresent to enable it if required.

Unpredictable Behavior
Many instruction behaviors are described in the ARM ARM as CONSTRAINED UNPREDICTABLE. This section describes how such situations are handled by this model.

Equal Target Registers
Some instructions allow the specification of two target registers (for example, double-width SMULL, or some VMOV variants), and such instructions are CONSTRAINED UNPREDICTABLE if the same target register is specified in both positions. In this model, such instructions are treated as UNDEFINED.

Floating Point Load/Store Multiple Lists
Instructions that load or store a list of floating point registers (e.g. VSTM, VLDM, VPUSH, VPOP) are CONSTRAINED UNPREDICTABLE if either the uppermost register in the specified range is greater than 32 or (for 64-bit registers) if more than 16 registers are specified. In this model, such instructions are treated as UNDEFINED.

If-Then (IT) Block Constraints
Where the behavior of an instruction in an if-then (IT) block is described as CONSTRAINED UNPREDICTABLE, this model treats that instruction as UNDEFINED.

Use of R13
Use of R13 is described as CONSTRAINED UNPREDICTABLE in many circumstances. This model allows R13 to be used like any other GPR.

Use of R15
Use of R15 is described as CONSTRAINED UNPREDICTABLE in many circumstances. This model allows such use to be configured using the parameter "unpredictableR15" as follows:
Value "undefined": any reference to R15 in such a situation is treated as UNDEFINED;
Value "nop": any reference to R15 in such a situation causes the instruction to be treated as a NOP;
Value "raz_wi": any reference to R15 in such a situation causes the instruction to be treated as a RAZ/WI (that is, R15 is read as zero and write-ignored);
Value "execute": any reference to R15 in such a situation is executed using the current value of R15 on read, and writes to R15 are allowed.
Value "assert": any reference to R15 in such a situation causes the simulation to halt with an assertion message (allowing any such unpredictable uses to be easily identified).
In this variant, the default value of "unpredictableR15" is "execute".

Instance Parameters
Several parameters can be specified when a processor is instanced in a platform. For this processor instance 'cpu' it has been instanced with the following parameters:

Table 6: Processor Instance 'cpu' Parameters (Configurations)

Table 7: Processor Instance 'cpu' Parameters (Attributes)

Memory Map for processor 'cpu' bus: 'pBus'
Processor instance 'cpu' is connected to bus 'pBus' using master port 'INSTRUCTION'.

Processor instance 'cpu' is connected to bus 'pBus' using master port 'DATA'.

Table 8: Memory Map ( 'cpu' / 'pBus' [width: 32] )

Net Connections to processor: 'cpu'

Table 9: Processor Net Connections ( 'cpu' )

---

Peripheral Instances

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisAIPS/1.0] instance: aips0

Description
Model of the AIPS peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisAXBS/1.0] instance: axbs

Description
Model of the AXBS peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisDMA/1.0] instance: dmac

Description
Model of the DMA peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisFB/1.0] instance: flexbus

Description
Model of the FB peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisMPU/1.0] instance: mpu

Description
Model of the MPU peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisFMC/1.0] instance: fmc

Description
Model of the FMC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisDMAMUX/1.0] instance: dmamux0

Description
Model of the DMAMUX peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisDMAMUX/1.0] instance: dmamux1

Description
Model of the DMAMUX peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

Table 10: Configuration options (attributes) set for instance 'dmamux1'

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisCAN/1.0] instance: can0

Description
Model of the CAN peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisSPI/1.0] instance: spi0

Description
Model of the SPI peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisSPI/1.0] instance: spi1

Description
Model of the SPI peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisI2S/1.0] instance: i2s0

Description
Model of the I2S peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisCRC/1.0] instance: crc

Description
Model of the CRC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisUSBHS/1.0] instance: usbhs

Description
Model of the USBHS peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisUSBDCD/1.0] instance: usbdcd

Description
Model of the USBDCD peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisPDB/1.0] instance: pdb

Description
Model of the PDB peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisPIT/1.0] instance: pit

Description
Model of the PIT peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisFTM/1.0] instance: ftm0

Description
Model of the FTM peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisFTM/1.0] instance: ftm1

Description
Model of the FTM peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisADC/1.0] instance: adc0

Description
Model of the ADC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisADC/1.0] instance: adc2

Description
Model of the ADC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisRTC/1.0] instance: rtc

Description
Model of the RTC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisRFVBAT/1.0] instance: vbat

Description
Model of the RFVBAT peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisLPTMR/1.0] instance: lptmr

Description
Model of the LPTMR peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisRFSYS/1.0] instance: rfsys

Description
Model of the RFSYS peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisTSI/1.0] instance: tsi

Description
Model of the TSI peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisSIM/1.0] instance: sim

Description
Model of the SIM peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisPORT/1.0] instance: amux

Description
Model of the PORT peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisPORT/1.0] instance: bmux

Description
Model of the PORT peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisPORT/1.0] instance: cmux

Description
Model of the PORT peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisPORT/1.0] instance: dmux

Description
Model of the PORT peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisPORT/1.0] instance: emux

Description
Model of the PORT peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisPORT/1.0] instance: fmux

Description
Model of the PORT peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisWDOG/1.0] instance: wdog

Description
Model of the WDOG peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisEWM/1.0] instance: ewm

Description
Model of the EWM peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisCMT/1.0] instance: cmt

Description
Model of the CMT peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisMCG/1.0] instance: mcg

Description
Freescale Multipurpose Clock Generator

Limitations
Only models status register reads, based on writes to configuration registers atc register ATME bit is modeled as RAZ/WI

Licensing
Open Source Apache 2.0

Reference
Freescale Kinetis MCG

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisOSC/1.0] instance: osc0

Description
Model of the OSC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisI2C/1.0] instance: i2c0

Description
Model of the I2C peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisI2C/1.0] instance: i2c1

Description
Model of the I2C peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisUART/1.0] instance: uart0

Description
Model of the UART peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

Table 11: Configuration options (attributes) set for instance 'uart0'

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisUART/1.0] instance: uart1

Description
Model of the UART peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

Table 12: Configuration options (attributes) set for instance 'uart1'

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisUART/1.0] instance: uart2

Description
Model of the UART peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

Table 13: Configuration options (attributes) set for instance 'uart2'

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisUART/1.0] instance: uart3

Description
Model of the UART peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

Table 14: Configuration options (attributes) set for instance 'uart3'

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisUSB/1.0] instance: usb

Description
Model of the USB peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisCMP/1.0] instance: cmp0

Description
Model of the CMP peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

Table 15: Configuration options (attributes) set for instance 'cmp0'

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisCMP/1.0] instance: cmp1

Description
Model of the CMP peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

Table 16: Configuration options (attributes) set for instance 'cmp1'

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisCMP/1.0] instance: cmp2

Description
Model of the CMP peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

Table 17: Configuration options (attributes) set for instance 'cmp2'

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisCMP/1.0] instance: cmp3

Description
Model of the CMP peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

Table 18: Configuration options (attributes) set for instance 'cmp3'

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisVREF/1.0] instance: vref

Description
Model of the VREF peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisLLWU/1.0] instance: llwu

Description
Model of the LLWU peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisPMC/1.0] instance: pmc

Description
Model of the PMC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisSMC/1.0] instance: smc

Description
Model of the SMC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisRCM/1.0] instance: rcm

Description
Model of the RCM peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisRNG/1.0] instance: rng

Description
Model of the RNG peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisCAN/1.0] instance: can1

Description
Model of the CAN peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisNFC/1.0] instance: nfc

Description
Model of the NFC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisSPI/1.0] instance: spi2

Description
Model of the SPI peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisDDR/1.0] instance: ddr

Description
Model of the DDR peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisI2S/1.0] instance: i2s1

Description
Model of the I2S peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisSDHC/1.0] instance: sdhc

Description
Model of the SDHC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisFTM/1.0] instance: ftm2

Description
Model of the FTM peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisFTM/1.0] instance: ftm3

Description
Model of the FTM peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisADC/1.0] instance: adc1

Description
Model of the ADC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisADC/1.0] instance: adc3

Description
Model of the ADC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisENET/1.0] instance: enet

Description
Model of the ENET peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisDAC/1.0] instance: dac0

Description
Model of the DAC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisDAC/1.0] instance: dac1

Description
Model of the DAC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisOSC/1.0] instance: osc1

Description
Model of the OSC peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisUART/1.0] instance: uart4

Description
Model of the UART peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

Table 19: Configuration options (attributes) set for instance 'uart4'

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisUART/1.0] instance: uart5

Description
Model of the UART peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

Table 20: Configuration options (attributes) set for instance 'uart5'

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisGPIO/1.0] instance: gpioA

Description
Model of the GPIO peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisGPIO/1.0] instance: gpioB

Description
Model of the GPIO peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisGPIO/1.0] instance: gpioC

Description
Model of the GPIO peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisGPIO/1.0] instance: gpioD

Description
Model of the GPIO peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisGPIO/1.0] instance: gpioE

Description
Model of the GPIO peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Peripheral [freescale.ovpworld.org/peripheral/KinetisGPIO/1.0] instance: gpioF

Description
Model of the GPIO peripheral used on the Freescale Kinetis platform

Limitations
Provides the base behaviour for the OVP Freescale Kinetis platforms

Reference
www.freescale.com/Kinetis

Licensing
Open Source Apache 2.0

There are no configuration options set for this peripheral instance.

---

Other Sites/Pages with similar information

Information on the FreescaleKinetis64 Virtual Platform can also be found on other web sites :
www.ovpworld.org has the library pages http://www.ovpworld.org/library/wikka.php?wakka=CategoryPlatform
www.imperas.com has more information on the model library

A couple of documents (from other related sites that might be of interest)
http://www.ovpworld.org: VMI Morph Time (VMI MT) API Reference Guide
http://www.ovpworld.org: VMI Memory Modeled Component (VMI MMC) API Reference Guide

Two Videos on these models (from other sites)
http://www.ovpworld.org: MIPS Demo Video Presentation
http://www.ovpworld.org: riscvOVPsim. A complete RISC-V ISS for bare-metal software development and Specification Compliance Test Development

---

Currently available Imperas / OVP Virtual Platforms / Virtual Prototypes for Embedded Software Development and Test Automation.