Modsim Approach Using Abstraction Shapes