B. Alizadeh, P. Behnam, and S. Sadeghi-Kohan, “A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs,”10.1109/tc.2014.2329687__IEEE Transactions on Computers, pp. 1–1, 2014, doi:10.1109/tc.2014.2329687 .

K. Goser, U. Hilleringmann, U. Rueckert, and K. Schumacher, “VLSI technologies for artificial neural networks,”10.1109/40.42985__IEEE Micro, vol. 9, no. 6, pp. 28–44, 2002, doi:10.1109/40.42985 .

K. Goser, U. Hilleringmann, U. Rueckert, and K. Schumacher, “VLSI technologies for artificial neural networks,”10.1109/40.42985__IEEE Micro, vol. 9, no. 6, pp. 28–44, 2002, doi:10.1109/40.42985 .