Department of Computer Science Michigan Technological University Houghton, Michigan 49931, USA;
Computer Science and Engineering Department Michigan State University East Lansing, Michigan 48824, USA;
Computer Science and Engineering Department Michigan State University East Lansing, Michigan 48824, USA;
fault tolerance; systemc; automated design;
机译:促进事务级SystemC程序中的容错设计
机译:SystemC事务级模型的设计和验证
机译:基于SEDC的硬件级容错和大数据和云计算的故障安全检查器设计
机译:促进交易级系统程序中容错的设计
机译:探索应用级的容错能力,以使用FPGA进行稳健的设计。
机译:分析SystemC设计:适用于各种应用的SystemC分析方法
机译:证明不定时systemC TLm设计的事务和系统级属性
机译:分布式程序中的高级容错