Alizadeh, Bijan, et al. “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, Institute of Electrical and Electronics Engineers (IEEE), 2014, pp. 1–1, doi:10.1109/tc.2014.2329687.
LibreCat: /record/46266
DOI: 10.1109/tc.2014.2329687

Goser, K., et al. “VLSI Technologies for Artificial Neural Networks.”10.1109/40.42985__IEEE Micro, vol. 9, no. 6, Institute of Electrical and Electronics Engineers (IEEE), 2002, pp. 28–44, doi:10.1109/40.42985.
LibreCat: /record/39925
DOI: 10.1109/40.42985

Goser, K., et al. “VLSI Technologies for Artificial Neural Networks.”10.1109/40.42985__IEEE Micro, vol. 9, no. 6, Institute of Electrical and Electronics Engineers (IEEE), 2002, pp. 28–44, doi:10.1109/40.42985.
LibreCat: /record/39926
DOI: 10.1109/40.42985