无线通信和移动计算
研究文章

正式验证关键系统硬件组件

清单23

等效BCD加法
(1) 定理检查_equiv_BCD_adder
(2) BCDA BCDDERLAD