Dear Author,
I read your paper "Directed test generation using concolic testing on RTL models" and was very interested in this research. While when I read the program, I have encountered many confused and the program code could not be run. Could you provide me with more detail information about this program? For example, how to get it running?
Best regards!
Dear Author,
I read your paper "Directed test generation using concolic testing on RTL models" and was very interested in this research. While when I read the program, I have encountered many confused and the program code could not be run. Could you provide me with more detail information about this program? For example, how to get it running?
Best regards!