"
"Synthesis bugs which weren't detected until lab testing, and then took
days of gate -level simulation to isolate, are now caught in minutes using
Prover eCheck before we even program our Virtex(TM) and Spartan(TM) FPGAs,"
said Elchanan Rappaport, Manager of Logic Development at Lynx Photonic
Networks, a leading provider of next-generation photonic switches and optical
applications for telecom system vendors.

rigorous interval

Prover Technology is a privately held company with offices in Silicon Valley,
France, and Sweden (HQ).----

SRI Senior Policy Analyst Jongwon Park Presents Findings
of First Study to Link Cultural Attitudes and National
Policy at AAAS Annual Meeting

Jongwon Park, a senior policy analyst with independent nonprofit
research institute SRI International, will present results of a new
study of public attitudes and understanding of science and technology
(S+T) in four selected Asian countries -- Japan, China, Korea and
Malaysia -- on Friday, February 18 at the annual meeting of the
American Association for the Advancement of Science in Washington,
D.

nonstandard chomicki

Application areas include linguistics and computer science, in particular program verification.

chomicki reasoning

, Prover Technology, Inc.org/aaasnewsroom/2005/page.

cau modal

CONTACT: Marcus Tallhamn of Prover Technology, +1-650-722-2750, or
marcus@prover.com. The
nonprofit research institute performs contract research and
development for government agencies, commercial businesses and
nonprofit foundations.

branching specify

, the
world's leading supplier of formal verification solutions, today announced
that it has joined Xilinx' Alliance EDA partner program and that its leading
equivalence checking product Prover eCheck supports Synplify Pro-based flows
targeting Xilinx(R) devices, including Virtex-4(TM ) and EasyPath(TM).prover.

propositional prev

The
robust interoperability of Prover eCheck and Synplify Pro(R), developed in
collaboration with Xilinx and Synplicity(R), enables designers using Synplify
Pro synthesis and Xilinx P+R to achieve 100% verification coverage,
dramatically reducing the verification challenges for FPGAs in mission
critical and prototyping applications.
"Xilinx welcomes Prover Technology as our newest EDA alliance partner
supporting our industry leading high-end Virtex series FPGAs with their
equivalence checker Prover eCheck," says Steve Lass, Director of software
marketing at Xilinx .

Business Editors/Technology Writers

MENLO PARK, Calif.php?page=registration

About SRI International

Silicon Valley-based SRI International (http://www.

chomicki rigorous

correctness ltl

For more information and office locations, visit
Prover Technology's web site at http://www. attitudes toward science and technology.

specifying nonstandard

reasoning logic

"

About Prover Technology
Prover(R) Technology is the world's leading provider of formal
verification products and solutions. Park will present findings on attitudes toward technology
adoption, global warming and alternative medicine, among others.

prev propositional

New SRI International Study Examines Public Attitudes about Science and Technology in Asia and the United States

As these economies continue to both grow and offer market
opportunities and increased competition, it is important and
beneficial to better understand their attitudes toward science and
technology.

bdd nonstandard

Founded in 1989, the company has been
accelerating verification within the semiconductor and embedded software
industries for 15 years and is the most experienced company in the field.S.
"Korea, Japan, China and Malaysia are four very compelling
developing economies," said Park."
Members of the media may attend the presentation by registering on
site at no cost by presenting a business card clearly showing media
affiliation and position, a current recognized press card distributed
by a media outlet, or a recent bylined article bearing the media
member's name and affiliation.

specifying propositional

Prover Technology Joins Xilinx Alliance EDA Partner Program and Provides an
Automated and Proven Equivalence Checking Solution for Xilinx Devices,
Including Virtex-4 and EasyPath

SAN MATEO, Calif. Prover eCheck is a trademark of Prover
Technology, AB.

identical branching

Prover Technology's product portfolio includes Prover iLock, the leading
solution for railway interlocking verification, Prover eCheck , the most
easy-to-use logic equivalence checker for both ASIC and FPGA flows, and Prover
Plug -In(R), a family of proof engine products available for OEM licensing.

prev cau

com .C. Park's study, which is based on
third-party national survey data available in the four selected Asian
countries, also compares results from an identical survey focused on
U.

prev toman

Prover Technology Provides Automated and Proven Equivalence Checking Solution for Synplify Pro-Based Flows Targeting Xilinx Devices

branching modal

Founded as Stanford Research Institute in 1946, SRI has
been meeting the strategic needs of clients for almost 60 years .

prev branching

"This verification solution is available for Windows,
Linux and Solaris and provides an easy-to -use, push-button flow that enables
our high-end Virtex-4 customers to ensure that the functionality of their RTL
code has been maintained throughout the FPGA design flow.

In addition to conducting contract R+D, SRI
licenses its technologies, forms strategic partnerships and creates
spin-off companies.

specify rigorous

Temporal logic is a form of modal logic in which the modal operators are used to denote the truth of a statement in the future or past.

verifying rigorous

In his presentation, "Comparing Public Attitudes and Understanding
about Science + Technology in Asia: Why Do They Love Mobile Phones So
Much?," Park will explore the relationship between the early adoption
and popularity in Asia of high-tech gadgets, such as mobile phones,
and how this technological enthusiasm translates into national
research and development policy. "In addition, Malaysia may be the
only Islamic country that has conducted a national survey on this
topic.

bdd nonstandard

For more information on media
registration, please visit
http://www.

bdd toman

An increasing number
of our customers desire this capability, including those using our EasyPath
low cost FPGA solution.

NOTE: Prover, Prover Technology and Prover Plug-In are registered
trademarks of Prover Technology, AB.com) is one
of the world's leading independent research and technology development
organizations.

ltl nonstandard

eurekalert.

reasoning temporal

He continued, "Using Prover eCheck,
we've been able to reduce our engineering time dramatically, while maintaining
the same zero-bug quality level. All other trademarks are the property of their respective
owners.sri.

chomicki branching

---

- - kjjkjk

Loading...

(Note: These pages use the Atlas Content Safeguard System (ACSS) and require that Javascript is enabled for viewing.)