دورية أكاديمية
A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model
العنوان: | A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model |
---|---|
المؤلفون: | Lv, Z., Chen, S., Zhang, T., Wang, Y. |
المصدر: | IEEE Access Access, IEEE. 7:14947-14958 2019 |
قاعدة البيانات: | IEEE Xplore Digital Library |
تدمد: | 21693536 |
---|---|
DOI: | 10.1109/ACCESS.2019.2892649 |