Carlsbad,
CA
United States
Derivation Systems, Inc., founded in 1993, is a leading developer of formally verified IP cores for high assurance hardware and software applications and embedded systems products. We provide a family of cores using our proprietary FormalSYNTHESIS™ technology and board-level embedded hardware based on Xilinx FPGAs. Our flagship product, LavaCORE™ is the world's first configurable Java processor core. Our corporate mission is to develop innovative technologies for critical systems through advanced research and development. With extensive experience in formal hardware verification, high-level HDLs, formal synthesis, and hardware engineering, we provide comprehensive solutions that enhance the reliability of digital systems while reducing design time and cost.
Xilinx Alliance Program Overview
Today's marketplace demands integrated world class solutions. The Xilinx Alliance Program assures you of the best available “total solutions” combining Xilinx programmable logic with key technologies from our Alliance Program members, including IP cores, EDA, DSP and embedded development tools, design services, board-level products, integrated circuits, and electronic components.
Since September of 2001, the SignOnce IP License has been the industry's first and only set of common license terms for programmable logic soft IP cores. Xilinx and leading third-party providers have agreed to offer cores to FPGA customers under a common set of terms known as the SignOnce IP License thereby simplifying the process by which customers can access IP from multiple suppliers. This page provides access to example license forms, membership and additional information.