http://www.electronicstalk.com/news/ver/ver000.html Verplex Systems news releases on Electronicstalk en-gb Copyright (C)2008 Pro-Talk Ltd. All rights reserved. Sat, 22 Nov 2008 08:00:00 UT Sat, 22 Nov 2008 08:00:00 UT http://www.pro-talk.com/images/protalklogo90.gif http://www.pro-talk.com/ 90 79 The latest release of Conformal provides a comprehensive solution that enables SoC designers and verification engineers to deliver functional bug-free silicon. Thu, 31 Jul 2003 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver115.html FMC SOTA Design Technology of Hsinchu, Taiwan, has adopted formal verification software from Verplex Systems and has used it successfully throughout its design flow on a variety of complex IC designs. Mon, 14 Jul 2003 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver114.html To answer the challenge of formally verifying designs that have compiled datapath circuitry, Verplex Systems has developed Conformal Datapath (DP). Fri, 25 Apr 2003 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver113.html Conformal MEM is the first equivalence checking solution for embedded memories. Mon, 17 Feb 2003 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver112.html Verplex Systems has launched an online educational website for designers and verification engineers. Tue, 01 Oct 2002 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver111.html The Verify 2002 committee has chosen Munich, Germany, as the location for this year's European seminar. Tue, 24 Sep 2002 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver110.html Verplex Systems has won the Electron d'Or award in France for EDA tool of 2002 for its Conformal logic equivalence checker (LEC). Fri, 12 Jul 2002 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver109.html Verplex reckons it has taken top spot in the market for formal verification tools. Fri, 14 Jun 2002 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver108.html Verplex Systems has made significant changes to its products to extend its market into the physical domain. Fri, 17 May 2002 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver107.html Verplex Systems has added its support for the formal property language selected by the Accellera Formal Verification Technical Committee. Thu, 09 May 2002 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver106.html Verplex Systems has expanded its Open Verification Library (OVL) to include support for the VHSIC hardware description language (VHDL). Wed, 20 Mar 2002 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver105.html Verplex Systems and Xilinx have launched one of the first formal verification environments specifically for the design of high-density FPGAs. Wed, 26 Sep 2001 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver104.html Verplex Systems has announced its next generation Conformal Logic Equivalence Checker. Tue, 18 Sep 2001 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver103.html Verplex Systems has contributed its Open Verification Language (OVL) library to electronics industry standards organisation Accellera. Thu, 14 Jun 2001 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver102.html BlackTie functional checker from Verplex Systems is the industry's first full-chip multi-million-gate-capacity tool to accelerate the verification of SoC designs. Fri, 23 Mar 2001 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver100.html Verplex Systems has established European headquarters in Grenoble, France, and plans to open satellite offices in the UK, Germany, Sweden and Israel before the end of the year. Fri, 23 Mar 2001 08:00:00 UT Verplex Systems http://www.electronicstalk.com/news/ver/ver101.html