Instantiate Template


The purpose of template DES is to automate the creation of a group of DES that are identical up to relabeling. The idea is to create a single template DES with one or more template variables, and then to use the template to create the actual DES to be used in verification algorithms by assigning a range of values to the template variables.

The user specifies values for the template variables, and then DESpot creates a new DES identical to the template DES but with all template variables replaced.

There are two methods to assign values to template variables in order to create instantiations:

  • Range Option
  • Tuple Option
  • In a flat project, the name of instantiations must be unique.

    In an HISC project, instantiations can only be added to the subsystem or interface that the template belongs to. The names of instantiations must be unique in the same subsystem or interface. However, they can be duplicated in different subsystems or interfaces. The instantiation information can be viewed in both Hierachy View and Level View in the project editor. They are displayed below the template DES. When instantiating a template to an interface, only supervisors can be specified.


    « Template DES   |   Tuple Option »