In this paper the HVL being used is Jeda. It provides the verification mechanism, sothe verification efficiency is improved greatly.

• Jeda语言就是这样一种语言,它本身提供了实现模拟验证方法的机制,提高了模拟验证的效率。