University of Verona Strada Le Grazie 15, Verona, Italy;
University of Verona Strada Le Grazie 15, Verona, Italy;
Testbench Specification Language; Embedded Software; Stimuli Generation; SystemC Verification Library;
机译:用于验证自动化的Testbench语言
机译:通过突变分析对SystemC TLM协议进行测试台鉴定
机译:CCSL作为规范语言的时空一致性语言的验证框架
机译:用于SystemC验证的TestBench规范语言
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:系统生物学标记语言(SBML):3级版本2核心发行版2的语言规范
机译:使用中间验证语言和符号模拟验证systemC *