NEWS
News
June-2010
OneSpin's Solutions Enhances 360 MV for Safe, Exhaustive 4-state X-Analysis and X-Verification
New 4-State Formal Analysis and Verification Capability Ensures Absence of X-Related Design Errors and RTL-to-Netlist Mismatches
more ...February-2010
OneSpin's 360 MV Solution Honored for Fourth Time for Significant Innovations in Functional RTL Verification
360 MV's Debug Automation Technology Named Finalist in EDN's 20th Annual Innovation Awards Competition
more ...February-2010
OneSpin Solutions Announces Customizable Integration between 360 MV Verification Solution and Platform LSF Infrastructure
Scalable integration speeds functional verification turnaround times
more ...January-2010
OneSpin's 360 MV selected for the third time as one of industry's most innovative and
significant products for functional RTL verification
OneSpin Solutions to show award-winning 360 MV at EDSFair 2010 and DVCon 2010
more ...September-2009
Six European startups in the spotlight
EETimes Article by Anne-Francoise Pele
more ...July-2009
OneSpin advances formal assertion/RTL debug automation
SCDsource Article by Bill Murray
more ...July-2009
OneSpin's New Debug Automation Technology Boosts Formal Assertion-Based Verification Productivity
360 MV's New RootCauseAnalyzer™ Speeds Assertion and Design Debug by up to 10x
more ...Press coverage
Electronicstalk: "OneSpin introduces Root Cause Analyzer" more ...
Design & Reuse: "OneSpin's New Debug Automation Technology Boosts Formal Assertion-Based Verification Productivity" more ...
EDA Blog: "OneSpin RootCauseAnalyzer Debug Automation Technology" more ...
July-2009
Tieto Signs Long-Term Agreement to Deploy OneSpins Solutions' Formal Assertion-Based Verification Solution
Leading International IT and R&D Services Company Integrates OneSpin 360® MV Solution into its
Verification Flow for High-End FPGA Designs
more ...Press coverage
EDN: "Tieto Signs Long-Term Agreement to Deploy OneSpin Solutions' Formal Assertion-Based Verification Solution" more ...
Chip Design: "Tieto Deploys Onespin Formal Assertion-Based Verification" more ...
IC Design & Verification Journal: "Tieto Signs Long-Term Agreement to Deploy OneSpin Solutions' Formal Assertion-Based Verification Solution" more ...
January-2009
OneSpin Mainstreams Comprehensive Formal Assertion-based Verification Enabling Step-by-step Approach to Adoption and Use
New OneSpin 360® MV Product Family Provides Choice of Entry/Exit Points Tailored to Users' Project Needs and Experience;
New Diagnosis Technology Slashes Debug Effort for Complex SystemVerilog Assertions
more ...Press coverage
EDA Blog: "OneSpin 360 MV Family for Formal Assertion Verification" more ...
EDACafe: "OneSpin Mainstreams Comprehensive Formal Assertion-based Verification Enabling Step-by-step Approach to Adoption and Use" more ...
Design & Reuse: "OneSpin Mainstreams Comprehensive Formal Assertion-based Verification Enabling Step-by-step Approach to Adoption and Use" more ...
October-2008
Functional Verification – Shining a Light into the Darkness
Are constrained random functional verification approaches adequate for next-generation chip designs?
more ...August-2008
Formal Verification Goes Mainstream
'In dynamic verification, you have to drive the right stimuli into the system in order
to find the erroneous behavior,' says Michael Siegel, Director of Product Marketing
at OneSpin Solutions GmbH.
more ...June-2008
OneSpin announces Industry's first SVA Solution for Gap-Free-Verification
New, Ground-Breaking SVA Library Enables Easy Property Development Using Timing Diagrams
more ...Press coverage
Reuters: "OneSpin Announces Industry's First SVA Solution for Gap-Free Verification" more ...
Elektronik Praxis: "SVA-Bibliothek vereinfacht die ASIC/FPGA-Eigenschaftenentwicklung" more ...
Elektronicstalk: "Verification promises gap-free performance" more ...
Programmable Logic DesignLine: "OneSpin announces SVA solution for gap-free verification" more ...
February-2008
OneSpin Solutions dramatically boosts Formal Verification Productivity with new GapFreeVerification™ Process
Systematically Delivers Predictable Formal Verification Results for Complex Modules and IP
more ...Press coverage
EDA Geek: "OneSpin Solutions Unveils GapFreeVerification for Formal Verification" more ...
EDA Cafe: "OneSpin Solutions Dramatically Boosts Formal Verification Productivity With New GapFreeVerification(TM) Process" more ...
EmbeddedSystemNews: "OneSpin Announces GapFreeVerification for Formal Verification" more ...
Elektronicstalk: "Systematic verification boosts productivity" more ...
February-2008
OneSpin's FPGA Equivalence Checking Solution Named as Finalist in EDN Innovation Awards Competition
OneSpin 360™ EC-FPGA Verification Solution Ensures Correct Operation of Highly Optimized FPGAs
more ...Press coverage
Reuters: "OneSpin's FPGA Equivalence Checking Solution Named as Finalist in EDN Innovation Awards Competition" more ...
EDA Geek: "EDN Names OneSpin 360 EC-FPGA as Award Finalist" more ...
Yahoo Finance: "OneSpin's FPGA Equivalence Checking Solution Named as Finalist in EDN Innovation Awards Competition" more ...
FPGA Blog: "OneSpin 360 EC-FPGA is Award Finalist" more ...
PCB Cafe: "OneSpin's FPGA Equivalence Checking Solution Named as Finalist in EDN Innovation Awards Competition" more ...
January-2008
OneSpin Solutions Complements its 360 Module Verifier Formal Verification Solution with Standard Assertion Language Support
SystemVerilog Assertions Link Opens Additional Gateway to Award-Winning 360 MV
more ...Press coverage
EDA Cafe: "OneSpin Solutions Complements Its 360 Module Verifier Formal Verification Solution With Standard Assertion Language Support" more ...
EETimes: "OneSpin Solutions: Formal verification suite supports standard assertion language" more ...
SOCcentral: "OneSpin Solutions Complements 360 Module Verifier with Standard Assertion Language Support" more ...
SCDsource: "Formal tool opens 'gateway' to assertion reuse" more ...
Elektronik Praxis: "In einem Durchlauf zum funktionalen Sign-off bei der IP/Modul-Verifikation" more ...
Electronic Design: "Functional Verification Tool Gains Link To SystemVerilog Assertions" more ...
Electronic Data: "Onespin Solutions erweitert seine formale 360 Module Verifier Verifikationslösung um die Unterstützung für Standardsprachen-Zusicherungen" more ...
Electronics Talk: "Language link eases verification" more ...
December-2007
Equivalence Checker dedicated to FPGA Synthesis Verification
OneSpin Solutions delivers first Equivalence Checker dedicated to FPGA Synthesis Verification
more ...Press coverage
SOCentral: "OneSpin Solutions Delivers First Equivalence Checker Dedicated to FPGA Synthesis Verification" more ...
Programmable Logic Design Line: "New equivalence checker dedicated to FPGA synthesis verification" more ...
US Design and Reuse: "OneSpin Solutions Delivers First Equivalence Checker Dedicated to FPGA Synthesis Verification" more ...
EDACafe: "OneSpin Solutions Delivers First Equivalence Checker Dedicated to FPGA Synthesis Verification" more ...
Linux Electrons: "OneSpin Delivers Equivalence Checker for FPGA Synthesis Verification" more ...
June-2007
EEtimes CEO Viewpoint about a Paradigm Shift in Functional Verification
Delivering on Formal Verification's Original Promise
more ...
May-2007
Achieving Highest, Certified IP Quality Efficiently
The article describes from the perspective of an IP provider the verification of a configurable network processor
– called PPv2 – using OneSpin's 360™ MV.
more ...
May-2007
OneSpin Joins EDA Design and Verification Standards Group Accellera
Contributes Coverage Expertise for Complete Formal Verification to Unified Coverage Interoperability Standard Subcommitte
more ...Press coverage
EDA Geek: "OneSpin Solutions Joins Accellera" more ...
SOCentral: "OneSpin Solutions Joins Accellera" more ...
May-2007
OneSpin Solutions establishes Operations in Japan
Opens Yokohama office and recruits local experts to meet growing demand for complete formal verification solutions
more ...Press coverage
InsideChips: "New Facilities and Expansions" more ...
EDN Asia: "OneSpin Solutions Establishes Operations in Japan" more ...
May-2007
OneSpin enchanced 360 Module Verifier delivers Industry's first Complete Multi-Configuration IP Verification Solution
Verifies Multiple IP Configurations in One Shot, Slashing Verification Cost and Effort
more ...Press coverage
US Design & Reuse: "OneSpin enchanced 360 Module Verifier delivers Industry's first Complete Multi-Configuration IP Verification Solution" more ...
SOCentral: "OneSpin Enhanced 360 Module Verifier Delivers Complete Multi-Configuration IP Verification Solution" more ...
EDA Cafe: "OneSpin Enhanced 360 Module Verifier Delivers Industry's First Complete Multi-Configuration IP Verification Solution" more ...
Chip Design: "Verifier Delivers Complete Multi-Configuration IP Verification Solution" more ...
EDN.com: "OneSpin Enhanced 360 Module Verifier Delivers Industry's First Complete Multi-Configuration IP Verification Solution" more ...
EETimes: "Verification tool includes configurable IP" more ...
March-2007
OneSpin Solutions names Charles Cump Vice President of Sales
Industry Veteran to Drive Formal Verification Company's Worldwide Sales Activities
more ...Press coverage
Finanznachrichten: "OneSpin Solutions Names Charles Cump Vice President of Sales" more ...
EDA Cafe: "OneSpin Solutions Names Charles Cump Vice President of Sales" more ...
February-2007
Complete Verification of Superscalar TriCore2 Processor using OneSpin 360™ MV
This paper, first published at DVCon 2007, describes the application of OneSpin's 360 MV to the
verification of the TriCore2 processor, Infineon's next generation high-end processor
for embedded and safety-critical applications.
more ...
February-2007
OneSpin Solutions delivers next-generation Equivalence Checker for advanced FPGA Design Verification
360 EC-FPGA first to support all sequential optimizations performed by FPGA synthesis tools on large designs.
more ...Press coverage
electronics.weekly.com: "OneSpin spins equivalence checker for FPGA users" more ...
SOCentral: "OneSpin Solutions Delivers Next-Generation Equivalence Checker for Advanced FPGA Design Verification" more ...
EDA Cafe: "OneSpin Solutions Delivers Next-Generation Equivalence Checker for Advanced FPGA Design Verification" more ...
ElectronicDesignNet: "OneSpin Delivers Equivalence Checker For FPGA Verification" more ...
January-2007
OneSpin 360™ MV Formal Verification Solution wins coveted IEC DesignVision Award
Achieves highest honor in 'Design Verification Tool' category for enabling true functional
sign-off of complex digital modules and IP.
more ...Press coverage
Finanz Nachrichten: "OneSpin 360(TM) MV Formal Verification Solution Wins Coveted IEC DesignVision Award" more ...
Electronics Components World: "OneSpin 360(TM) MV Formal Verification Solution Wins Coveted IEC DesignVision Award" more ...
EDA Geek: "OneSpin 360 Module Verifier Wins Design Verification Tool Award" more ...
January-2007
OneSpin Solutions names Peter Feist President and CEO
Industry Veteran to Drive Verification Company's Worldwide Expansion
more ...Press coverage
Fabtech: "Peter Feist to lead OneSpin's expansion program" more ...
EDA Geek: "OneSpin Solutions Appoints Peter G Feist as President, CEO" more ...
December-2006
OneSpin's formal verification solutions selected by EDN magazine
OneSpin's flagship product – the OneSpin 360™ Module Verifier (360MV) – has been selected
by EDN Magazine editors for its prestigious list of "Hot 100 Products of 2006."
more ...Press coverage
EDN: "The Hot 100 products of 2006" more ...
December-2006
U.S. Office
Responding to rapidly increasing demand in the U.S. for its formal verification solutions,
OneSpin Solutions today announced it has established a sales, marketing and field applications
engineering office in Sunnyvale, California.
more ...EETimes: "Formal provider OneSpin opens U.S. office" more ...
May-2006
Press coverage of 360 MV launch
EE Times (US): "Infineon spinoff claims new era of formal verfication"more ...
EE Times (UK):"EDA startup claims success with Infineon, Siemens"
more ...
EE Times (Germany):"Infineon Spinoff verspricht Durchbruch bei Formaler Verifikation"
more ...
EDA Cafe: "OneSpin Solutions Enters EDA Market with Breakthrough Formal..."
more ...
Electronic News: "Startup Brings Mature Property Checker to the Masses"
more ...
Electronics Weekly: "Chip design verification tool endorsed by Infineon"
more ...
Electronics Weekly: "Startup brings mature property checker to the masses"
more ...
Electronic Design: "Formal Verification Tool Squashes Bugs In IP Blocks"
more ...
May-2006
OneSpin launches 360 MV
OneSpin Solutions Enters EDA Market with Breakthrough Formal Verification Solution.
OneSpin 360 Module Verifier First To Enable True Functional Sign-off and Risk-Free IP Reuse MUNICH, Germany - May 8, 2006 - OneSpin Solutions GmbH today entered the Electronic Design Automation (EDA) market with a verification solution... more ...
May-2006
Infineon and Apax Launch a New Company
Infineon and Apax Launch a New Company for Circuit VerificationsInfineon Spin-Off Recieves a EURO 14 Million Investment from Apax
more (english) ...
more (german) ...