Bibliographic Details
| Title: |
A method of state machine coverage collection based on static analysis and assertion |
| Authors: |
Li, You, You, Jing, Sun, Yuming |
| Source: |
2023 IEEE International Conference on Sensors, Electronics and Computer Engineering (ICSECE) Sensors, Electronics and Computer Engineering (ICSECE), 2023 IEEE International Conference on. :1315-1319 Aug, 2023 |
| Relation: |
2023 IEEE International Conference on Sensors, Electronics and Computer Engineering (ICSECE) |
| Database: |
IEEE Xplore Digital Library |
