M1AFS-EMBEDDED-KIT Actel, M1AFS-EMBEDDED-KIT Datasheet - Page 33

• Manufacturer Part Number: M1AFS-EMBEDDED-KIT
• Description: MCU, MPU & DSP Development Tools CortexM1-enabled Fusion Embedded Kit
• Manufacturer: Actel

Specifications of M1AFS-EMBEDDED-KIT

• Lead Free Status / RoHS Status: Lead free / RoHS Compliant

Functionality
BFM Script Language
all accessible locations. It has knowledge of whether registers are read-only, read/write, clear-
on-read, or write-only. From this it can decide what the expected data should be on reads.
The system Verilog/VHDL can be edited to add new design blocks in the above diagram. The system-
level testbench can be edited to include tasks that test any newly added functionality, or for adding stubs
to allow more complex system testing involving the IP cores. The BFM input scripts may also be
manually enhanced, so that you can test access to register locations in newly added logic. In this way,
stimuli can be provided to the system from the inside (via the Cortex-M1 BFM), as well as from the
outside (via testbench tasks).
This section describes the specific functionality of the Cortex-M1 BFM. The BFM models transactions on
the external (AHB-Lite) bus of Cortex-M1.
Cortex-M1 Pin Compatibility
The BFM model is pin-for-pin compatible with the Cortex-M1. This allows the model to be dropped into
the space that would be occupied by the processor core in the system testbench.
Cortex-M1 Bus Cycle Accuracy
The bus cycle timings for the Cortex-M1 external bus signals are specified in the Cortex-M1 Technical
Reference Manual. The Cortex-M1 BFM models these bus cycles exactly.
Scripting
In order to provide a simple and extensible mechanism for providing stimuli to the BFM, a BFM scripting
language is defined (see
resources, reads from system resources (with or without checking of expected data), and waiting for
interrupt events.
Self-Checking
The BFM gives a pass/fail indication at the end of a test run. This is based on whether or not any of the
expected data read checks failed.
Endianness
The BFM supports both big and little-endian memory configurations. For byte and halfword transfers, it
reads and writes data from/to the appropriate data lanes.
Interrupt Support
The BFM has the ability to wait for the Cortex-M1 interrupt lines to be triggered before proceeding with
the remainder of the test script.
Log File Generation
The BFM generates output messages to the console of the simulation tool, and also generates an HTML
log file. The messages in this file are color-coded so that any errors can be easily identified.
The following script commands are defined for use by the BFM:
Write
The write command causes the BFM to perform a write to a specified offset, within the memory map
range of a specified system resource.
"BFM Script Language" on page
R ev i si o n 1 2
33). This allows initiating writes to system
Cortex-M1 v3.1 Handbook
33