doing modelsim