Details:
Title  An algebraic approach for proving data correctness in arithmetic data paths.  Author(s)  GertMartin Greuel, Wolfgang Kunz, Dominik Stoffel, Markus Wedler, Oliver Wienand  Type  Book, Chapter in Book, Conference Proceeding  Abstract  This paper proposes a new approach for proving arithmetic correctness of data paths in SystemonChip 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.  ISBN  9783540705437/pbk 
URL 
http://link.springer.com/chapter/10.1007%2F9783540705451_45 
Language  English  Pages  473486  Publisher  Berlin: Springer  Year  2008  Edition  0  Translation 
No  Refereed 
No 
