Modelsim, more abstraction