Skip to main content

Verification Beyond the Core

Conference: DVCLUB Europe | Accelerating your SoC Verification
Speaker: Nicolae Tusinschi, Product Specialist Design Verification, OneSpin Solutions
Abstract: Want to speed up your verification process without compromising accuracy? You need formal—but you should also consider automating. Nicolae presents a case study that illustrates how deploying formal technology with automated apps and verification solutions can accelerate the verification process for an SoC of any size. Learn how formal verification with automated capabilities can enable you to: detect all corner-case bugs; identify security weaknesses, vulnerabilities, and hardware Trojans; and prove that core implementation does not violate the spec. All of this can be accomplished during the core’s RTL development and while integrating IP into the SoC, saving your team time and preventing headaches (and costly mistakes).

3 Key Points:

  • Real users are leveraging the power of formal verification using automated apps and solutions
  • Formal with automated apps can accelerate the verification process for any size SoC
  • Automated apps make it straightforward to get started as a formal user and allow you to start seeing results right away
Speaker Biography: Nicolae Tusinschi is Product Specialist Design Verification at OneSpin Solutions. Nicolae joined the team in 2016 as a quality assurance engineer and developed an exhaustive knowledge of OneSpin’s complete suite of formal verification tools before targeting his attention on the company’s OneSpin 360 DV™ design verification solution. His key projects have included integrating simulation coverage with formal results, leveraging coverage results in the verification process, and a case study on the application of formal verification to the I2C serial protocol.

Nicolae holds a Bachelor of Science in Industrial Automation from “Dunărea de Jos” University of Galați (Romania) and a European Master’s in Embedded Computing Systems (EMECS) awarded jointly by Technische Universität Kaiserslautern (Germany) and University of Southampton (United Kingdom). During his graduate studies, he completed his master’s thesis, “Formal Verification of Proprietary Microcontroller IP,” at Continental in Frankfurt, Germany.

Nicolae is based at OneSpin headquarters in Munich, Germany and is proficient in English, Romanian, Russian, and German. 

Sponsors

DVCLUB Europe is made possible through the generosity of our sponsors.

Close Menu