Behzad Akbarpour, Sofiène Tahar. An approach for the formal verification of DSP designs using Theorem proving. IEEE Trans. on CAD of Integrated Circuits and Systems, 25(8):1441-1457, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.