Journal of Electrical and Computer Engineering / 2009 / Article / Tab 1

Research Letter

Token-Aware Completion Functions for Elastic Processor Verification

Table 1

Verification times and SMT statistics.

ElasticYicesTotal
Models Bool Vars Time (sec) Time (sec)

𝑀 0 887 0.22 1.07
𝑀 1 1,101 0.46 2.29
𝑀 2 1,889 1.05 5.07
𝑀 3 2,811 1.32 6.17
𝑀 4 3,096 3.29 16.65
𝑀 5 3,605 4.16 24.42

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.