...emC 2.0.1 版本的语言参考手册, SystemVerifier 还支持 OSCI SystemC 验证库 1.0 版,它是对事务记录(Transaction recording)的扩展库。
基于8个网页-相关网页
对事务记录
Transaction records
以上为机器翻译结果,长、整句建议使用 人工翻译 。
对事务回退操作采用抽象操作符记录动作的执行顺序,通过动作的逆操作实现事务的回退操作。
For rollback transaction using abstract operating sings record the executive sequence, adopting the contrary execution realizes the rollback transaction.
youdao
应用推荐
模块上移
模块下移
不移动