Editor's Note – In late April, the Accellera standards committee selected IBM’s Sugar 2.0 language as a new standard that will drive assertion-based verification. A number of EDA vendors have endorsed ...