SAN MATEO, Calif. &#151 Debug tool vendor Novas Software Inc. (San Jose, Calif.) has taken a significant step toward allowing engineers to actually use newly emerging assertion-based verification ...

Novas Software has extended its Verdi behavior-based debugging system to support assertion-based verification methods. Assertions, language constructs that help you formally verify a design, express ...

YOKOHAMA, Japan--(BUSINESS WIRE)--SpringSoft, Inc., a global supplier of specialized IC design software, today announced that CM Engineering Co. Ltd. (CM Engineering) has adopted the Verdi™ Automated ...