|
|
1
0
是否确实要将约束从一个测试更改为另一个测试?代理是主动的并向DUT发送数据,或者是被动的,只收集从DUT发送的数据。 人们通常做的是将代理定义为活动的,这样它就有一个序列驱动程序和一个BFM。 在测试文件中,通过定义此代理的序列来定义测试的场景。 因此,在不希望从该代理向DUT发送任何数据的测试中,请将序列设置为不执行任何操作-
如果确实要更改环境拓扑,并且在某些测试中代理是被动的,而在某些测试中代理是主动的,则可以在测试文件中通过约束代理来执行此操作。 这个约束必须在预运行生成中。 通过测试-代理是否处于活动状态。这在运行期间无法更改。您不能说“我使用被动代理启动测试,但在测试过程中,我希望将其激活”。 |
|
|
2
0
如果已实例化bfm,则必须是uart\u tx\u agent\u处于活动状态。 当你说你没有改变它-也许它是随机设置为活动的? |
|
|
3
0
测试开始后将生成序列结构。只有在有驱动程序的情况下才会生成序列。并且,仅当代理处于活动状态时,才会实例化驱动程序。 应自上而下约束环境拓扑,而不是从包含在其中的结构约束单元 如果您知道希望代理处于活动状态,请约束它-
或来自其父级
|
|
|
evilpascal · Specman/e列表列表(多维数组) 8 年前 |
|
|
Aidan Knight · 确认代码页正在自动验证,无需输入 8 年前 |
|
|
lllllllllllll · 通过两个实现对阶乘程序进行Coq验证 8 年前 |
|
|
Sara p · Specman-BFM已创建,但不应创建 8 年前 |
|
|
user826955 · 使用节点。js使用CA证书验证X509证书 8 年前 |
|
|
Carol · Promela中N个进程之间的锁定 8 年前 |
|
|
Ahmed · 使用ejabberd的验证码 8 年前 |
|
|
Afonso Ramos · 算法-检查编号是否已在列表中 10 年前 |