modelsim alternatives for linux