SAN JOSE, Calif. With its acquisition of formal verification technology from Veriphia, Xilinx Inc. has signaled that formal equivalency checking may soon join the FPGA tool flow. Xilinx also intends to use Veriphia's Tornado equivalency checker for internal development activities.
Xilinx plans to use the technology with the 10-million gate Virtex II FPGA architecture. The company will work with EDA vendors to incorporate the technology into high-level FPGA design flows.
Xilinx will also hire key engineers from Veriphia, which is based in France, to be responsible for the development of the technology. Terms of the acquisition were not disclosed. In addition to Tornado, Xilinx is using formal proof engines from Prover Technology, based in Sweden.