Cited By
View all- Tsai MFu YLiu JShi XWang BYang B(2023)Certified Verification for Algebraic AbstractionComputer Aided Verification10.1007/978-3-031-37709-9_16(329-349)Online publication date: 17-Jul-2023
- Zolfagharinejad MKamal MAfzali-Khusha APedram M(2022)Posit Process Element for Using in Energy-Efficient DNN AcceleratorsIEEE Transactions on Very Large Scale Integration (VLSI) Systems10.1109/TVLSI.2022.316551030:6(844-848)Online publication date: 1-Jun-2022
- Gök MÖzbilen M(2018)Evaluation of Sticky-Bit Generation Methods for Floating-Point MultipliersJournal of Signal Processing Systems10.1007/s11265-008-0258-756:1(51-57)Online publication date: 27-Dec-2018