共 50 条
- [41] Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation PROCEEDINGS OF THE 15TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2015), 2015, : 2 - 2
- [42] Gray encoded arithmetic operators applied to FFT and FIR dedicated datapaths VLSI-SOC: FROM SYSTEMS TO CHIPS, 2006, 200 : 281 - +
- [45] Interval Arithmetic and Self Similarity Based Subthreshold Leakage Optimization in RTL Datapaths VLSI-SOC: INTERNET OF THINGS FOUNDATIONS, 2015, 464 : 75 - 94
- [46] Performance optimization of synchronous control units for datapaths with variable delay arithmetic units ASP-DAC 2003: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2003, : 816 - 819
- [47] Adaptive Approximate Computing on Hardware Accelerators Targeting Internet-of-Things 2020 IEEE 6TH WORLD FORUM ON INTERNET OF THINGS (WF-IOT), 2020,
- [48] Energy-aware Adaptive Approximate Computing for Deep Learning Applications 2022 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI 2022), 2022, : 328 - 328
- [49] Exploiting vanishing polynomials for equivalence verification of fixed-size arithmetic datapaths 2005 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS & PROCESSORS, PROCEEDINGS, 2005, : 215 - 220
- [50] ACAM: Approximate Computing Based on Adaptive Associative Memory with Online Learning ISLPED '16: PROCEEDINGS OF THE 2016 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, 2016, : 162 - 167