Details for the publication FengL0J0W24.

Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen (), Lijun Zhang, Zhilin Wu (): Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once. In Proceedings of the 61st ACM/IEEE Design Automation Conference, DAC 2024, San Francisco, CA, USA, June 23-27, 2024, pages 213:1-213:6, 2024. DOI BIB