Timing and Stack Analysis Tools#
Template: timing_stack_analysis_tools.json.
General#
Tool: a3
Settings |
Prop |
Default |
Comment |
|---|---|---|---|
Session Name |
SESSION_NAME |
$(Configuration) |
|
aiT version |
VERSION |
||
aiT binary folder |
AIT_BINDIR |
||
Type |
CPU |
||
Basic clock |
BASIC_CLOCK |
-1 |
|
Unit |
UNIT |
Hz |
|
User ais file |
AIS_FILE |
Advanced Verifier Usage#
Tool: a3
Settings |
Prop |
Default |
Comment |
|---|---|---|---|
Interactive |
INTERACTIVE |
false |
|
Max unroll |
MAX_UNROLL |
2 |
|
Default unroll |
DEFAULT_UNROLL |
2 |
|
External environment file |
XTC_FILE |
Imported Operators#
Tool: a3
Settings |
Prop |
Default |
Comment |
|---|---|---|---|
SPECIFIED_OPERATORS |
list of strings <scade path>|<cycles>-<bytes> |
||
EXTERNAL_FUNCTIONS |
list of strings <name>:<cycles>-<bytes> |