Petri Nets; SystemC; Transaction-level modeling; formal models;
机译:符合标准兼容并行Systemc模拟松散定时的交易级模型:从备忘到基于Linux的应用程序支持
机译:使用通用且面向方面的框架监视事务级别的SystemC模型
机译:片上系统的SystemC事务级模型的完整仿真范围
机译:与培养网交易级系统模块和事务渠道的建模
机译:在systemc中验证交易级别模型的框架。
机译:在多个级别上建模分子机器的随机动力学:从分子到模块
机译:智能卡系统:使用systemC和事务级建模管理风险和建模安全协议