Author:
Mahzoon Alireza,Große Daniel,Drechsler Rolf
Publisher
Springer International Publishing
Reference8 articles.
1. Arithmetic module generator based on ACG (2019). https://www.ecsis.riec.tohoku.ac.jp/topics/amg/i-amg
2. N. Eén, N. Sörensson, MiniSat (2008). http://minisat.se/
3. F. Farahmandi, P. Mishra, Automated test generation for debugging arithmetic circuits, in Design, Automation and Test in Europe (2016), pp. 1351–1356
4. S. Ghandali, C. Yu, D. Liu, W. Brown, M. Ciesielski, Logic debugging of arithmetic circuits, in IEEE Annual Symposium on VLSI (2015), pp. 113–118
5. A. Mahzoon, D. Große, R. Drechsler, Combining symbolic computer algebra and Boolean satisfiability for automatic debugging and fixing of complex multipliers, in IEEE Annual Symposium on VLSI (2018), pp. 351–356