A Genetic Approach for Automatic AxC Design Exploration at RTL Based on Assertion Mining and Fault Analysis
| Title: | A Genetic Approach for Automatic AxC Design Exploration at RTL Based on Assertion Mining and Fault Analysis |
|---|---|
| Authors: | Bosio, A.; Germiniani, S.; Pravadelli, G.; Traiola, M. |
| Source: | IEEE Transactions on Emerging Topics in Computing IEEE Trans. Emerg. Topics Comput. Emerging Topics in Computing, IEEE Transactions on. 13(4):1633-1648 Jan, 2025 |
| Database: | IEEE Xplore Digital Library |