Register-transfer-level Implementation: Design aids - verification; Algorithms; Design; Verification; Formal verification; Debugging; Behavioral indexing; Property verification; Post-silicon debugging; Traceless debugging;
机译:用于测试和验证网络物理系统的正式要求调试
机译:支持系统开发的正式方法,统计调试和探索性分析:迈向验证和确认计算器工具
机译:集成了调试和覆盖率分析的电路的增强形式验证流程
机译:超越验证:利用正式进行调试
机译:多合一调试方法:Java调试,执行可视化和验证。
机译:网络物理系统中控制模块的正式验证
机译:FausT:形式验证,自动调试和软件测试生成的框架⋆
机译:IEEE / Nasa利用正式方法,验证和验证应用的研讨会