共 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] RELIABLE IMPLEMENTATION OF LINEAR FILTERS WITH FIXED-POINT ARITHMETIC 2013 IEEE WORKSHOP ON SIGNAL PROCESSING SYSTEMS (SIPS), 2013, : 401 - 406
- [35] Feedback decoding of fixed-point arithmetic convolutional codes ISIT: 2002 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, PROCEEDINGS, 2002, : 378 - 378
- [36] Wave Computer Core Using Fixed-point Arithmetic 2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2015, : 1514 - 1517
- [38] FIXED-POINT, PARALLEL ARITHMETIC DIGITAL SIGNAL PROCESSORS COMSAT TECHNICAL REVIEW, 1978, 8 (02): : 273 - 330
- [40] Formal verification of a controller implementation in fixed-point arithmetic 2023 EUROPEAN CONTROL CONFERENCE, ECC, 2023,