The IEEE'S Design Automation Standards Committee (DASC) has approved a project to use Verisity's e verification language as a basis for standardization. The IEEE Standards Association assigned the number 1647 to the project. The e language becomes the first verification language to be considered by the IEEE. For more, see www.verisity.com.
0 comments
Hide comments