C programming language; Algorithms; Circuits;
机译:Verilog导线互连的静态一致性检查使用相关类型检查Verilog描述的完整性
机译:验证RTL Verilog的单词级谓词抽象和提炼技术
机译:使用IC3和谓词抽象进行无限状态不变检查
机译:使用谓词抽象和归纳检查C和Verilog的一致性
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:临床指南获取和执行中的时间一致性检查:GLARE的方法
机译:使用谓词抽象和归纳检查C和Verilog的一致性