Selecting this insert option will cause an open file selector window to be displayed. Use it to choose a single file that will be parsed as a library file (i.e., the -v option to most Verilog compilers).

Selecting this insert option will cause an open directory selector window to be displayed. Use it to choose a single directory that will be used as a library directory (i.e., the -y option to most Verilog compilers).

Selecting this insert option will cause a window to be displayed that will allow the user to add library file extensions to the library file parser (i.e., the +libext+ option to most Verilog compilers). Figure 25.7, “CDD Creation Library Extension Window” is a display of this window.

Figure 25.7. CDD Creation Library Extension Window

To add a new extension, select the Click to Add New Extension item in the extension box (selected by default), type in the name of the extension in the upper entry box and either hit the "Enter" key or click on the Update button. If an incorrect extension was input, you may edit it by clicking on the incorrect item in the extension listbox. This will cause the item to be listed in the upper entry box where it can be edited or removed. Click the OK button to accept the specified library extensions and add these to the main window listbox. Click the Cancel button to ignore the recent updates in this window.

Selecting this insert option will cause an open directory selector window to be displayed. Use it to choose a single directory that will be used as an include directory (i.e., the +incdir+ option to most Verilog compilers).

Selecting this insert option will cause a window to be displayed that will allow the user to add a command-line variable definition to be added to the score command (i.e., the +define+ option to most Verilog compilers).

Figure 25.8. CDD Creation Define Window

To add a new define, enter the name of the definition variable in the entry box to the right of "Define name:". If the variable does not require a value, simply click on the OK button to submit it to the main window option listbox. If the variable requires a value, click on the = button, enter the value in the entry box to the left of that button, and click on the OK button. To abort the addition of the definition, simply click on the Cancel button.

	Note
	The OK will only be enabled when the user has entered a value in the "Define name:" entry box.

Selecting this insert option will cause a window to be displayed that will allow the user to add a parameter overload option to the score command. Because Verilog "defparam" is not used by the Covered parser, this option is the only way to override parameter values.

Figure 25.9. CDD Creation Parameter Override Window

To add a new parameter override option, enter the full hierarchical path to the parameter to override in the left entry box and add the override value in the right entry box. See Section 9.5, “Overriding Parameters (-P option)” for details on how to specify an override value. After both values have been input, click the OK button to add the parameter override option to the main window listbox. To abort the parameter override addition, click on the Cancel button.

	Note
	The OK button will only be enabled if both values are input in the entry boxes.

Selecting this insert option will cause a window to be displayed that will allow the user to add an FSM input/output state on the score command line. This option allows the user to specify the location of FSMs within the design without inlining this information with the use of pragmas for the purposes of gaining FSM coverage information.

Figure 25.10. CDD Creation FSM Specification Window

To add a new FSM option, enter the name of the module containing the FSM in the upper-left entry box, the description of the output state in the upper-right entry box (see Section 9.6, “Scoring FSMs” for information on properly specifying the output/input state information). If the input state is the same as the output state, simply click on the Input == Output button which will fill in the input state with the same value as the output state value. If the input state differs from the output state, enter the input state in the lower-right entry box. When all entry fields have been filled in, click on the OK button to add the FSM description to the main window listbox. To abort the addition, click on the Cancel button.

	Note
	The OK button will only be enabled if all entry fields have been filled in.

Selecting this insert option will cause a window to be displayed that will allow the user to specify a Verilog generation (Verilog 1995, Verilog 2001 or SystemVerilog) for a particular module. This generation value will override the universal generation value (see the "Default Verilog Generation" item in the section called “General Options”) for the design.

Figure 25.11. CDD Creation Module Generation Window

To specify a Verilog generation to be used for a specific module, enter the name of the module in the left entry box and select one of the Verilog generations in the drop-down menu on the left. Once this information has been specified, click on the OK button to add this option to the main window listbox. To abort the module generation addition, click on the Cancel button.

	Note
	The OK button will only be enabled if a module name is specified in the left entry box.

Selecting this insert option will cause a window to be displayed that will allow the user to specify a module to exclude from parsing and coverage consideration. More information on the purpose for excluding modules is discussed in Section 9.3, “Specifying What to Cover”.

Figure 25.12. CDD Creation Module Exclusion Window

To specify a Verilog module to exclude from the score command parser, enter the name of the module in the entry box to exclude. Click on the OK button to add the module exclusion option to the main window listbox. Click on the Cancel button to abort the option addition.

	Note
	The OK button will only be enabled if a value is specified in the entry box.

Selecting this insert option will cause an open file selector window to be displayed which will allow the user to find a file that contains Covered score command-line options within it. Select a file and click on the Open button to cause the selected file to be added to the main window listbox. Click on the Cancel button to abort this action.

After all options have been specified, the Save Options to File... button can be clicked to cause all previously specified options to be saved to a file which can later be loaded by the new CDD creation window. Simply click the button and specify a filename to save the options under and click the Save button.

When all options have been setup, click the Generate button to create the new CDD file. This button will advance to another page containing the output from Covered's score command.