International Association of Science and Technology for Development (IASTED);
VLSI design and CAD; system-level design; equivalence checking; sequentialization; concurrent behaviors; synchronization verification;
机译:基于C的硬件描述的等效检查方法
机译:基于C的硬件描述的等价检查方法
机译:使用高级功能和协议规范模型验证RTL设计的统一顺序等效性检查方法
机译:通过顺序化并发行为来检查基于C基系统级设计的等价
机译:模块化设计环境中的有效等效检查。
机译:使用配对样本分析对等效研究组顺序设计的测试参数和实现的比较
机译:通过识别潜在的内部对等性,提高系统级设计描述的基于规则的等价性检验的准确性