Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleAn algebraic approach for proving data correctness in arithmetic data paths.
Author(s) Gert-Martin Greuel, Wolfgang Kunz, Dominik Stoffel, Markus Wedler, Oliver Wienand
TypeBook, Chapter in Book, Conference Proceeding
AbstractThis paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexity, restricted to verifying only the control behavior. The circuit is modeled at the arithmetic bit level (ABL) so that our approach is well adapted to current industrial design styles for high performance data paths. Normalization at the ABL is combined with the techniques of computer algebra. We compute normal forms with respect to Gröbner bases over rings ℤ/⟨2n⟩. Our approach proves tractable for industrial data path designs where standard property checking techniques fail.
ISBN978-3-540-70543-7/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-540-70545-1_45
LanguageEnglish
Pages473--486
PublisherBerlin: Springer
Year2008
Edition0
Translation No
Refereed No
Webmaster