Known Vulnerabilities in ModelSim