FastLEC：基于混合引擎的并行数据通路等价性检查

本文可能提出了一种新方法，使用并行处理技术和混合引擎来验证硬件设计中数据通路的等价性。重点是提高等价性检查过程的效率和速度，这对于确保硬件实现的正确性至关重要。“混合引擎”的使用表明结合了不同的计算方法，可能利用每种方法的优势来优化性能。来源是ArXiv表明这是一篇研究论文。