Electrical Computer Engineering Georgia Institute of Technology Atlanta GA 30332 USA;
Computer bugs; Discrete Fourier transforms; Radio frequency; Receivers; Silicon; Circuit faults; Debugging;
机译:MTraceCheck:在硅后验证中验证内存一致性模型的不确定行为
机译:通过结合前向检查和边界一致性来实现有效的单例一致性
机译:硅前和硅后验证的符号快速错误检测:常见问题
机译:BISCC:使用内置状态一致性检查的混合信号/射频系统的硅验证高效。
机译:使用内置和内置自检功能预测模拟和混合信号电路的性能参数。
机译:安全手术:手术前后清单的确认
机译:自动生成混合信号电路和系统的内置自测和测量电路
机译:使用多变量测量的同时一致性检查进行信号验证。