zsxpdsyz / symex_processor_verification Goto Github PK
View Code? Open in Web Editor NEWThis project forked from agra-uni-bremen/symex_processor_verification
hardware verification with firstly translate to C++ and then using KLEE symbolic execution.
License: MIT License