Arm Community
Arm Community
  • Site
  • User
  • Site
  • Search
  • User
Arm Community blogs
Arm Community blogs
SoC Design and Simulation blog Navigating SoC Verification with Perspec Portable Stimulus
  • Blogs
  • Mentions
  • Sub-Groups
  • Tags
  • Jump...
  • Cancel
More blogs in Arm Community blogs
  • AI blog

  • Announcements

  • Architectures and Processors blog

  • Automotive blog

  • Embedded and Microcontrollers blog

  • Internet of Things (IoT) blog

  • Laptops and Desktops blog

  • Mobile, Graphics, and Gaming blog

  • Operating Systems blog

  • Servers and Cloud Computing blog

  • SoC Design and Simulation blog

  • Tools, Software and IDEs blog

Tags
  • Cadence Design Systems
  • SoC Solutions
  • performance analysis
  • SoC Verification
Actions
  • RSS
  • More
  • Cancel
Related blog posts
Related forum threads

Navigating SoC Verification with Perspec Portable Stimulus

Nick
Nick
June 16, 2017

Gone are the days when you used to use manual navigation aids to move around the town. Opening the Global Positioning System (GPS) to public use enticed technology firms to provide automation in navigation. Just by using your local coordinates and destination (“The goal”)  automated navigation tools can provide multiple choices to reach it.

There was a time when navigating SoC Verification was a purely manual task. It was getting tedious for users to plan and write manual tests and was common to see thousands of manually written SoC tests that were hard to maintain and port across projects. Furthermore, it was very difficult to understand what these tests where really doing, functional cover points provided some clues but it wasn’t sufficient to understand what the test intent was.

The introduction by Accellera of the Portable Stimulus Standard (PSS) and the Cadence implementation in Perspec have changed the way we look at this problem and it has solved the complex problem of navigating SoC use cases. It has given EDA vendors a path to automate SoC use case solving and generating stimulus for different engines used for verification.

Given user goals (“SoC coordinates”) and modelling the constraints on path (“walk, drive, fly”) to reach the goal (“destination”), PSS provides the semantics that allow formal analysis and constraint solving of the SoC state space for automatic scenario completion to reach the user specified goals. Such automation results in the creation of a plethora of possible legal paths to reach a goal – some user probably thought about in his verification plan and some that the tool “figured out” or as we call in Perspec “planned” to reach user goals, very similar to how the GPS based navigation tools plans your route(s) to help you reach your destination (“the goal”). Such automatic planning of partially specified scenarios capturing user goals provides interesting insights into what the SoC could do!, and is proving to be far superior to directed tests where user is expected to manually specify all the possible paths to achieve a given goal. 

Through the development of PSS it became apparent that we could now start developing System Verification IPs (VIPs) based on PSS semantics that could automate stimulus generation for different verification engines. With the emergence of large designs serving mobile, server, automotive markets, verification of these classes of systems is proving to be extremely challenging. The embedded processors along with their cache hierarchy, interconnects and memory subsystems need to be architected carefully to get the best software performance. Cadence developed the Perspec PSLib (Portable Stimulus Library) to tackle and automate verification of such complex systems. The Cadence Perspec PSLib for multicore Armv8 and Armv8.2 architectures comes with a comprehensive verification plan (vPlan) and self-checking scenarios to check complex interaction in compute subsystems low power management (core, cluster, cache hierarchies), coherency (including I/O) operations, different exclusive locking schemes (spin, global, ticket, acquire/release), system page management with TLBi/DVM at different exception levels (ELx). The code can be generated for AARCH 32/64 bit architectures while supporting a wide range of compilers

To learn more about PSS and Perspec, join us at DAC – read here:

Have You Fully Verified Your Multi-Core, Cache-Coherent SoC? Learn More @ DAC

Anonymous
SoC Design and Simulation blog
  • Understanding Scandump: A key silicon debugging technique

    Vincent Yang
    Vincent Yang
    Scandump is highly effective in silicon debugging as it can capture most internal states through scan chains, making it invaluable in diagnosing silicon issues.
    • June 5, 2024
  • Introduction to AMBA Viz

    Tony Nip
    Tony Nip
    AMBA Viz enables faster debug and performance analysis for cycle-accurate simulation and emulation, even for complex interconnects and AMBA bus protocols.
    • May 31, 2024
  • Arm Virtual Platform co-simulation solution accelerates SoC verification

    Daniel Owens
    Daniel Owens
    Avery Design Systems’ co-simulation design verification solution that integrates SystemC-based Arm virtual platforms with a SystemVerilog environment.
    • December 6, 2022