United Business Media EE Times


Search

HOMEMARKET INTELLIGENCE UNITFORUMSDESIGNNEW PRODUCTSCAREERSBLOGSCONTACTEVENTSSIGN UP!RSSMost Popular contentTrusted Sources

  Posted: 11:00 a.m., EDT, 6/17/98

Fujitsu builds formal verification tool

By Richard Goering

SUNNYVALE, Calif. — Fujitsu Laboratories of America has developed a formal equivalency checker and is looking for business partners to help market it. The tool, Assure, is being featured this week at Fujitsu's booth at the 35th Design Automation Conference.

Assure is said to verify circuits with hundreds of thousands of gates in one hour or less and to offer an open architecture with a variety of formal verification algorithms. It offers three interface modes: command line, graphical user interface and batch. It includes a range of verification constraint options and uses automatic correspondence-matching to reduce run times.

Sunl Wadhwa, a member of Fujitsu's research staff, said Assure is not yet for sale on the open market but has been used extensively inside Fujitsu on production designs. "I think the best thing about the tool is the integrated research and development," he said. "The latest results from the research group are incorporated into the tool."

Further information is available from Fujitsu via e-mail.

 

Back to News Center
  Free Subscription to EE Times
First Name Last Name
Company Name Title
Email address
  Click here for your Free Subscription to EETimes Europe
 
CAREER CENTER
Looking for a new job?
SEARCH JOBS
SPONSOR

RECENT JOB POSTINGS
CAREER NEWS
SRC Expands R&D Centers
The Semiconductor Research Corp has added a new center to its university R&D efforts.

For more great jobs, career related news, features and services, please visit EETimes' Career Center.


All White Papers »   

 
Education and
Learning


Learn Now:












Home | About | Editorial Calendar | Feedback | Subscriptions | Newsletter | Media Kit | Contact | Reprints|  RSS|   Digital|  Mobile
Network Websites
International
Network Features




All materials on this site Copyright © 2009 TechInsights, a Division of United Business Media LLC All rights reserved.
Privacy Statement | Terms of Service | About