-
++, Python, and JavaScript languages, multi- and many-core SoC, RISC-V, hardware synthesis, hardware-software co-design, (meta-heuristic) optimization algorithms, machine learning frameworks, (bonus topics
Searches related to software verification
Enter an email to receive alerts for software-verification positions