Chen, Z., Zhang, X., Qian, Y., & Cai, S. (2024). Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization.
Chicago-Zitierstil (17. Ausg.)Chen, Zhihan, Xindi Zhang, Yuhang Qian, und Shaowei Cai. Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization. 2024.
MLA-Zitierstil (9. Ausg.)Chen, Zhihan, et al. Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.