NEWS
News
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 ...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) ...