...
机译:基于静态切片和动态排序的RTL数据路径设计的具有自动更正能力的可扩展形式调试方法
School of Electrical and Computer Engineering, College of Engineering, University of Tehran, North Kargar Ave., Tehran, Iran;
Computer bugs; Correlation; Debugging; Hardware; Hardware design languages; Polynomials; Software; Formal verification; RTL datapath designs; debugging and correction; decision diagram; equivalence checking;
机译:具有自动校正机制的形式等效验证和调试技术,用于RTL设计
机译:调试正式规格:使用基于模型的诊断和对策的实用方法
机译:基于动态切片的依赖关系分析用于调试
机译:调试多项式数据路径设计的正式方法
机译:基于动态切片和切块的C ++交互式调试工具
机译:排名概率方法及其在大规模研究设计和分析中的用途
机译:VHDL-RTL设计软件调试中的建模状态 - a. 基于模型的诊断方法