共 50 条
- [33] The maximal linear extension theorem in second order arithmetic Archive for Mathematical Logic, 2011, 50 : 543 - 564
- [36] RNS implementation of FIR filters based on distributed arithmetic using field-programmable logic Proceedings - IEEE International Symposium on Circuits and Systems, 1999, 1
- [37] RNS implementation of FIR filters based on distributed arithmetic using field-programmable logic ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 1: VLSI, 1999, : 486 - 489
- [38] Performance Analysis and Optimization of Distributed Arithmetic-Based Convolutional Algorithms for FIR Filters on FPGA 2023 34TH IRISH SIGNALS AND SYSTEMS CONFERENCE, ISSC, 2023,
- [39] Linear and nonlinear arithmetic in ACL2 CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2003, 2860 : 319 - 333