pass the tests on modelsim