Weizhi Feng, Yicheng Liu, Jiaxiang Liu 0001, David N. Jansen, Lijun Zhang 0001, Zhilin Wu. Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once. In Vivek De, editor, Proceedings of the 61st ACM/IEEE Design Automation Conference, DAC 2024, San Francisco, CA, USA, June 23-27, 2024. ACM, 2024. [doi]
Abstract is missing.