共 50 条
- [31] Equivalence checking method for fixed-point arithmetic datapaths Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2009, 21 (01): : 27 - 32
- [32] Self Similarity and Interval Arithmetic Based Leakage Optimization in RTL Datapaths 2014 22ND INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2014,
- [33] Equivalence verification of arithmetic datapaths with multiple word-length operands 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 822 - +
- [35] Work in Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs 2017 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2017, : 372 - 374
- [36] A Survey of Approximate Computing: From Arithmetic Units Design to High-Level Applications Journal of Computer Science and Technology, 2023, 38 : 251 - 272
- [37] A Model for Array-based Approximate Arithmetic Computing with Application to Multiplier and Squarer Design PROCEEDINGS OF THE 2014 IEEE/ACM INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN (ISLPED), 2014, : 9 - 14
- [39] Thermal Optimization using Adaptive Approximate Computing for Video Coding PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 1207 - 1212