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

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

• •侧重于提高数据通路等价性检查的效率。
• •利用并行处理和混合引擎来提高性能。
• •解决了硬件设计验证的一个关键方面。