- Guiqi Mo, Yimin Xia, Jianhong Ou, Shuting Cai, Xiaoming Xiong. Layout Congestion Prediction Based on Regression-ViT. ACM Trans. Design Autom. Electr. Syst., 30(1):1-21, 2025.
- Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Jha 0001, Rickard Ewetz. LOGIC: Logic Synthesis for Digital In-Memory Computing. ACM Trans. Design Autom. Electr. Syst., 30(2), March 2025.
- Yuhao Zhou, Jianhui Jiang, Zhenxue He, Ying Zhang 0040, Chengcheng Chen, Zhanhui Shi, Wei Zhang 0248, Keying Yang. An Efficient Area and Reliability Optimization Method for MPRM Circuits Based on High-dimensional Genetic Algorithm. ACM Trans. Design Autom. Electr. Syst., 30(2), March 2025.
- Irith Pomeranz. SHAREDD: Sharing of Test Data and Design-for-Testability Logic for Transition Fault Tests under Standard Scan. ACM Trans. Design Autom. Electr. Syst., 30(1):1-13, 2025.
- Nikolaos Ioannis Deligiannis, Tobias Faller, Josie Esteban Rodriguez Condia, Riccardo Cantoro, Bernd Becker 0001, Matteo Sonza Reorda. Enhancing the Effectiveness of STLs for GPUs via Bounded Model Checking. ACM Trans. Design Autom. Electr. Syst., 30(2), March 2025.
- Zhihao Xu, Shikai Guo, Xiaochen Li, Zun Wang, He Jiang 0001. SIMTAM: Generation Diversity Test Programs for FPGA Simulation Tools Testing Via Timing Area Mutation. ACM Trans. Design Autom. Electr. Syst., 30(2), March 2025.
- Shiyuan Huang, Fangxin Liu, Tian Li, Zongwu Wang, Ning Yang, Haoming Li 0017, Li Jiang 0002. STCO: Enhancing Training Efficiency via Structured Sparse Tensor Compilation Optimization. ACM Trans. Design Autom. Electr. Syst., 30(1):1-22, 2025.
- Chenyi Wen, Haonan Du, Jiayi Wang, Zhengrui Chen, Li Zhang 0021, Qi Sun 0002, Cheng Zhuo. PACE: A Piece-Wise Approximate Floating-Point Divider with Runtime Configurability and High Energy Efficiency. ACM Trans. Design Autom. Electr. Syst., 30(2), March 2025.
- Donghao Fang, Boyang Zhang, Hailiang Hu, Wuxi Li, Bo Yuan 0001, Jiang Hu. Global Placement Exploiting Soft 2D Regularity. ACM Trans. Design Autom. Electr. Syst., 30(2), March 2025.
- Stéphane Pouget, Louis-Noël Pouchet, Jason Cong. Automatic Hardware Pragma Insertion in High-Level Synthesis: A Non-Linear Programming Approach. ACM Trans. Design Autom. Electr. Syst., 30(2), March 2025.