For more information, please contact:
Dr. Bhaskar Bose, President
Derivation Systems, Inc.
(760) 431-1400
bose@derivation.com

FOR IMMEDIATE RELEASE

Carlsbad, Calif., New Orleans, LA., June 21, 1999 - At the Design Automation Conference (DAC), Derivation Systems, Inc., a leading developer of formal verification systems, introduced the companies LavaCORE(tm) FPGA IP core based on its proprietary Formal Synthesis technology. The processor core is targeted to the Xilinx XC4000EX FPGA architecture and executes native Java(tm) byte code directly in hardware.

Derivation Systems' LavaCORE provides unparalleled price/performance and flexibility for a wide range of prototyping and embedded applications. The 32-bit microprocessor core is ideal for Java-based devices built around a flexible reconfigurable architecture. Applications include a new generation of embedded network computers that will provide Internet connectivity and can be dynamically configured for application specific computing to speed up computation.

According to Dr. Bose, founder and CEO of Derivation Systems, Inc., "The key to the LavaCORE design is the formal verification methodology employed. The entire design, from high-level behavior model to gate-level netlist was synthesized using our DRS(tm) formal synthesis system." DRS is an interactive synthesis system based on advanced mathematical verification techniques that ensure that the final design is equivalent to a high-level specification by using pre-proven synthesis steps.

DRS, Derivation Systems' flagship formal synthesis system features an intuitive graphical user interface (GUI), interactive formal synthesis technology, integrated simulation environment, support for VHDL, and interfaces to existing formal verification and logic synthesis tools.

The company plans to make available LavaCORE evaluation/development kits in the fourth quarter 1999 which includes evaluation boards and support software. For more information contact info@derivation.com

Derivation Systems' headquarters are located at 5963 La Place Court, Suite 208, Carlsbad, CA 92008, U.S.A. Tel.: 760-431-1400, Fax.: 760-431-1484, URL: http://www.derivation.com .

Java is a registered trademark of Sun Microsystems, Inc.
DRS, FormalSYNTHESIS and LavaCORE, are trademarks of Derivation Systems,Inc.