Center for Reliable High-Performance Comput., Univ. of Illinois, Urbana, IL;
机译:基于符号故障仿真检查顺序数字设备的测试生成
机译:并行GPU架构仿真框架,利用时序误差预测开发架构级并行性
机译:倾斜:快速架构级瞬态热仿真方法
机译:使用符号数据的体系结构级故障模拟
机译:增强的符号仿真,用于验证嵌入式内存系统和数据路径。
机译:华北中部地块活动断裂过程中断层模式与应力场的相互作用:数值模拟的启示
机译:使用符号数据的建筑级故障模拟