The following publications are possibly variants of this publication:
- A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath DesignsBijan Alizadeh, Payman Behnam, Somayeh Sadeghi Kohan. TC, 64(6):1564-1578, 2015. [doi]
- Improving polynomial datapath debugging with HEDsSomayeh Sadeghi Kohan, Payman Behnam, Bijan Alizadeh, Masahiro Fujita, Zainalabedin Navabi. ets 2014: 1-6 [doi]
- A Formal Approach for Debugging Arithmetic CircuitsO. Sarbishei, M. Tabandeh, Bijan Alizadeh, Masahiro Fujita. tcad, 28(5):742-754, 2009. [doi]