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

Goser K, Hilleringmann U, Rueckert U, Schumacher K. VLSI technologies for artificial neural networks. IEEE Micro. 2002;9(6):28-44. doi:10.1109/40.42985

Goser K, Hilleringmann U, Rueckert U, Schumacher K. VLSI technologies for artificial neural networks. IEEE Micro. 2002;9(6):28-44. doi:10.1109/40.42985