modelsim define clock