APA (7th ed.) Citation

Zhou, S., Zhang, W., Zhang, X., Jiang, Z., You, H., & Cai, S. (2025, June 22). Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking. 2025 62nd ACM/IEEE Design Automation Conference (DAC), 1-7. https://doi.org/10.1109/DAC63849.2025.11132837

Chicago Style (17th ed.) Citation

Zhou, Shuai, Weikang Zhang, Xindi Zhang, Zite Jiang, Haihang You, and Shaowei Cai. "Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking." 2025 62nd ACM/IEEE Design Automation Conference (DAC) 22 Jun. 2025: 1-7. https://doi.org/10.1109/DAC63849.2025.11132837.

MLA (9th ed.) Citation

Zhou, Shuai, et al. "Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking." 2025 62nd ACM/IEEE Design Automation Conference (DAC), 22 Jun. 2025, pp. 1-7, https://doi.org/10.1109/DAC63849.2025.11132837.