Soft Assertion versus Hard Assertions