[1] Kubica M, Kania D. Area-oriented technology mapping for LUT-based logic blocks[J]. International Journal of Applied Mathematics and Computer Science, 2017, 27(1): 207-222. [2] Schmitt B, Mishchenko A, Brayton R. SAT-based area recovery in structural technology mapping[C]// 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC). IEEE, 2018: 586-591. [3] 余超凡. FPGA工艺映射算法的优化研究[D]. 上海: 复旦大学, 2014. [4] JAMIESON P, KENT K B, GHARIBIAN F, et al. Odin II - an open-source Verilog HDL synthesis tool for CAD research[C]// IEEE International Symposium on Field-programmable Custom Computing Machines. IEEE, 2010: 149-156. [5] 路宝珠, 杨海钢, 郝亚男, 等. 基于区域重组的异构FPGA工艺映射算法[J]. 计算机辅助设计与图形学学报, 2012, 24(8): 1027-1037. [6] 路宝珠, 杨海钢, 郝亚男, 等. 面向算术单元的FPGA工艺映射算法[J]. 微电子学与计算机, 2012, 29(12): 1-6. [7] 徐宇, 林郁, 杨海钢. FPGA双端口存储器映射优化算法[J]. 电子与信息学报, 2020, 42(10): 2549-2556. [8] Purnaprajna M, Ienne P. A case for heterogeneous technology-mapping: Soft versus hard multiplexers[C]// 2013 IEEE 21st Annual International Symposium on Field-Programmable Custom Computing Machines. IEEE, 2013: 53-56. [9] Kohutka L, Pistek P. Faster synthesis of combinational logic based on multiplexer trees and binary decision diagrams[C]// IEEE International Conference on Emerging eLearning Technologies & Applications. IEEE, 2014: 239-244. [10] MOHAMED A B M, NOOR M S. High speed multiplexer design using tree based decomposition algorithm[J]. Microelectronics Journal, 2016, 51: 99-111. [11] 兰风宇. Xilinx Virtex-7 FPGA软错误减缓技术研究[D]. 哈尔滨: 哈尔滨工业大学, 2016. [12] Thakur S, Wong D F, Krishnamoorthy S. Delay minimal decomposition of multiplexers in technology mapping[C]// 33rd Design Automation Conference Proceedings. IEEE, 1996: 254-257. [13] Metzgen P, Nancekievill D. Multiplexer restructuring for FPGA implementation cost reduction[C]// Proceedings of the 42nd Annual Design Automation Conference, 2005: 421-426. [14] Mitra S, Avya L J, McCluskey E J. Efficient multiplexer synthesis techniques[J]. IEEE Design & Test of Computers, 2000, 17(4): 90-97. [15] Brayton R, Mishchenko A. ABC: An academic industrial-strength verification tool[C]// International Conference on Computer Aided Verification. Springer, Berlin, Heidelberg, 2010: 24-40. [16] Xilinx Inc. UG893-Vivado design suite user guide: Using the Vivado IDE[EB/OL]. (2021-11-6)[2022-2-17]. https://www.xilinx.com/content/dam/xilinx/support/documentation/sw_manuals/xilinx2021_2/ug893-vivado-ide.pdf.
|