Functional Verification of High Performance Adders in COQ.

Qian Wang Xiaoyu Song Ming Gu Jia-Guang Sun

Published in: J. Appl. Math. (2014)

Keyphrases

functional verification
low latency
formal verification
formal methods
theorem prover
programmable logic
cost effective
case study
operating system
pattern matching