Formal design method of high-performance VLSI datapaths based on computer algebra

点击翻译按钮获取中文摘要

This research project aimed to develop high-level design methodology for arithmetic algorithms, and developed formal verification method of arithmetic algorithms based on computer algebra and its application to arithmetic module generator. In particular, the newly-developed generator can generate typical operations in security systems such as modular exponentiation operations. The generated algorithms can be verified completely by the formal verification method.