Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

About the Use of TL-Test #2481

Open
changekkk opened this issue Nov 15, 2023 · 6 comments
Open

About the Use of TL-Test #2481

changekkk opened this issue Nov 15, 2023 · 6 comments

Comments

@changekkk
Copy link

changekkk commented Nov 15, 2023

你好,请教一下,关于TL-Test在不同验证层级的使用,目前提供的工程里看到,有模块级和子系统级的使用,SOC级的应用,也就是说只保留monitor的bus rule checker功能,master/slave agent关闭的使用方式,目前有实际应用吗?或者说,关闭master和slave agent的方式是什么?

Hello, I have a question. Regarding the usage of TL-Test across different verification levels, from what I've observed in the provided project, there are usages at both the module and subsystem levels, as well as at the SOC level. This implies that only the bus rule checker functionality of the monitor is retained, and the usage involves deactivating the master/slave agents. Is this currently being applied in practice? Or rather, what is the method to deactivate the master and slave agents?

@cebarobot cebarobot changed the title 关于TL-Test使用 About using TL-Test Nov 15, 2023
@cebarobot cebarobot changed the title About using TL-Test About the Use of TL-Test Nov 15, 2023
@Ivyfeather
Copy link
Member

目前我们的 TL-Test 只能支持模块级/子系统 (L2-L3) 级,由 TL-Test 主动发出请求。暂时不支持 SOC 级只使用 monitor 和 checker 的方案,因为框架里的对计分板 ScoreBoard 的更新和 Agent 发请求逻辑是紧耦合的。如果想要支持,可能需要修改一下这部分代码,添加根据外部请求更新 ScoreBoard 的逻辑,并添加将总线请求传入 TL-Test 的硬件逻辑。

如果想验证香山 SOC 级的一致性,目前我们的 difftest 框架中有关于一致性的检查,它维护了一个 Golden Memory,在原子指令/Store Buffer写入L1时更新(update_goldenmem),并在向 L1 重填时进行数据检查(refill test),可以查看一下这部分代码。

@Ivyfeather
Copy link
Member

Currently, our TL-Test only supports unit-level/subsystem (L2-L3) testing. We temporarily do not support a solution at the SOC level that only utilizes monitors and checkers, because the logic for updating the scoring board and sending requests from the agent is tightly coupled within the framework. To support such a solution, it may be necessary to modify the code by adding logic to update the scoring board based on external requests and incorporate the hardware logic of passing bus requests to TL-Test.

If you wish to verify the consistency of the Xiangshan SOC level, our difftest framework includes consistency checks. It maintains a Golden Memory that is updated when atomic instructions/Store Buffers write to L1 (update_goldenmem), and performs data checks during L1 refill (refill test). You can refer to the corresponding code for further details.

@changekkk
Copy link
Author

changekkk commented Nov 15, 2023

好的,同时我看到咱们目前在昆明湖架构新引入的 CHI-Test,这个是可以支持SOC层级的验证吗?

[Translation]
Okay, at the same time, I see that we are currently introducing the new CHI-Test in the Kunming Lake architecture, can this support SOC-level verification?

@Ivyfeather
Copy link
Member

Ivyfeather commented Nov 16, 2023

目前的 CHI-Test 也还不支持 SOC 层次的验证

[Translation]
The current CHI-Test also does not support SOC-level verification

@changekkk
Copy link
Author

changekkk commented Nov 16, 2023

目前CHI-Test代码可以看到吗?

[Translation]
Is CHI-Test code available at the moment?

@Ivyfeather
Copy link
Member

Ivyfeather commented Nov 16, 2023

目前 CHI-Test 还尚未完成,暂时看不到

[Translation]
At the moment, the CHI-Test has not yet been completed, so it will not be available at this time

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants