SlideShare a Scribd company logo
1 of 14
Download to read offline
PORTABLE STIMULUS (PSS)
VERIFICATION REDIFINED
-Archit halder
What is PSS?
Highly descriptive and
easy to understand
modeling approach that
makes use of GRAPHS, a
well-known method to
detail complex
functionality in a
comprehendible fashion.
When used with the test
synthesis, enables
PORTABLE scenarios for
UVM sequence generation
and C-based SoC tests
across simulation,
hardware verification and
actual silicon.
Modular in fashion
allowing smaller, UVM
block tests to be easily
SHARED with SoC teams
for incorporation into
larger tests, enabling
seamless reuse and
eliminating authoring
redundancy.
An Analogy
It is analogous to today’s Google maps, if we
•
want to go from City A to City B, it has
knowledge database of all the possible path,
information from users and other data, about
experiences from which roads get clogged at
what time.
Depending upon all the factors, it gives us the
•
most optimal solution.
That’s what PSS does for the users in creating
•
stimulus that covers the coverage space.
Who are in the Horserace for PSS?
CADENCE Perspec (1st
)
•
Breker TrekSoC (2nd
)
•
MENTOR InFact (4th
)
•
SYNOPSYS Mystery PSS Tool (3rd
)
•
Now we will talk about the differences between
CADENCE Perspec and Breker TrekSoC only.
Parameterized differences in Cadence
and Breker tools.
The basis of differentiation would be in the basis
•
of following parameters:
PSS Modeling
1.
PSS Constraint Solving
2.
PSS Test Intent
3.
PSS Libraries & Apps
4.
PSS Debug
5.
PSS Coverage
6.
Accellera PSS Language Support Plans
7.
PSS Modelling
To use PSS, you must break down your entire system into
subsystems.
Cadence Perspec Breker TrekSoC
With cadence it is easy to divide your
entire chip design into small subsystems,
also it uses pre-built libraries. Users have
the ability to customize a set of actions,
then Perspec figures out the possible i/p
and o/ps, and then build the test for you.
Whereas, Breker does the modelling as a
graph, for a system with lots of intertwined
dependencies, such as SoC with 50
subsystems, it’s very hard to use graph.
Also Breker uses libraries and call them
‘apps’. I/p and o/p are not clearly defined
Perspec supports Memory Management. It
supports coherency where multiple
processors must choose a small portion of
address range and share the same area.
Breker also supports memory
management. However, unlikePerspec,
their graph language itself does not assign
meaning to your steps and choices.
PSS Constraint Solving
PSS Model can be viewed as a set of constraints about the data flow in the
design. As a result, PSS tools have constraint solvers to generate all the
possible paths/tests.
Cadence Perspec Breker TrekSoC
With Perspec. You have to define the i/p
and o/p for all the different actions. The
tool then automatically solves all the
actions that produce an output that can
be consumed by that action.
Here we have to specify all the possiblle
connections in the graph ourselves.
PSS Test Intent
The way PSS works is it uses detailed models to describe all the scenarios you
want to test in a generalized form of a set of actions. When you are defining your
tests, you have the scenarios you want to create your test for. ‘Test Intent’
narrows the test space to only to tests you want to generate. This is done by a
way of text file or GUI.
Cadence Perspec Breker TrekSoC
It’s easier to capture and describe high-level
hierarchical actions in Perspec. With Perspec
you can create a library of higher level
sequences which use lower level actions. You
can then describe multiple sequences in full
detail. Perspec looks at your model to find all
possible sequences the test will execute,
then lets you choose exactly which test you
ant to generate.
Establishing test intent is harder with Breker,
because it must be shown in terms of graph
when you do your modelling, even if you
want to verify one element.
It’s easier to describe your partial intentions,
so that you only test what you care about.
Breker makes it hard to describe partial
intentions.
PSS Libraries & Apps
Both Cadence and Breker provide a set of ready-made models of actions for
a boat-load of different components, which are kept in repository. Pre built
libraries save many engineering man-months over the duration of a project
involving complex actions.
Cadence Perspec Breker TrekSoC
Perspec has an ARM library with an
extensive collection of low-level and high-
level actions. They also have a feature of
SML (system Modelling Library ) where it
lets people to build their own models.
These libraries also help a lot with the
entire coherency, ARM power, and ARM
process verification.
It is believed that Breker’s apps help the
users with ARM v8 and power
management.
Also, their coherency app is the most
popular app, with predefined models.
PSS Debug
You can use PSS tools to look at different parts of the design and the tests at
the same time to identify the source of the problem. Thus it help you save
time during debug
Cadence Perspec Breker TrekSoC
Perspec checks the test progress from
both a control-flow and data-flow
perspective. Perspec generally uses
graphical method for runtime debug.
Indago can be used independently with
other non-Cadence simulators. Its gives us
to see the progress in waveform.
Breker’s debugger works from a
microprocessor’s point of view. It doesn’t
show the data flow very well. The
debugging is mainly at low-level rather
than high-level
PSS Coverage
There are 2 types of coverage:
Pre runtime coverage – This is calculating your coverage before exercise of the test. The
•
idea is you get to know full spectrum of your coverage before you run your single test
case.
This is collecting your coverage after you’ve run all the tests. All the information needed
•
for runtime coverage calculation is dumped in your simulation log files.
Cadence Perspec Breker TrekSoC
Perspec has broader coverage functionality
than Breker. It calculates your pre-runtime
coverage for a scenario when the tests are first
generated, and then it calculates your
coverage after your tests are run. It shows:-
When certain transactions have started
•
When certain transaction have completed
•
If other transaction have taken place in
•
between.
You can define coverage across various actions
Breker also has pre-runtime coverage, but it
was a little simplistic in nature. Compared to
Perspec they don’t have the advanced runtime
coverage
Accelera PSS Language support plans
Accellera is working on it’s PS standard, which is
•
expected to be finalized in 2018
Once PSS is approved, it will have some built-in
•
constructs for vendors to add new functionality
according to their need.
The PSS being approved will also let us use our
•
generated tests from one tool vendor in another
vendor’s environment.
THANK YOU FOR YOUR TIME.
Select this paragraph to edit

More Related Content

Similar to PSS-1.pdf

Learning Software Performance Models for Dynamic and Uncertain Environments
Learning Software Performance Models for Dynamic and Uncertain EnvironmentsLearning Software Performance Models for Dynamic and Uncertain Environments
Learning Software Performance Models for Dynamic and Uncertain EnvironmentsPooyan Jamshidi
 
Consistency As A Service:Auditing Cloud Consistency
Consistency As A Service:Auditing Cloud ConsistencyConsistency As A Service:Auditing Cloud Consistency
Consistency As A Service:Auditing Cloud ConsistencyLakshmiPriya UdayaKumar
 
A General Purpose Extensible Scanning Query Architecture for Ad Hoc Analytics
A General Purpose Extensible Scanning Query Architecture for Ad Hoc AnalyticsA General Purpose Extensible Scanning Query Architecture for Ad Hoc Analytics
A General Purpose Extensible Scanning Query Architecture for Ad Hoc AnalyticsFlurry, Inc.
 
A petri net model for hardware software codesign
A petri net model for hardware software codesignA petri net model for hardware software codesign
A petri net model for hardware software codesignJULIO GONZALEZ SANZ
 
Bridging Concepts and Practice in eScience via Simulation-driven Engineering
Bridging Concepts and Practice in eScience via Simulation-driven EngineeringBridging Concepts and Practice in eScience via Simulation-driven Engineering
Bridging Concepts and Practice in eScience via Simulation-driven EngineeringRafael Ferreira da Silva
 
Scalable constrained spectral clustering
Scalable constrained spectral clusteringScalable constrained spectral clustering
Scalable constrained spectral clusteringNishanth Harapanahalli
 
Producer consumer-problems
Producer consumer-problemsProducer consumer-problems
Producer consumer-problemsRichard Ashworth
 
Building A Linux Cluster Using Raspberry PI #1!
Building A Linux Cluster Using Raspberry PI #1!Building A Linux Cluster Using Raspberry PI #1!
Building A Linux Cluster Using Raspberry PI #1!A Jorge Garcia
 
OpenACC Monthly Highlights: September 2021
OpenACC Monthly Highlights: September 2021OpenACC Monthly Highlights: September 2021
OpenACC Monthly Highlights: September 2021OpenACC
 
A Better Way to Capture and Manage Cement Lab Data
A Better Way to Capture and Manage Cement Lab DataA Better Way to Capture and Manage Cement Lab Data
A Better Way to Capture and Manage Cement Lab Datapvisoftware
 
Flex 4.5 jeyasekar
Flex 4.5  jeyasekarFlex 4.5  jeyasekar
Flex 4.5 jeyasekarjeya soft
 
Parallex - The Supercomputer
Parallex - The SupercomputerParallex - The Supercomputer
Parallex - The SupercomputerAnkit Singh
 
An octa core processor with shared memory and message-passing
An octa core processor with shared memory and message-passingAn octa core processor with shared memory and message-passing
An octa core processor with shared memory and message-passingeSAT Journals
 
Software-Defined Simulations for Continuous Development of Cloud and Data Cen...
Software-Defined Simulations for Continuous Development of Cloud and Data Cen...Software-Defined Simulations for Continuous Development of Cloud and Data Cen...
Software-Defined Simulations for Continuous Development of Cloud and Data Cen...Pradeeban Kathiravelu, Ph.D.
 
AI Stack on AWS: Amazon SageMaker and Beyond
AI Stack on AWS: Amazon SageMaker and BeyondAI Stack on AWS: Amazon SageMaker and Beyond
AI Stack on AWS: Amazon SageMaker and BeyondProvectus
 
CS 301 Computer ArchitectureStudent # 1 EID 09Kingdom of .docx
CS 301 Computer ArchitectureStudent # 1 EID 09Kingdom of .docxCS 301 Computer ArchitectureStudent # 1 EID 09Kingdom of .docx
CS 301 Computer ArchitectureStudent # 1 EID 09Kingdom of .docxfaithxdunce63732
 
System Structure for Dependable Software Systems
System Structure for Dependable Software SystemsSystem Structure for Dependable Software Systems
System Structure for Dependable Software SystemsVincenzo De Florio
 
Cqrs and Event Sourcing Intro For Developers
Cqrs and Event Sourcing Intro For DevelopersCqrs and Event Sourcing Intro For Developers
Cqrs and Event Sourcing Intro For Developerswojtek_s
 

Similar to PSS-1.pdf (20)

Learning Software Performance Models for Dynamic and Uncertain Environments
Learning Software Performance Models for Dynamic and Uncertain EnvironmentsLearning Software Performance Models for Dynamic and Uncertain Environments
Learning Software Performance Models for Dynamic and Uncertain Environments
 
Consistency As A Service:Auditing Cloud Consistency
Consistency As A Service:Auditing Cloud ConsistencyConsistency As A Service:Auditing Cloud Consistency
Consistency As A Service:Auditing Cloud Consistency
 
A General Purpose Extensible Scanning Query Architecture for Ad Hoc Analytics
A General Purpose Extensible Scanning Query Architecture for Ad Hoc AnalyticsA General Purpose Extensible Scanning Query Architecture for Ad Hoc Analytics
A General Purpose Extensible Scanning Query Architecture for Ad Hoc Analytics
 
A petri net model for hardware software codesign
A petri net model for hardware software codesignA petri net model for hardware software codesign
A petri net model for hardware software codesign
 
Bridging Concepts and Practice in eScience via Simulation-driven Engineering
Bridging Concepts and Practice in eScience via Simulation-driven EngineeringBridging Concepts and Practice in eScience via Simulation-driven Engineering
Bridging Concepts and Practice in eScience via Simulation-driven Engineering
 
Scalable constrained spectral clustering
Scalable constrained spectral clusteringScalable constrained spectral clustering
Scalable constrained spectral clustering
 
Producer consumer-problems
Producer consumer-problemsProducer consumer-problems
Producer consumer-problems
 
Building A Linux Cluster Using Raspberry PI #1!
Building A Linux Cluster Using Raspberry PI #1!Building A Linux Cluster Using Raspberry PI #1!
Building A Linux Cluster Using Raspberry PI #1!
 
OpenACC Monthly Highlights: September 2021
OpenACC Monthly Highlights: September 2021OpenACC Monthly Highlights: September 2021
OpenACC Monthly Highlights: September 2021
 
A Better Way to Capture and Manage Cement Lab Data
A Better Way to Capture and Manage Cement Lab DataA Better Way to Capture and Manage Cement Lab Data
A Better Way to Capture and Manage Cement Lab Data
 
Flex 4.5 jeyasekar
Flex 4.5  jeyasekarFlex 4.5  jeyasekar
Flex 4.5 jeyasekar
 
Parallex - The Supercomputer
Parallex - The SupercomputerParallex - The Supercomputer
Parallex - The Supercomputer
 
An octa core processor with shared memory and message-passing
An octa core processor with shared memory and message-passingAn octa core processor with shared memory and message-passing
An octa core processor with shared memory and message-passing
 
Software-Defined Simulations for Continuous Development of Cloud and Data Cen...
Software-Defined Simulations for Continuous Development of Cloud and Data Cen...Software-Defined Simulations for Continuous Development of Cloud and Data Cen...
Software-Defined Simulations for Continuous Development of Cloud and Data Cen...
 
AI Stack on AWS: Amazon SageMaker and Beyond
AI Stack on AWS: Amazon SageMaker and BeyondAI Stack on AWS: Amazon SageMaker and Beyond
AI Stack on AWS: Amazon SageMaker and Beyond
 
CS 301 Computer ArchitectureStudent # 1 EID 09Kingdom of .docx
CS 301 Computer ArchitectureStudent # 1 EID 09Kingdom of .docxCS 301 Computer ArchitectureStudent # 1 EID 09Kingdom of .docx
CS 301 Computer ArchitectureStudent # 1 EID 09Kingdom of .docx
 
System Structure for Dependable Software Systems
System Structure for Dependable Software SystemsSystem Structure for Dependable Software Systems
System Structure for Dependable Software Systems
 
Cqrs and Event Sourcing Intro For Developers
Cqrs and Event Sourcing Intro For DevelopersCqrs and Event Sourcing Intro For Developers
Cqrs and Event Sourcing Intro For Developers
 
10 3
10 310 3
10 3
 
CQRS
CQRSCQRS
CQRS
 

Recently uploaded

Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsTechSoup
 
social pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajansocial pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajanpragatimahajan3
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Sapana Sha
 
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAPM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAssociation for Project Management
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfsanyamsingh5019
 
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...Sapna Thakur
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...EduSkills OECD
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityGeoBlogs
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3JemimahLaneBuaron
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxSayali Powar
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxiammrhaywood
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfJayanti Pande
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdfQucHHunhnh
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfchloefrazer622
 
A Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy ReformA Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy ReformChameera Dedduwage
 
Russian Call Girls in Andheri Airport Mumbai WhatsApp 9167673311 💞 Full Nigh...
Russian Call Girls in Andheri Airport Mumbai WhatsApp  9167673311 💞 Full Nigh...Russian Call Girls in Andheri Airport Mumbai WhatsApp  9167673311 💞 Full Nigh...
Russian Call Girls in Andheri Airport Mumbai WhatsApp 9167673311 💞 Full Nigh...Pooja Nehwal
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphThiyagu K
 
Measures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDMeasures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDThiyagu K
 

Recently uploaded (20)

Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
 
social pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajansocial pharmacy d-pharm 1st year by Pragati K. Mahajan
social pharmacy d-pharm 1st year by Pragati K. Mahajan
 
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"Mattingly "AI & Prompt Design: The Basics of Prompt Design"
Mattingly "AI & Prompt Design: The Basics of Prompt Design"
 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
 
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptxINDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
 
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAPM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across Sectors
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdf
 
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
BAG TECHNIQUE Bag technique-a tool making use of public health bag through wh...
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activity
 
Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3Q4-W6-Restating Informational Text Grade 3
Q4-W6-Restating Informational Text Grade 3
 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdf
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdf
 
A Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy ReformA Critique of the Proposed National Education Policy Reform
A Critique of the Proposed National Education Policy Reform
 
Russian Call Girls in Andheri Airport Mumbai WhatsApp 9167673311 💞 Full Nigh...
Russian Call Girls in Andheri Airport Mumbai WhatsApp  9167673311 💞 Full Nigh...Russian Call Girls in Andheri Airport Mumbai WhatsApp  9167673311 💞 Full Nigh...
Russian Call Girls in Andheri Airport Mumbai WhatsApp 9167673311 💞 Full Nigh...
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot Graph
 
Measures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDMeasures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SD
 

PSS-1.pdf

  • 1. PORTABLE STIMULUS (PSS) VERIFICATION REDIFINED -Archit halder
  • 2. What is PSS? Highly descriptive and easy to understand modeling approach that makes use of GRAPHS, a well-known method to detail complex functionality in a comprehendible fashion. When used with the test synthesis, enables PORTABLE scenarios for UVM sequence generation and C-based SoC tests across simulation, hardware verification and actual silicon. Modular in fashion allowing smaller, UVM block tests to be easily SHARED with SoC teams for incorporation into larger tests, enabling seamless reuse and eliminating authoring redundancy.
  • 3.
  • 4. An Analogy It is analogous to today’s Google maps, if we • want to go from City A to City B, it has knowledge database of all the possible path, information from users and other data, about experiences from which roads get clogged at what time. Depending upon all the factors, it gives us the • most optimal solution. That’s what PSS does for the users in creating • stimulus that covers the coverage space.
  • 5. Who are in the Horserace for PSS? CADENCE Perspec (1st ) • Breker TrekSoC (2nd ) • MENTOR InFact (4th ) • SYNOPSYS Mystery PSS Tool (3rd ) • Now we will talk about the differences between CADENCE Perspec and Breker TrekSoC only.
  • 6. Parameterized differences in Cadence and Breker tools. The basis of differentiation would be in the basis • of following parameters: PSS Modeling 1. PSS Constraint Solving 2. PSS Test Intent 3. PSS Libraries & Apps 4. PSS Debug 5. PSS Coverage 6. Accellera PSS Language Support Plans 7.
  • 7. PSS Modelling To use PSS, you must break down your entire system into subsystems. Cadence Perspec Breker TrekSoC With cadence it is easy to divide your entire chip design into small subsystems, also it uses pre-built libraries. Users have the ability to customize a set of actions, then Perspec figures out the possible i/p and o/ps, and then build the test for you. Whereas, Breker does the modelling as a graph, for a system with lots of intertwined dependencies, such as SoC with 50 subsystems, it’s very hard to use graph. Also Breker uses libraries and call them ‘apps’. I/p and o/p are not clearly defined Perspec supports Memory Management. It supports coherency where multiple processors must choose a small portion of address range and share the same area. Breker also supports memory management. However, unlikePerspec, their graph language itself does not assign meaning to your steps and choices.
  • 8. PSS Constraint Solving PSS Model can be viewed as a set of constraints about the data flow in the design. As a result, PSS tools have constraint solvers to generate all the possible paths/tests. Cadence Perspec Breker TrekSoC With Perspec. You have to define the i/p and o/p for all the different actions. The tool then automatically solves all the actions that produce an output that can be consumed by that action. Here we have to specify all the possiblle connections in the graph ourselves.
  • 9. PSS Test Intent The way PSS works is it uses detailed models to describe all the scenarios you want to test in a generalized form of a set of actions. When you are defining your tests, you have the scenarios you want to create your test for. ‘Test Intent’ narrows the test space to only to tests you want to generate. This is done by a way of text file or GUI. Cadence Perspec Breker TrekSoC It’s easier to capture and describe high-level hierarchical actions in Perspec. With Perspec you can create a library of higher level sequences which use lower level actions. You can then describe multiple sequences in full detail. Perspec looks at your model to find all possible sequences the test will execute, then lets you choose exactly which test you ant to generate. Establishing test intent is harder with Breker, because it must be shown in terms of graph when you do your modelling, even if you want to verify one element. It’s easier to describe your partial intentions, so that you only test what you care about. Breker makes it hard to describe partial intentions.
  • 10. PSS Libraries & Apps Both Cadence and Breker provide a set of ready-made models of actions for a boat-load of different components, which are kept in repository. Pre built libraries save many engineering man-months over the duration of a project involving complex actions. Cadence Perspec Breker TrekSoC Perspec has an ARM library with an extensive collection of low-level and high- level actions. They also have a feature of SML (system Modelling Library ) where it lets people to build their own models. These libraries also help a lot with the entire coherency, ARM power, and ARM process verification. It is believed that Breker’s apps help the users with ARM v8 and power management. Also, their coherency app is the most popular app, with predefined models.
  • 11. PSS Debug You can use PSS tools to look at different parts of the design and the tests at the same time to identify the source of the problem. Thus it help you save time during debug Cadence Perspec Breker TrekSoC Perspec checks the test progress from both a control-flow and data-flow perspective. Perspec generally uses graphical method for runtime debug. Indago can be used independently with other non-Cadence simulators. Its gives us to see the progress in waveform. Breker’s debugger works from a microprocessor’s point of view. It doesn’t show the data flow very well. The debugging is mainly at low-level rather than high-level
  • 12. PSS Coverage There are 2 types of coverage: Pre runtime coverage – This is calculating your coverage before exercise of the test. The • idea is you get to know full spectrum of your coverage before you run your single test case. This is collecting your coverage after you’ve run all the tests. All the information needed • for runtime coverage calculation is dumped in your simulation log files. Cadence Perspec Breker TrekSoC Perspec has broader coverage functionality than Breker. It calculates your pre-runtime coverage for a scenario when the tests are first generated, and then it calculates your coverage after your tests are run. It shows:- When certain transactions have started • When certain transaction have completed • If other transaction have taken place in • between. You can define coverage across various actions Breker also has pre-runtime coverage, but it was a little simplistic in nature. Compared to Perspec they don’t have the advanced runtime coverage
  • 13. Accelera PSS Language support plans Accellera is working on it’s PS standard, which is • expected to be finalized in 2018 Once PSS is approved, it will have some built-in • constructs for vendors to add new functionality according to their need. The PSS being approved will also let us use our • generated tests from one tool vendor in another vendor’s environment.
  • 14. THANK YOU FOR YOUR TIME. Select this paragraph to edit