基于補碼等價定義的Booth算法證明
2012-04-12 00:00:00王順利
現代電子技術 2012年12期
摘要：Booth算法是定點補碼乘法的基本運算方法。一般文獻中，Booth算法都是通過校正法演變過度而來的，但校正法的運算規律不統一，硬件控制復雜，實用價值不大。在此給出了一種補碼的等價定義，統一了補碼定義的分段表示形式，把數字化的機器數符號納入統一的表達式中，并在此基礎上，消除了校正法作為中間環節的影響，直接給出了Booth算法完整的理論證明。結果表明，引入補碼等價定義，可以完全避開校正法，直接推證出Booth算法，比傳統方法更簡明、嚴謹、實用。
關鍵詞：定點乘法運算；補碼等價定義；校正法；Booth算法
中圖分類號：TN911-34；TP301.6文獻標識碼：A文章編號：1004-373X(2012)12-0116-03
