Test harness model generator |
You can isolate subsystems of the model to be verified and create test harness models for partial verification of individual subsystems. |
I/O mapping function |
Based on the information of the test harness model and the variable information output from the CoverageMaster winAMS, a map list can be created by mapping the signals and variables to be compared. The overall tolerance can be set when creating the map list. Tolerance, fixed point setting and previous value setting for individual signals can be set by editing the map list. |
Test data AD/DA conversion function |
From test CSV files created from models and source code, you can create CSV files for code testing and model testing. According to the fixed-point setting, the data of physical values created from the model are converted to digital values, and the data of digital values created from the code are converted to physical values. |
MILS Execution Function |
The test harness model can be populated with data from the model test CSV file and a model execution results log can be created. |
BtoB test matching function |
The code execution results log and the model execution results log can be compared to make a consistency judgment and create a comparison results data file. The error evaluation can be performed based on the tolerance of each signal and variable to be compared. |
Integrated report generator |
Comparison result data files, model execution result logs and code execution result logs can be combined and output in XML and HTML formats. |