A universal framework of dual-use model for both performance and functionality based on the abstract state machine

Confronted with ever increasing design complexity, modeling system architectures for early performance evaluation and fast exploration of the design space will be a necessary process. Meanwhile, function verification has been a bottleneck for time to market. The sharing of the two processes will greatly enhance the efficiency of system development. This paper presents a universal framework of dual-use model for both performance and functionality based on the abstract state machine, to reuse the performance model in building reference model to reduce the cycle of verification. The Application Program Interface (API) function library based on Universal Verification Methodology (UVM), corresponding to the dual-use model, is provided simultaneously. Associated with the function library, the abstract state machine is recorded by the state machine component in Verification Expert System (VES) toolbox to generate specific code automatically.