Archives: News
-
Synopsys Announces New Technology for Optimizing Multicore Systems
MOUNTAIN VIEW, Calif., Feb. 7, 2011 /PRNewswire/ — Synopsys, Inc. (Nasdaq: SNPS), a world leader in software and IP for semiconductor design, verification and manufacturing,…
-
Jasper DVCon Highlights: ActiveProp and Advanced Formal Solutions
WHAT: Jasper Design Automation’s ActiveProp™ property synthesis tool will make its North American debut at this year’s DVCon. ActiveProp automatically synthesizes properties to expand the property verification set,…