Documentation

Transaction Level Model Generation

Generation of SystemC TLM virtual prototypes

HDL Verifier™ integrates with Simulink® Coder™ or Embedded Coder® to export SystemC TLM- compatible transaction-level models. You can integrate this component into your HDL simulation as a behavioral model.

The TLM generation tool provides a default socket and memory configuration. To customize the socket and memory map of the TLM component, provide an IP-XACT file. You can configure the generated component to use a SystemC thread or a callback function.

HDL Verifier generates a TLM test bench, test vectors, and a makefile to verify the component and assist with integration into your HDL simulator environment.

Examples and How To

Generate TLM Component and Test Bench

Getting Started with TLM Generator

This example shows how to configure a Simulink® model to generate a SystemC™/TLM component using the tlmgenerator target for either Simulink Coder or Embedded Coder™.

Select TLM Generator System Target

To activate the TLM component generation options, select the system target file.

Select TLM Mapping Options

Select socket and memory map configuration for your TLM component on the TLM Mapping tab.

Select TLM Processing Options

Define different buffering and processing behaviors for the generated TLM component

Select TLM Timing Options

Define the timing of the TLM component input/output interface and processing thread.

Select TLM Test Bench Options

Generate a standalone SystemC/TLM test bench alongside the TLM component so that you can verify the generated algorithm in the context of a TLM initiator/target pair.

Select TLM Compilation Options

Options used to generate makefiles used to compile the generated code.

Generate Component and Test Bench

How to generate your TLM component and run the optional test bench.

Define Memory Map

Prepare IP-XACT File for Import

All IP-XACT XML files must contain information specific to MathWorks®, defined in elements within the component.

Contents of Generated IP-XACT File

The TLM generator automatically generates an IP-XACT file that complies with IEEE® Standard for IP-XACT 1685-2009.

Implement Memory Map with SCML

The System C Modeling Library (SCML) is a TLM 2.0 compatible API library for creating TLM model interfaces for use with Synopsys® prototyping tools.

Run Test Bench

Run TLM Component Test Bench

After the TLM component and test bench have been generated, you can verify the generated TLM component using the test bench that was just created:

Export TLM Component

Export TLM Component

After code generation completes, go to your working folder.

TLM Component Constructor

Describes the generated TLM components constructor and default parameters, with information for changing those parameters

Concepts

Overview

The TLM Generation Process

After you obtain the TLM component files generated by HDL Verifier software, you can compile the TLM component and the optional test bench with OSCI SystemC libraries and the OSCI TLM libraries.

TLM Generation Algorithms

The algorithm you use to generate the TLM component can be made of any combination of Simulink blocks that can generate C code.

TLM Component Architecture

The TLM generator exports a target TLM component from a Simulink model subsystem.

Generated TLM Files

HDL Verifier software generates the following files:

Workflow and Guidelines

TLM Component Generation Workflow

The following workflow lists the steps required to generate a TLM component using HDL Verifier software:

Subsystem Guidelines and Limitations

Most subsystems that can be converted to C code are suitable for generating a TLM component.

Testing

Testing TLM Components

The test bench generation option is controlled by the TLM Testbench tab of the Configuration Parameters dialog box.

Was this topic helpful?