...
机译:流程代数中SystemC设计的形式分析
Ecole Polytechnique Federate de Lausanne Station 14, CH-1015 Lausanne, Switzerland;
Eindhoven University of Technology P.O. Box 513, NL-5600MB, Eindhoven, The Netherlands;
Reykjavik University, Reykjavik, Iceland University of Tehran, Tehran, Iran;
systemc; process algebra; formal verification; mcrl2;
机译:SystemCFL:硬件/软件协同设计的正式规范和分析
机译:用SystemC编写的系统级设计的组合反应语义以及带谓词抽象的形式验证
机译:分析SystemC设计:适用于各种应用的SystemC分析方法
机译:依赖性分析和自动分区对系统设计的可扩展正式分析
机译:MIPS指令集模拟器的设计,用于SystemC中的多核处理器研究。
机译:分析SystemC设计:适用于各种应用的SystemC分析方法
机译:分析systemC设计:针对不同应用程序的systemC分析方法
机译:分布式数据处理系统的形式化设计与分析。