Electronic Design
  • Resources
  • Directory
  • Webinars
  • CAD Models
  • Video
  • Blogs
  • More Publications
  • Advertise
    • Search
  • Top Stories
  • Tech Topics
  • Analog
  • Power
  • Embedded
  • Test
  • AI / ML
  • Automotive
  • Data Sheets
  • Topics
    - TechXchange Topics --- Markets --AutomotiveAutomation-- Technologies --AnalogPowerTest & MeasurementEmbedded
    Resources
    Electronic Design ResourcesTop Stories of the WeekNew ProductsKit Close-UpElectronic Design LibrarySearch Data SheetsCompany DirectoryBlogsContribute
    Members
    ContentBenefitsSubscribeDigital editions
    Advertise
    https://www.facebook.com/ElectronicDesign
    https://www.linkedin.com/groups/4210549/
    https://twitter.com/ElectronicDesgn
    https://www.youtube.com/channel/UCXKEiQ9dob20rIqTA7ONfJg
    Electronicdesign 7349 0514npbwonespin
    1. Technologies
    2. Test & Measurement

    Formal-Based Observation Coverage Solution Magnifies Verification Closure Precision

    May 15, 2014
    Leveraging formal technologies, OneSpin Solutions developed Quantify software to increase the precision of verification-coverage measurements.
    Staff

    Leveraging formal technologies, OneSpin Solutions developed Quantify software to increase the precision of verification-coverage measurements. As part of the company’s 360 DV-Verify line, Quantify augments the assertion-based verification (ABV) formal engine to create a closed-loop, coverage-driven verification flow. It analyzes manual or automatically produced assertion sets against corresponding register-transfer-level (RTL) blocks and provides direction regarding untested and untestable areas of the design, accelerating verification closure for these blocks. It also can be used to provide control coverage information for simulation and formal environments. Furthermore, it can act as an independent coverage arbiter of environments using simulation and formal solutions supplied by other companies. Quantify takes advantage of “Observation Coverage,” a metric that measures whether code changes in a design block will be caught by a specific verification environment. The software solution also can analyze design to pinpoint unreachable, redundant, or dead code, or over-constrained design areas, as well as components that remain unreached, to identify simulation coverage issues. An application programming interface (API) allows for integration with coverage databases, such as Accellera’s Unified Interoperability Standard (UCIS).

    ONESPIN SOLUTIONS GmbH

    Continue Reading

    Applying Exhaustive Static Analysis to Automotive Software Testing

    44 Myths About Chip Verification eBook

    Sponsored Recommendations

    CoolSiC™ Products

    Nov. 17, 2023

    Modular systems with high performance and high application efficiency

    Nov. 17, 2023

    The Infineon Podcast4Engineers

    Nov. 17, 2023

    Depth Sensors Visualize Volumes

    Nov. 1, 2023

    Comments

    To join the conversation, and become an exclusive member of Electronic Design, create an account today!

    I already have an account

    New

    Eliminate Resistive Cabin Heating in Electric Vehicles

    “Incredible Animal Journeys”: How Did NatGeo Track and Film Those Migrations?

    Renesas Reveals Automotive Processor Roadmap

    Most Read

    Edge AI Opportunities Abound at embedded world

    April 1st, 2023 @ Electronic Design

    Robotic Delivery System Takes Flight


    Sponsored

    Semiconductor packaging: making the right connections in 3D IC design

    3D IC Physical Design Workflow – ep. 5

    Then, Now and Next: Immersive Technology

    Electronic Design
    https://www.facebook.com/ElectronicDesign
    https://www.linkedin.com/groups/4210549/
    https://twitter.com/ElectronicDesgn
    https://www.youtube.com/channel/UCXKEiQ9dob20rIqTA7ONfJg
    • About Us
    • Contact Us
    • Advertise
    • Do Not Sell or Share
    • Privacy & Cookie Policy
    • Terms of Service
    © 2023 Endeavor Business Media, LLC. All rights reserved.
    Endeavor Business Media Logo