FAL: A function abstraction language for verification automation

Functional verification is one of the key problems hindering successful design of large and complex hardware. As the base of functional verification, summary and decomposition of function points are leak-prone due to lack of standard language to abstract function points from specification. In this paper, we propose a function abstraction language, FAL, which is used for describing function points from specification. Besides, we develop a corresponding compiler, which can automatically generate the corresponding verification platform given any FAL description. The auto-generated verification platform can generate efficient test sequences, check the properties of function points and record the simulation information and coverage report. The experimental results show that compared with the random test generation, the procedure convergence of our proposal is much faster. In addition, compared with the manual work, the proposed automatic verification framework can lead to 46.6% reduction of time on average in building verification platform.