TY  - RPRT
TI  - Sequence-Based Incremental Concolic Testing of RTL Models
AU  - Hasini Witharana
AU  - Aruna Jayasena
AU  - Prabhat Mishra
PY  - 2023
DO  - 10.1145/3655621
UR  - https://arxiv.org/abs/2302.12241
ID  - 2302.12241
ER  -