Abstracts; Computationalmodeling; Semantics; Software; Time-domainanalysis; Time-varyingsystems; Unifiedmodelinglanguage; SystemC; VERDS; formalsemantics; transactionlevelmodel;
机译:符合标准兼容并行Systemc模拟松散定时的交易级模型:从备忘到基于Linux的应用程序支持
机译:使用通用且面向方面的框架监视事务级别的SystemC模型
机译:片上系统的SystemC事务级模型的完整仿真范围
机译:Systemc交易级模型的可执行语义及其具有Verds的应用程序
机译:在systemc中验证交易级别模型的框架。
机译:分析SystemC设计:适用于各种应用的SystemC分析方法
机译:智能卡系统:使用systemC和事务级建模管理风险和建模安全协议