Department of ECE, Virginia Tech Blacksburg, VA, 24061, USA;
机译:使用ATPG和可观察性增强的标签覆盖范围的RTL电路自动设计验证的框架
机译:用于RTL的HDL描述的自动控制器提取器
机译:基于RTL行为描述的新型ATPG方法
机译:通过RTL ATPG对HDL描述进行自动设计验证的框架
机译:关于模拟ATPG(自动测试程序生成)的实现。
机译:基于Max-SAT的ATPG在最佳癌症治疗设计中的应用
机译:通过RTL ATPG对HDL描述进行自动设计验证的框架