Using abstraction, designers are able to focus on the high-level design & tests while the tools took care of the automation at the low-level.
So the cat is out of the bag. We are working on an assertion tool. This DVCon we turned quite a few heads when we announced our new assertion product IAssertSpec. Not that the tool is ready by any stretch of the ...