Atrenta RTL Analysis Products

I've become interested in RTL checking (linting) tools, and Atrenta has one of the most comprehensive offerings. They have introduced a new set of products (some repackaged from SpyGlass) and the new product family is called "1Team". 1Team:Analyze 1Team:Verify SpyGlass� Constraints Demonstration Update: In addition to the above company press releases, here's an overview by Richard Goering @ EE Times. EETimes.com - VERIFICATION: Atrenta adds analysis to suite of 'predictive' tools