Contacts
If you have any questions, feel free to contact anyone from HAVEN development group:
- Marcela ©imková isimkova [at] fit.vutbr.cz
- Ondřej Lengál ilengal [at] fit.vutbr.cz
- Michal Kajan ikajan [at] fit.vutbr.cz
Hardware-Accelerated Verification ENvironment
If you have any questions, feel free to contact anyone from HAVEN development group: