论文标题
一个自动测试和调试工具包，用于门级逻辑综合应用
An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications
论文作者
论文摘要
正确性和鲁棒性对于逻辑合成应用至关重要，但通常仅以有限的基准测试。此外，当应用程序以较大的基准测试失败时，调试过程可能乏味且耗时。在某些领域，例如编译器构造，自动测试和调试工具的开发良好，以支持开发人员，并为程序质量提供最少的保证。在本文中，我们调整了模糊测试和Delta调试技术，并专门针对逻辑合成通常使用的栅极级网表单。我们的工具包可以通过支持其他门级网表格式并允许紧密整合以提供10倍加速的类似工具来改善用于Aiger格式的类似工具。实验结果表明，我们的模糊器在使用10倍较小的测试柜中捕获了大型，ABC和Lsoracle的缺陷，并且使用较少的Oracle调用较小的测试柜最小化的诱导核心的测试柜最小化的核心。
Correctness and robustness are essential for logic synthesis applications, but they are often only tested with a limited set of benchmarks. Moreover, when the application fails on a large benchmark, the debugging process may be tedious and time-consuming. In some fields such as compiler construction, automatic testing and debugging tools are well-developed to support developers and provide minimal guarantees on program quality. In this paper, we adapt fuzz testing and delta debugging techniques and specialize them for gate-level netlists commonly used in logic synthesis. Our toolkit improves over similar tools specialized for the AIGER format by supporting other gate-level netlist formats and by allowing a tight integration to provide 10x speed-up. Experimental results show that our fuzzer captures defects in mockturtle, ABC, and LSOracle with 10x smaller testcases and our testcase minimizer extracts minimal failure-inducing cores using 2x fewer oracle calls.
