It is a great article about verification. Finally, I can really say executives at big EDA companies understand the issues. The article addresses reusability across different designs and one design with different representations. Like Java, "write once and run everywhere" is the key factor that increases productivities.
However, are the technologies really new? The answer is no. We (www.tarek.com) have been addressed those issues since 2004.