• Skip to primary navigation
  • Skip to main content
  • Skip to primary sidebar
  • Skip to footer

Microcontroller Tips

Microcontroller engineering resources, new microcontroller products and electronics engineering news

  • Products
    • 8-bit
    • 16-bit
    • 32-bit
    • 64-bit
  • Applications
    • 5G
    • Automotive
    • Connectivity
    • Consumer Electronics
    • EV Engineering
    • Industrial
    • IoT
    • Medical
    • Security
    • Telecommunications
    • Wearables
    • Wireless
  • Learn
    • eBooks / Tech Tips
    • EE Training Days
    • FAQs
    • Learning Center
    • Tech Toolboxes
    • Webinars/Digital Events
  • Resources
    • Design Guide Library
    • DesignFast
    • LEAP Awards
    • Podcasts
    • White Papers
  • Videos
    • EE Videos & Interviews
    • Teardown Videos
  • EE Forums
    • EDABoard.com
    • Electro-Tech-Online.com
  • Engineering Training Days
  • Advertise
  • Subscribe

AI-enabled app leverages machine learning algorithms

August 27, 2018 By Aimee Kalnoskas Leave a Comment

AI-enabled appSynopsys, Inc. announced a state-of-the-art artificial intelligence (AI) enabled formal verification app, Regression Mode Accelerator, as part of the Synopsys VC Formal solution. This VC Formal app leverages state-of-the-art machine learning algorithms to deliver 10X speed-up in formal property verification during the design and verification cycle. Along with significant performance speed-up, use of this app accelerates formal property verification to achieve better convergence of formal proofs for subsequent runs. The Regression Mode Accelerator app also allows for significant saving of compute resources in nightly regressions for the verification of complex system-on-chip (SoC) designs to enable running formal verification in situations previously deemed impractical.

“As a leading integrated device manufacturer delivering solutions that are key to innovation and advancing the state-of-the-art in Smart Driving and the Internet of Things, including Smart Industry, ST’s designers need a formal verification solution that provides best-in-class performance, ease-of-use, and quality of results,” said David Vincenzoni, R&D Design Manager at STMicroelectronics. “The newly introduced VC Formal Regression Mode Accelerator app consistently delivered an order-of-magnitude performance improvement along with improved convergence of additional inconclusive properties for the most complex SystemVerilog Assertions on our design blocks.”

Increasing SoC complexity combined with rising time-to-market pressures are driving a continuous need for innovation in formal property verification performance and throughput. Synopsys VC Formal, with its comprehensive set of formal apps, including Property Verification (FPV), Sequential Equivalence Checks (SEQ), Register Verification (FRV), Formal Coverage Analyzer (FCA), Connectivity Checking (CC) and Automatic Extraction of Properties (AEP), has delivered faster property convergence for many different use cases at ST. The native integration of VC Formal with Synopsys’ VCS functional verification solution and Verdi® automated debug system enables design and verification teams to easily leverage formal technologies and automate root-cause analysis of formal results. Additionally, the native integration of VCS’ robust coverage engines in VC Formal facilitates easy insertion of formal analysis into the existing verification environment.

“Machine-learning has emerged as a powerful technology for addressing the verification of highly-complex and leading-edge designs,” said Manish Pandey, Synopsys Fellow in the Verification Group. “We have long collaborated with industry leaders like ST on the delivery of comprehensive verification solutions for advanced SoCs. Throughout these collaborations, we are broadening our investment in AI-enabled technologies into verification flows and methodologies, enabling faster time-to-market.”

The 2018.09 release of VC Formal with Regression Mode Accelerator is scheduled to be available in September 2018.

Filed Under: Applications, Artificial intelligence, Industry News, Machine learning, microcontroller, Tools Tagged With: stmicroelectronicsinc, synopsys

Reader Interactions

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Primary Sidebar

Featured Contributions

Five challenges for developing next-generation ADAS and autonomous vehicles

Securing IoT devices against quantum computing risks

RISC-V implementation strategies for certification of safety-critical systems

What’s new with Matter: how Matter 1.4 is reshaping interoperability and energy management

Edge AI: Revolutionizing real-time data processing and automation

More Featured Contributions

EE TECH TOOLBOX

“ee
Tech Toolbox: 5G Technology
This Tech Toolbox covers the basics of 5G technology plus a story about how engineers designed and built a prototype DSL router mostly from old cellphone parts. Download this first 5G/wired/wireless communications Tech Toolbox to learn more!

EE Learning Center

EE Learning Center

EE ENGINEERING TRAINING DAYS

engineering
“bills
“microcontroller
EXPAND YOUR KNOWLEDGE AND STAY CONNECTED
Get the latest info on technologies, tools and strategies for EE professionals.

DesignFast

Design Fast Logo
Component Selection Made Simple.

Try it Today
design fast globle

Footer

Microcontroller Tips

EE World Online Network

  • 5G Technology World
  • EE World Online
  • Engineers Garage
  • Analog IC Tips
  • Battery Power Tips
  • Connector Tips
  • DesignFast
  • EDA Board Forums
  • Electro Tech Online Forums
  • EV Engineering
  • Power Electronic Tips
  • Sensor Tips
  • Test and Measurement Tips

Microcontroller Tips

  • Subscribe to our newsletter
  • Advertise with us
  • Contact us
  • About us

Copyright © 2025 · WTWH Media LLC and its licensors. All rights reserved.
The material on this site may not be reproduced, distributed, transmitted, cached or otherwise used, except with the prior written permission of WTWH Media.

Privacy Policy