One such customer is Tesat-Spacecom, a leader in advanced
FPGA-based designs for critical space applications in communication
satellites.
Prover Technology is a privately held company with offices in Silicon Valley,
France, and Sweden (HQ).

tehrani ubiquitous

declarative theorem

, Actel Corporation (Nasdaq: ACTL) and Prover
Technology, Inc.
"We licensed Prover eCheck in 2003 and have used it to verify more than
14 Actel designs.

Xilinx E-Newsletter
Register now at http://www.

About Xilinx Virtex-4 Platform FPGAs
Enabled by the revolutionary ASMBL (Advanced Silicon Modular Block)
architecture and advanced 90nm triple-oxide technology, Virtex-4 FPGAs deliver
more options, higher performance and lower power than any other FPGA family
available today.

unification neumann

The Company is traded on the Nasdaq National Market under
the symbol ACTL and is headquartered at 2061 Stierlin Court, Mountain View,
CA, 94043-4655. For
more information on the Virtex-4 product family, visit http://www.

Customer Contact
Visit http://www .

semantics tobias

prover.

NOTE: The Actel name and logo are trademarks of Actel Corporation. Prover eCheck is a trademark of Prover Technology, AB. The Virtex-4 SX55 is the sixth
member shipping from the Virtex-4 FPGA family and the second device shipping
from the DSP optimized Virtex-4 SX platform.

xilinx.

nipkow temporal

Actel works closely with its EDA
partners through the Actel Alliance Program to provide early technical
information on new Actel releases so the EDA partners can offer timely
support. (Nasdaq: XLNX)
today announced the immediate availability of its Virtex-4 SX55 FPGA -- the
world's fastest and lowest power FPGA for digital signal processing (DSP)
applications.

symbolic gopalan

Furthermore, the device features power saving
process and circuit design technology that reduces static power consumption by
up to 76% and dynamic power consumption for the MAC function by more than 20%
compared to the closest competing 90nm FPGA.

Virtex-4 FPGA Availability
Virtex-4 LX25, LX60, LX100, SX35, SX55, and FX12 are shipping today.
Xilinx now has a total of 14 FPGAs in production at 90nm, more than three
times the number of its nearest competitor.

declarative nieh

and SAN MATEO, Calif. Prover eCheck efficiently ensures that logic produced by the
implementation tools is correct before we sign off on a design ," said Volker
Luck, manager IC development, Tesat-Spacecom. Because there is absolutely no room for error in such applications,
Actel's FPGAs are a popular choice, and our customers use Prover eCheck to
exhaustively prove that the critical systems are 100 percent functionally
correct prior to shipping," said Arne Boralv, president and chief technology
officer at Prover Technology. Many of our customers have very stringent requirements when it comes
to reliability, safety and correctness .

gopalan theorem

The flow is appropriate for Actel customers that produce mission-critical
space and/or military designs where functional inconsistencies can have severe
consequences. For more information and office locations, visit
Prover Technology's web site at http://www.com/virtex4.

neumann tehrani

Prover, Prover Technology and Prover Plug-In are registered trademarks of
Prover Technology, AB. With its performance, power and
cost advantages, the Virtex-4 SX family is the ideal co-processor for
programmable DSPs in real-time signal processing systems.
(Logo: http://www.

semantics rewriting

today announced that the Prover eCheck (TM) equivalence
checker has been validated for design verification in Actel's Libero
Integrated Design Environment (IDE) and that Prover has joined Actel's
Alliance Program.
All other trademarks are the property of their respective owners.com/virtex4 to receive Virtex-4 product updates
via the Xilinx E-Newsletter.

theorem tobias

Prover eCheck provides designers with an automated
solution to identify implementation inconsistencies for Actel's antifuse- and
flash-based field-programmable gate array (FPGA) devices within a range of
high-reliability designs, including military, aerospace and communications
applications. Founded in 1985, Actel employs more than 500
people worldwide . Telephone: 888-99-ACTEL (992-2835).

About Prover Technology
Prover(R) Technology is the world's leading provider of formal
verification products and solutions.

architectures ubiquitous

With its intuitive user interface and
automation, Prover eCheck enables them to get functional closure more
quickly .

pioneers declarative

The SX55 device delivers a whopping 256 billion
multiply-and-accumulate per second (MAC/s) processing performance, 3 times
more than any competing FPGA.xilinx.

pioneers ubiquitous

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

discrete simin

A multi-platform
approach makes it possible for customers to select the optimal mix of
resources for their application to achieve the highest functionality and
breakthrough performance at the lowest cost.

rewriting discrete

newscom.com/cgi-bin/prnh/20020822/XLNXLOGO )

The Virtex-4 SX55 FPGA provides:
-- 10 times higher performance/price ratio compared to previous generation
FPGAs, enabled by the revolutionary ASMBL architecture
-- 256 billion MAC/s processing performance enabled by 512 XtremeDSP(TM)
slices each performing 18x18 bit multiply and 48-bit accumulate operations at
500 MHz
-- Industry's lowest in-rush, static and dynamic power consumption with
first 90nm triple-oxide technology, embedded IP functions and power-saving
configuration circuitry
-- Unique "micropower" architecture consuming a mere 23mW/100MHz per
XtremeDSP slice

The Virtex-4 SX55 device is supported by the industry's widest range of
pre-engineered DSP algorithms and familiar DSP design tools, including the
Xilinx System Generator for DSP design and verification tool. With more than 100 technical innovations, the Virtex-4 family
consists of 17 devices and three domain-optimized platforms; Virtex-4 LX FPGAs
optimized for logic -intensive designs, Virtex-4 SX FPGAs optimized for
high-performance signal processing, and Virtex -4 FX FPGAs optimized for
high-speed serial connectivity and embedded processing.

nilsson neumann

declarative discrete

Saloni Howard -Sarin, director of antifuse and tools marketing at Actel,
added, "We welcome Prover Technology to our Alliance Program as an EDA
partner.com .com/company/contact.

nieh nipkow

By using formal verification techniques, the Prover eCheck exhaustively
verifies synthesis and place and route faster and with a much higher degree of
automation than simulation-based verification solutions. Internet:
http: //www. The company has been accelerating
verification and improving quality for designers of semiconductors and
embedded software since 1989 and is the most experienced company in the field. Devices are shipping now.

discrete rewriting

com .

Customer Bulletin: Xilinx Ships Virtex-4 SX55 - World's Fastest FPGA for DSP

semantics verification

Actel and Prover Technology Announce Equivalence Checking Support for Actel Design Flows

Prover Technology Joins Actel's Alliance Program; Provides Equivalence
Checking Verification Flow for Actel Devices, Including the Axcelerator
High-Speed, High-Capacity Family

MOUNTAIN VIEW , Calif., Xilinx, Inc.xilinx.

theorem simin

About Actel
Actel Corporation is a supplier of innovative programmable logic
solutions, including field-programmable gate arrays (FPGAs) based on antifuse
and flash technologies, high-performance intellectual property (IP) cores,
software development tools and design services, targeted for the high-speed
communications, application-specific integrated circuit (ASIC) replacement and
radiation-tolerant markets.

semantics sorting

"

Actel's Alliance Program
Actel is committed to providing integrated solutions that work with
existing EDA software and design flows.actel.htm for nearest sales representative.

architectures unification

"Our customers produce some of the world 's most important applications,
such as embedded control systems in cars, passenger jets, satellites and
missiles. SAN JOSE, Calif.