Techniques available for design verification /