@articleAlizadeh_Behnam_Sadeghi-Kohan_2014, title=A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs, DOI=10.1109/tc.2014.2329687, journal=IEEE Transactions on Computers, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Alizadeh, Bijan and Behnam, Payman and Sadeghi-Kohan, Somayeh, year=2014, pages=1–1 
LibreCat: /record/46266
DOI: 10.1109/tc.2014.2329687

@articleGoser_Hilleringmann_Rueckert_Schumacher_2002, title=VLSI technologies for artificial neural networks, volume=9, DOI=10.1109/40.42985, number=6, journal=IEEE Micro, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Goser, K. and Hilleringmann, Ulrich and Rueckert, U. and Schumacher, K., year=2002, pages=28–44 
LibreCat: /record/39925
DOI: 10.1109/40.42985

@articleGoser_Hilleringmann_Rueckert_Schumacher_2002, title=VLSI technologies for artificial neural networks, volume=9, DOI=10.1109/40.42985, number=6, journal=IEEE Micro, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Goser, K. and Hilleringmann, Ulrich and Rueckert, U. and Schumacher, K., year=2002, pages=28–44 
LibreCat: /record/39926
DOI: 10.1109/40.42985