Mohammad Hashem Haghbayan, Bijan Alizadeh. A dynamic specification to automatically debug and correct various divider circuits. Integration, 53:100-114, 2016. [doi]
@article{HaghbayanA16, title = {A dynamic specification to automatically debug and correct various divider circuits}, author = {Mohammad Hashem Haghbayan and Bijan Alizadeh}, year = {2016}, doi = {10.1016/j.vlsi.2015.12.004}, url = {http://dx.doi.org/10.1016/j.vlsi.2015.12.004}, researchr = {https://researchr.org/publication/HaghbayanA16}, cites = {0}, citedby = {0}, journal = {Integration}, volume = {53}, pages = {100-114}, }