

首页  思维导图  详情



Scade User Manual

2023-11-07 15:36:32   3  举报





AI智能生成

Scade User Manual脑图

学习笔记

模版推荐

作者其他创作

大纲/内容

Part 3 Verification 验证

Running Formal Verification Sessions 运行时验证

Overview of Design Verifier P614 建模验证概述

Design Verifier Workflow P618 工作流

双击查看大图

Exploring Design Verifier User Interface P619 建模验证用户接口

Generated Output Files P632 报告与反例生成

Fundamentals in Design Verification P624 模型验证基础

Property Expression P624 性质表达式

Verifiable Properties P625 可验证的性质

User Proof Objectives P625 用户性质对象

Predefined Proof Objectives P626 预定义性质对象

溢出、除零、越界与一致性等等

Strategies P627 策略

Prove,Debug,Induction与Custom四种选项

Setting Design Verifier Environment P629 环境设置

Creating Dedicated Verification Project P629 创建验证项目

Configuring User Property Verification P631 用户设置性质验证

Applying Predefined Properties P635 应用预定义的性质检查

Specifying User-Defined Strategies P638 用户策略选择

Organizing Design Verifier Analysis Objects P640 组织与编辑验证对象

组织文件夹，编辑文档等等内容

Launching Property Analyses P644 进行性质分析

可以进行多选验证

Interpreting Property Analyses Results P645 理解性质分析的结果

Valid:当前性质一直为true

Falsifiable：可以为false，能够产生反例

Indeterminate：找不到反例

Interrupted：在超时前手动终止并且没有发现反例

Stop Depth Reached：到达最大深度时无结果

Raised an Error：引发错误

Contradictory：无法完成分析也无法停止，矛盾模型

Displaying Analysis Information in Reports P646 报告展示

Launching Verification Scenarios from Reports P647 从验证报告进行上下文加载并进行仿真

Displaying Counter-Examples in Scenario Viewer P649 展示反例

Verifying Timing and Stack Usage 时间与堆栈验证

Overview of Timing and Stack Analysis Tools P651 时间与堆栈验证概述

Timing and Stack Analysis Workflow P652 工作流

双击查看大图

Exploring Timing and Stack Analysis User Interface P653 时间与堆栈验证用户接口

Timing and Stack Result Views P655 时间与堆栈报告

Fundamentals about Timing and Stack Tools P660 时间与堆栈工具基础

双击查看大图

Setting Timing and Stack Verification P662 时间与堆栈验证设置

Setting Timing and Stack Result Options P662 标准设置

时间验证标准

堆栈验证标准

Setting Code Generation for Timing and Stack P663 设置代码生成器

Scade Suite通过Code Generation生成的二进制文件进行验证

Scade Suite内置了大量的编译器版本来适配始建于堆栈验证器

Building Binary for Timing and Stack Analysis P668 生成二进制进行分析

Setting Timing and Stack Analysis Tools P669 分析器基础设置

Setting Advanced Timing and Stack Analysis P670 分析器高阶设置

Setting Time Cycle and Stack for Imported Operators P670 为导入算子设置时间周期与堆栈

Setting Advanced Verifiers Options P671 高阶选项

Interactive：一个与aiT工具交互的外部工具接口选项

Max unroll:设置最大循环调用

Default unroll：设置迭代轮次未知时的调用次数

Use external analyzer version:使用外部分析器的版本

Specifying aiT Tool Environment and Referencing Environment P672 aiT工具设置？

Launching Timing and Stack Analysis Tools P673 启动时间和堆栈分析工具

Examining Timing and Stack Analysis Results P675 检查时间和堆栈分析工具的结果

标题为检查，更多还是结果的展示、对比与追溯

Creating Compiler Configuration File P685 创建编译配置文件

如果需要一个专门交叉编译期来进行该验证功能，则需要创建一个相关的编译配置文件。 本小节主要讲述各类的配置选项。

Part 4 Code Generation 代码生成

Fundamentals about SCADE Suite Code Generation Scade Suite代码生成基础

Code Generation Principles P698 代码生成原则

Generation of Monolithic or Task-Based Code P699 生成整体的或基于任务的代码

SCADE Suite Input Models P700 Scade Suite输入模型

XML files（文本与图形格式）

modify options

root operator

Code Generation Files P700 代码生成文件

代码生成输入与输出文件

Optimization of Generated Code P701 对已生成优化的优化

一般都是默认生成，原话是"is optimized by default"。 有额外的优化等级，输入与中间变量的输入选项。

Assertions in Generated Code P701 代码的中的断言

Probes in Generated Code P701 代码中的探针

Code Generation Checks P702 代码生成检查（在代码生成前进行）

语法检查

语义检查

竟然有这么多检查，其中的包括了我们现在必然没有的时钟检查

Exploring Code Generator User Interface P704 代码生成用户接口

Code Generation Workflow P708 代码生成工作流

Scade代码生成工作流

Setting and Lauching Code Generation 设置与启动代码生成

Specifying Code Generation P711 指定代码生成

必须指定一个代码生活器及其目标文件夹

Setting Optimization Options P713 设置优化选项

Local variables as static 局部变量生成为静态变量

Input threshold 限制输入个数

Setting Debug Options P714 设置调试选项

设置Operator的可见性

Setting Code Configuration Options 716 配置代码选项

C代码设置

Generate context as global 将上下文与根op的输入设置为全局变量

Wrap C operators 将算术运算、二元运算与关系运算op封装在宏定义中

Keep assertions 保持断言

Keep probes in generated code 保持探针

Generate system memory state management 将内存数据与功能函数进行保存，以对op的状态进行检索

Short circuit operators 通过短路运算操作符取代C的位与操作符

Global prefix 全局变量前缀

Name length and Sinnificance length 名称与总体长度

User config 用户的配置头文件

Header file 添加的头文件

Ada代码设置（略）

Setting Code Expansion Mode P719 设置代码的扩展模式

设置选择的operator是否在目标代码中被生成

Setting Code Integration Capabilities p721 设置代码集成能力

代码集成能力

Setting Periodicity of Code Execution P724 设置代码执行的周期性？

Setting Compiler and Build Options P725 设置编译器与构建选项

编译器设置

编译器版本 GNU C与VC

CPU支持

预处理器

额外编译选项

额外链接选项

构建设置

额外包括的文件夹

排除的文件

Adjusting Variable Name Length for Compiler P728 调整变量的名称长度

Setting I/O Separation Options P729 设置IO分离

实际面向的operaotr级的I/O分离，可以隐藏输入与输出。

Setting Pragmas on Model Elements P731 设置模型元素的注释

生成的C代码中可以根据该设置，标注映射到原始模型中的属性，Operator的生成设置等

Launching KCG Code Generation from User Interface P736 用户界面启动KCG代码生成

Launching KCG Executable in Command Line P738 命令行启动可执行文件

Implementing Models with Imported Code 通过外部导入代码实现模型

Generating Templates for Imported Operators P740 为导入的op自动生成模板

Implementing Imported C Code P742 实现导入的C代码

Implementing C Code for Imported Functions 通过C代码实现Imported Function

Implementing C Code for Imported Nodes  通过C代码实现Imported Node

<strike>Implementing Imported Ada Code P748 实现导入的Ada代码</strike>

Integrating Monolithic Code 整合完整的代码

Generating and Integrating Task-Based Code 生成与整合基于任务的代码

附录

SCADE Suite in Command Line P781 Scade Suite命令行

SCADE Suite Files in Configuration Management Scade Suite文件配置管理

文件后缀1

文件后缀2

文件后缀3

SCADE Suite and Source Code Control Scade Suite版本管理与源代码控制

Part 1 Design and Model Editing 模型设计与设置

Setting Project and Design Environment 项目与环境设置

Setting Scade Suite Tools Options P61 Scade整体工具设置

Environment设置 P62 是否有启动页，是否加载上次关闭时的项目，是否显示advance设置

General设置 P64 默认的变量类型、默认的字面类型

View设置 P66 界面展示框选项

Commands设置 P68 设置在导航栏中的操作按钮，如复制粘贴等

Langua设置 P69 构件选项，勾选想要使用的构件

Advanced设置 P70 几乎所有内容的细节设置

Customize定制化

Managing Projects P79 项目管理

创建新的工作空间 P79

创建新项目 P80

创建新的python文件 P85 ?

创建Tcl脚本 P85 ?

切换页面，重命名，插入已有项目或文件等 P86

Managing Default or Custom Configurations P89 管理默认的以及用户设置

Organizing Model Design with Packages P96 包管理

新建包 P97

引用包 P99 即Open Package

包的可见性管理 P102 可以设置其public与private属性

Managing Favorites and Using Shortcuts P103 管理快捷方式

Creating and Modifying Styles P105 创建与自定义样式

Enabling Display Options in Diagram Views P113 管理示意图视图

Organizing and Working with Model Editing Views P114 建模视图管理

Organizing and Working with Docking Windows P122 建模窗口管理

Designing Models 模型设计

Declaring Design Elements in Model P127 声明设计元素

Declaring Model Operators P128 声明Operator

Node

Function

Imported nodes或imported funcitions

Specialized operators

Declaring Operator Interface P129 声明Operator的接口

inputs/outputs

Hidden inputs

Declaring Operator Local Data P131 声明Operator局部变量

Variables

Probes探针 P132

Signals

Creating and Designing State Machines P134 状态机的创建与设计

创建状态机 P134

创建状态 P137 初始、终结状态

状态迁移 P138

fork迁移 P141 子迁移条件

迁移类型  P143

Creating and Designing If Blocks P145 If条件块的创建与设计

创建If块 P145

创建节点 P147

IfBlock与Node编辑 P149

Creating and Designing When Blocks P152 Switch条件块的创建与设计

创建Switch块 P152

创建分支 P154

编辑块与分支 P155

Declaring and Editing Imported Operators P157 声明imported Operator

Declaring and Editing Specialized Operators P159 特化Operator的声明与编辑

被特化的Operator必须为一个imported Operator

Setting States/Actions in Embedded/Hidden Mode P162 状态与动作的展示与隐藏

控制块信息隐藏

Splitting Operator Design in Multiple Diagrams P166 Operator多画布拆分

Inserting Existing Item P166 插入已有内容

插入.xcade与.scade文件

Defining Data Types P168 数据类型定义

Declaring New Types P168 定义新类型

Setting Array Types P169 设置数组类型

Setting Enumeration Types P172 设置枚举类型

Setting Structure Types P173 设置结构体类型

Completing Definition of Structured Types P174 完成结构性类型的设置

Setting Imported Types P175 导入类型

从.h文件中导入，需要包含初始化、拷贝函数、比较函数

Declaring Operators Using Generic Types P177 声明带有泛型的Operator

Defining Constants P179 常量定义

Declaring New Constants P179 声明新常量

Setting Constants of Array Type P181 设置数组常量

独立设置数组

表格样式设置数组

CSV文件数组值导入

Setting Imported Constants with External Code P184 外部代码导入常量

Setting Imported Constants with Imported Types P186 通过导入类型设置导入常量

Defining Sensors P189 传感器定义

Setting Design Instances in Diagram Views P191 画布模型实例设计

Creating Operator Calls P192 用户创建构件创建

Creating Calls to Predefined Operators P193 预定义构件创建

Creating Predefined Operator Symmetric Calls P193 预定义构件对称形式（构件的顶部与底部输出交换位置）

Adding/Removing Predefined Operator Inputs P194 构件扩展

Composing/Decomposing Structured Types P195 创建/销毁结构类型（不就是用Make、Flatten、Data Array之类的构件吗）

Substituting Operator and Variable Calls P197 替换操作符与变量

Creating References to Inputs/Outputs P198 创建输入与输出的画布引用

Creating References to Local Data P199 创建中间变量的画布引用

Creating References to Constants or Sensors P200 创建常量与传感器的画布引用

Creating Contracts: Assume/Guarantee P200 创建性质验证

Creating Terminators P201 创建终结符

Creating Lasts of Variables and Signals P201 创建last模式的变量与信号量

Setting Default Values on Variables P202 设置变量的Default值

Connecting Data Flow Elements P203 连接数据流

这里有一段话说明了Scade实际上是可以阻止类型推断的

Connecting Multiple Data Flow Elements P205 连接多个数据流

Defining Value of Hidden Inputs on Operators P207 隐式输入定义

如果表达式文本在语法上不正确，则会用红色下划线。

如果表达式文本包含对未知对象的引用，则用绿色下划线表示。

Encapsulating Design in Operators or States P209 Operator与State中的封装设计

Setting and Defining Equation Sets P211 等式集合的设置与定义

划分构件集合，前端展示行为

Setting Operator Parameterized by Size P213 Operator参数化列表

Designing Model with Textual Definitions P215 文本模型设计

Defining Operators with Textual Diagrams P215 文本设计整个模型

Inserting Textual Diagrams P216 插入/转换文本

Editing Textual Diagrams P217 编辑文本

Applying Changes in Textual Diagrams P220 文本检查

Navigating from Text Diagrams to Other Views P220 调用Operator导航

Defining Textual States or Actions P221 文本设计状态与动作

Creating Instances from Textual Files P224 通过.scade文件导入实例

Creating Textual Expressions P226 文本表达式

Managing Instance Names Textually P227 通过文本形式管理实例名

Checking Model Semantics P228 模型语义检查

Completion Check 完成性检查

Instance Name Check 实例名检查 检查是否被重复调用或者调用时没有实例名

Semantic Check 语义检查

Modifying Design Elements  P231 画布建模

Moving Design Elements in Models P231 画布内元素移动

Modifying Definitions from File View P233 文件定义

Deleting Declarations from Scade View P234 声明删除

Optimizing Design Layout P235 优化设计布局

Selecting Design Elements P235 选择设计元素

Aligning Elements P236 对齐元素 对一组元素和单独的边都可以使用

Aligning Design Components P236 对齐设计内容

Distributing Elements and Connection Wires P239 元素分布与连线

Resizing Elements P240 设置元素大小

Rotating Elements P241 旋转元素

Nudging Elements P241 移动元素

Optimizing Connection Wires P241 优化连接线

Editing Connection Wires and State Transitions P242 编辑连接线及状态迁移线

Straightening Connection Wires P242 拉直连接线

Snapping Design Elements P243 捕捉设计元素

Editing Design Elements with Symbol Editor P244 使用符号编辑器设计画布元素

Developing Control and Display Software Jointly P251 控制与展示软件的链接

Designing with Predefined Operators and Constructs 使用预定义构件与结构进行设计

Designing with Arithmetic Operators P264 算数运算构件

Setting and Designing Additions P265 加法构件

Setting and Designing Subtractions P266 减法构件

Setting and Designing Multiplications P267 乘法构件

Setting and Designing Polymorphic Divisions P268 除法构件

Setting and Designing Modulos P269 整除构件

Setting and Designing Unary Minus P270 取反构件

Setting and Designing Numeric Cast P271 类型转换构件

Designing with Bitwise Arithmetic Operators P271 位运算构件

Setting and Designing Bitwise AND P272 位与构件

Setting and Designing Bitwise OR P273 位或构件

Setting and Designing Bitwise XOR P274 位异或构件

Setting and Designing Bitwise NOT P275 位非构件

Setting and Designing Logical Left Shift P276 左移位构件

Setting and Designing Logical Right Shift P277 右位移构件

Designing with Choice Operators P278 选择构件

Setting and Designing If Then Else P278 IfElse构件

Setting and Designing Case P280 Case构件

Designing with Comparison Operators P283 比较构件

Setting and Designing Strictly Less Than P284 小于构件

Setting and Designing Less Than or Equal P285 小于等于构件

Setting and Designing Strictly Greater Than P286 大于构件

Setting and Designing Greater Than or Equal P287 大于等于构件

Setting and Designing Different P288 不等于构件

Setting and Designing Equal P289 等于构件

Designing with Logical Operators P290 逻辑构件

Setting and Designing AND P291 与构件

Setting and Designing OR P292 或构件

Setting and Designing XOR P293 异或构件

Setting and Designing Sharp P294 sharp构件

Setting and Designing NOT P295 取非构件

Designing with Temporal Operators P296 时态构件

Setting and Designing Init P297 Init构件

Setting and Designing Previous P299 Pre构件

Setting and Designing Followed By P300 FBY构件

Setting and Designing Times P302 Times构件

Setting and Designing When P303 When构件

Setting and Designing Merge of Flows P306 Merge构件

Designing with Structured Values P309 结构化类型构件

Setting and Designing Data Structure P309 数组构造构件

Setting and Designing Make or Flatten P310 构造与平铺构件

Designing with Array Values P314 数组构件

Setting and Designing Arrays by Enumeration P315 Data Array构件

Setting and Designing Arrays by Repetition P316 数组扩展Scalar To Array构件

Setting and Designing Array Indexation Access P317 取索引构件

Setting and Designing Array Static Slice Access P319 数组切片构件

Setting and Designing Permutation of Array Values P320 数组逆转构件

Setting and Designing Array Concatenation P321 数组拼接构件

Setting and Designing Arrays by Copy with Modification P322 按索引赋值构件

Setting and Designing Array Transposition P323 数组转置构件

Designing with Array Iterators P324 迭代器构件

Definition for Map Iteration Pattern P325 MAP构件

Definition for Mapi Iteration Pattern P327 MAPI构件

Definition for Mapw Iteration Pattern P329 MAPW构件

Definition for Mapwi Iteration Pattern P331 MAPWI构件

Definition for Fold Iteration Pattern P333 FOLD构件

Definition for Foldi Iteration Pattern P335 FOLDI构件

Definition for Foldw Iteration Pattern P337 FOLDW构件

Definition for Foldwi Iteration Pattern P339 FOLDWI构件

Definition for MapFold Iteration Pattern P341 MAPFOLD构件

Definition for MapFoldi Iteration Pattern P343 MAPFOLDI构件

Definition for MapFoldw Iteration Pattern P344 MAPFOLDW构件

Definition for MapFoldwi Iteration Pattern P345 MAPFOLDWI构件

Designing with Operator Activation P348 激活构件

Setting and Designing Boolean Activation P348 bool值激活

Setting and Designing Clocked Activation P351 时钟激活

Designing with Restart Instantiation P354 重启构件

Navigating in Models 模型导航

Finding and Locating Design Elements P356 搜索与定位元素

Searching for Design Dependencies P359 依赖找寻

Searching for Design Element Definitions P359 设计元素定义找寻

Searching for Design Element References P359 设计元素依赖找寻

Searching for Producers or Deep Producers P360 找寻变量的前驱

Searching for Consumers or Deep Consumers P361 找寻变量的后缀

Searching for Operator Calls P362 找寻函数引用情况

Searching for Operator Calls P362 找寻函数的引用者

Navigating in Model Content P363 模型内容导航

Navigating in Model and Package Hierarchy P363 模型与包的层级导航

按钮形式

Navigating in Output Window P364 输出窗口导航

按钮形式，实测在模型树中也可以使用

Navigating to Declaration from Diagrams P365 导航至模型树的声明

按钮形式，右键形式都有

Navigating to Type Definition P365 导航至类型声明

同上

Navigating between Opened Views and Files P365 选中内容前后导航

Navigating in HTML Documents P366 在HTML文件中导航

Filtering Model Content P367 过滤模型内容

Editing Properties of Design Elements and Objects 编辑元素与对象属性

Editing Project Properties P369 项目属性设置

General、Description、Document、SCADE、Page Format、Layout与Simulation设置

Editing File Folder Properties P375 文件夹属性设置

文件夹名称与文件扩展设置

Editing Project Files Properties P376 项目文件属性设置

Editing Package Properties P379 包属性设置

Editing Diagram Properties P381 画布属性设置

Editing Type Properties P383 类型属性设置

Editing Constant Properties P385 常量属性设置

Editing Sensor Properties P387 传感器属性设置

Editing Operator Properties P389 Operator属性设置

泛型、特化、名称、路径、公有私有等

Editing Operator Call Properties P394 Operator调用属性设置

参数、输入输出个数、实例名、高阶等设置

Editing Input/Output Properties P398 输入/输出属性设置

类型、last、default、时钟等

Editing Probe Properties P401 探针属性设置

Editing Local Variable Properties P404 局部变量属性设置

Editing If Block and If Node Properties P409 IfBlock属性设置

Editing When Block and When Branch Properties P412 WhenBlock属性设置

Editing State Machine Properties P415 状态机属性设置

Editing State Properties P416 状态属性设置

Editing Transition Properties P419 迁移条件设置

强弱迁移、优先级、History、Else check、Polyline Mode设置直线与曲线

Editing Wire Properties P422 连线属性设置

边映射到中间变量，时钟设置

Editing Assertion Properties P425 断言属性设置

Editing Textual Expression Properties P426 文本表达式属性设置

Changing Design Element Layout P427 设计元素布局设置

Adding and Editing Comments P428 评论编辑

Adding and Editing Notes P429 注释编辑

有指定的注释标签，并且可以显示在画布中

Editing Instance Names 432 实例名设置

Accessing Traceability Information P434 追溯信息获取

Change Control of Models 模型的变化控制

Fundamentals about Model Diff P436 模型变化

监控元素的添加、删除与变化

差异点分析

模型与对象差异分析报告

Analyzing Model and Object Differences P439 分析模型与对象差异

Launching Model Comparison P439 进行模型比较

Launching Object Comparison P440 进行对象比较

Examining Semantic Differences P441 检查语义差异

Locating Differences in Diagrams and Views P443 定位差异

Generating Reports for Model/Object Comparison P445 差异报告生成

Computing Metrics and Checking Rules on Model  模型的计算度量和规则检查

Rules Checker and Metrics Overview P446 规则检查与度量总览

Metrics Computation 模型度量是给出一些模型的具体参数，例如一个Operator的输入个数，状态机的嵌套深度等等 P448 给出了具体的度量对象与度量内容

双击查看大图

Rules Check 规则检查器是对模型需要遵循的一些约束的检查，规则由严重程度由高到低分为三级：Mandatory、Required、Advisory P450给出了唯一一条预定义规则，规则可由用户定义

Setting Rules Checker and Metrics P451 模型度量与规则检查器的设置

Setting Active Metrics and Rules P451 设置需要进行计算的度量标准与规则

Managing Project Metrics and Rules P454 管理度量与规则文件

通过python文件添加规则

Computing Metrics and Checking Rules P455 进行模型度量与规则检查

Computing Metrics P455 模型度量

完成准则设置后点击按钮即可，生成XML文件

双击查看大图

Checking Rules P456 规则检查

Launching rules check on model P456 进行模型检查

生成htm格式的报告

双击查看大图

Defining justifications for rule violations P458 定义违反规则的理由

Creating User-Defined Metrics and Rules P462 用户自定义度量标准与规则

Defining Python Metrics P462 使用python进行度量标准的定义

Defining Rules P468 定义规则

Python Rule File Structure P462 Python文件定义规则？ 为什么这个例子一点作用都没有

Managing Libraries 库管理

Inserting Library in Projects P476 导入库

Replacing Libraries in Projects P476 替换库

Setting Library Path for Sharing Projects P477 库路径设置

Resolving Library Inconsistencies P477 解决库不一致

内容比较多，总体意思是可以根据导入的内容自动地对比修复

Part 2 Simulation and Debugging 仿真与调试

Fundamentals about SCADE Suite Simulator Scade仿真套件基础知识

Model-Based Simulation Principles P487 基于模型的仿真原则

Simulation Architecture P487 仿真架构

双击查看大图

Observable Variables and Traceability P488 可观测变量及其追溯性

Simulation Cycles  P488 仿真周期

SCADE Simulation Executables P488 仿真可执行

Step-by-Step or Continuous Simulation P489 按步执行

Simulation Scenarios/States: Storing and Replaying P489 仿真场景内的存储与重放

Breakpoints P489 断点

Exploring Simulator User Interface P490 仿真用户接口

Instances Browser P491 用例展示窗口

Simulation Views P492 仿真执行展示界面

Simulation Window P493 仿真窗口

Watch Window P494 监视窗口

Graph Window P494 图形窗口

Simulation Toolbars P495 仿真工具栏

Simulation Workflow P496 仿真工作流

双击查看大图

Running Simulation in SCADE Suite Scade仿真执行

Setting Simulation Environment P498 仿真环境设置

文本长度设置、图形参数等等

Setting Project for Simulation Sessions P500 设置仿真会话的项目属性

Setting Simulation Code for Simulation Sessions P501 仿真代码设置

Setting Basic Options for Simulation Code P501 仿真代码基础设置

根Operator的设置

代码生成器版本选择

Enabling Simulator Code Generation P502 启用仿真代码生成器

Setting Simulation Binary Generation P503 设置仿真二进制生成器

设置编译器类型

CPU类型

预处理定义

额外的编译器选项

额外的连接选项

额外的链接文件夹

忽略文件选项

Enabling Simulation with Graphical Extensions P506 图形扩展实现模拟仿真

Enabling Partial Model Simulation P507 启用部分模型的仿真

可以勾选选项“Skip unused model objects”

Setting Variable Visibility  P508 变量可见设置

Running Model Simulation P510 运行模型模拟仿真

Launching Simulation Session P510 模拟仿真会话启动

Executing Simulation Cycles P511 仿真周期执行

Simulating Model Step by Step P512 按步执行仿真

Simulating Model in Continuous Mode P513 持续仿真执行

Playing Simulation Scenarios/States P513 仿真导入执行

Setting and Using Bookmarks P514 书签保存仿真周期

Locating Assertion Violation P515 定位断言的冲突

Identifying Check Failure P516 预期输出检查

Identifying Floating-Point Operation Error  P516 识别浮点数运算错误

Analyzing and Locating Run-Time Exceptions P517 分析与定位运行时异常

Saving Simulation Output P517 保存仿真输出

Displaying Variables in Graphical Charts P519 通过图表展示变量的数值

Displaying Variables in Watch Window P520 在监视窗口展示数据

Managing Simulation Execution P522 仿真执行

Exceptions, Assertions, Checks, FP Operations, Breakpoints at Run-Time P523 异常情况

双击查看大图

Recording Simulation Scenarios/Application States P524 仿真数据记录

仿真方案

输入方案

快照

应用状态（编译环境等）

Setting and Managing Breakpoints P526 设置与使用断点

Setting Breakpoints on Control Flow Elements P526 在控制流中设置断点

Setting Breakpoints on Data Flow Elements P527 在数据流中设置断点

Defining Advanced Breakpoints P528 定义高级断点

设置停止条件，比如output>10,cycle==20

Modifying Breakpoint Definition P529 定义断点

Enabling/Disabling Breakpoints P530 启用或关闭断点

Suppressing Breakpoints P532 抑制断点

去除所有的断点

Running Simulation from External Tools 使用外部工具运行仿真

Running Advanced Simulation 高级仿真功能

Simulating Models Containing External C Code P603 通过外部C代码进行仿真

Simulating Models Containing Imported C Types P576 导入的C类型进行仿真

Implementing C Macro User Definitions P577 实现用户宏定义

Implementing Supported Type Definition P578 实现基础类型的定义

Implementing Unsupported Type Definition P581 实现非基础类型的定义

Implementing Unsupported Macro Definition P581 实现基础类型的宏定义

Implementing Imported Type Definition P582 实现导入类型

Declaring Type/Macro Definition in Projects P582 在项目中声明类型与宏定义

Simulating Models Containing User C-Macros P584 通过用户宏定义进行仿真

Simulating Models Containing External Ada Code P585 通过外部Ada代码进行仿真

Using Simulation API for Co-Simulation P587 调用仿真接口

Running Double Simulation Sessions P593 同时进行两个仿真会话

Enabling/Launching Double Simulation Mode P593 激活双仿真模式

Using Watch in Double Simulation Mode P595 监视两个仿真

Using Graph in Double Simulation Mode P595 双仿真图形化展示

Handling Breakpoints, Assertions and Exceptions P596 断点，断言与异常的处理

子主题

Generating Desktop and Mobile Applications 生成桌面与移动应用

 Collect

Get Started

user

 Collect

Get Started

user

 Collect

Get Started

sql_user

 Collect

Get Started

user_like_2





0 条评论

下一页