OneSpin's Formal Verification Solution Named as Finalist in IEC DesignVision Awards.OneSpin 360MV Verification Solution Enables True Functional Sign-off for Complex Digital Modules and IP MUNICH, Germany & SUNNYVALE, Calif. -- OneSpin Solutions GmbH, an electronic design automation (EDA (1) (Electronic Design Automation) Using the computer to design, lay out, verify and simulate the performance of electronic circuits on a chip or printed circuit board. ) company that provides breakthrough formal verification
In the context of hardware and software systems, formal verification solutions, today announced that its flagship OneSpin 360[TM] Module Verifier (360MV) product has been chosen by the International Engineering Consortium (IEC (International Electrotechnical Commission, Geneva, Switzerland, www.iec.ch) An organization that sets international electrical and electronics standards founded in 1906. It is made up of national committees from over 60 countries. IEC - International Electrotechnical Commission ) as a finalist in its third annual DesignVision Awards program. According to according to prep. 1. As stated or indicated by; on the authority of: according to historians. 2. In keeping with: according to instructions. 3. the IEC, its DesignVision Awards program recognizes technologies, applications, products, and services judged to be the most unique and beneficial to the industry. Among 29 finalists in nine categories, OneSpin Solutions is the only company focused on formal verification solutions. IEC President John Janowiak commented, "Our DesignVision Awards honor those catalyzing positive change in high-technology, business, and academia, completely in line with the IEC's mission. We are delighted to recognize our DesignVision Finalists and share the best design advancements and innovators innovators people who will try new things. early innovators important figures in the farming or client community because they are the leaders in the introduction of new techniques and management systems. with the entire industry." Peter Feist feist also fice n. Chiefly Southern U.S. A small mongrel dog. [Variant of obsolete fist, short for fisting dog, from Middle English fisting, , OneSpin's president and chief executive officer, said, "OneSpin is honored to be selected as a finalist by the IEC, and doubly honored to be recognized as a company 'catalyzing positive change' in electronics. Using 360MV, design teams now - for the first time - can be certain their verification is complete. This means they can achieve true functional sign-off, and improve the quality, cost and schedule of their products." ABOUT THE 360 MV SOLUTION OneSpin's 360 MV solution is a static property checker check·er n. 1. a. One, such as an inspector or examiner, that checks. b. One that receives items for temporary safekeeping or for shipment: a baggage checker. 2. with automated completeness analysis that enables verification teams to produce a gap-free verification plan and property set. It is the first and only commercially available functional register transfer-level (RTL (Register Transfer Level) A high-level hardware description language (HDL) for defining digital circuits. The circuits are described as a collection of registers, Boolean equations, control logic such as "if-then-else" statements as well as complex event sequences; ) verification solution to enable true functional sign-off for complex digital modules and intellectual property (IP), enabling companies to verify peripherals, processors, and processor-based subsystems of up to a few hundred thousand lines of code The statements and instructions that a programmer writes when creating a program. One line of this "source code" may generate one machine instruction or several depending on the programming language. A line of code in assembly language is typically turned into one machine instruction. . By efficiently detecting all functional errors in the RTL, 360MV can save millions of dollars in re-design and re-spin costs. ABOUT ONESPIN SOLUTIONS OneSpin Solutions provides electronic design automation (EDA) methodologies, tools and services for fundamental verification tasks at transaction, RT and gate levels. OneSpin's patented formal verification technology builds on 250 engineer-years of innovation and development, and has been field-proven on hundreds of complex designs to increase the quality of results, while reducing the cost and time to results. Market-leading consumer, telecommunications, automotive, computer, and embedded system Any electronic system that uses a CPU chip, but that is not a general-purpose workstation, desktop or laptop computer. Such systems generally use microprocessors, or they may use custom-designed chips or both. companies rely on OneSpin's technology to achieve true functional sign-off for their complex subsystems, processors and peripherals, and to preserve this quality level through subsequent design phases. Privately held, OneSpin was founded in 2005 and has offices in Munich, Germany and Sunnyvale, Calif. For further information please visit http://www.onespin-solutions.com/ or email info@onespin-solutions.com, or contact the local offices at Theresienhoehe 12, 80339 Munich, Germany, Phone: +49 89 99013 0, Fax: +49 89 99013 400; and 1275 Orleans Drive, Sunnyvale, CA 94089, Phone: 408.470.4970, Fax: 408.904.7515. OneSpin Solutions and the OneSpin logo are trademarks of OneSpin Solutions GmbH. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion