The steep growth of verification complexity combined with shortened time to market requirements, necessitates a search for more efficient and automated verification practices ... This paper discusses ...