Verification Automation Using IPXACT
-
Upload
dvclub -
Category
Technology
-
view
800 -
download
0
Transcript of Verification Automation Using IPXACT
![Page 1: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/1.jpg)
Verification Automation using IPXACT
Rohit Jindal & Raman Singla
ST MicroelectronicsDate – 22nd Dec,2011
![Page 2: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/2.jpg)
Agenda
Typical Challenges in verification Using IP-XACT for verification platform
integration Using IP-XACT for register test generation IP-XACT history Q&A
2
![Page 3: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/3.jpg)
Introduction
Ever increasing design complexity IP Integration Verification
Increased Cost ~80% cost is head-count related
TTM pressures ~89% of designs go over deadline by avg. 44%
3
![Page 4: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/4.jpg)
DAC Study
4
significant efforts
![Page 5: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/5.jpg)
Typical challenges in verification
• Developing Testbench• Integration of components
• Configuration of IPs
Developing Register test cases Changes are inevitable during design process
Add/remove registers Register definition/bit fields Register location Register type Register implementation Monotonous work
How to be consistence with Design and Architecture Team
5
![Page 6: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/6.jpg)
What if we have ?
One specification for all information All representations/code generated from the
single source Single description for all registers Fully automated flow Industry (IEEE) standard
6
![Page 7: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/7.jpg)
What are the solutions ?
Excel based solutions In house solutions CIDL Use IEEE IP-XACT standard
7
IP-XACT
![Page 8: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/8.jpg)
8
What is IP-XACT ?
IP-XACT is an XML schema and semantics providing: Unified authoring, exchange and processing of design meta-data Complete API for meta-data exchange and database querying
IP-XACT enabled meta-data provides language (and vendor) independent description for IP’s
Component meta-data describes IP ports and interfaces Registers IP Configurable parameters
Design meta-data describes: Component instances Connectivity
Provides mechanism to model IP at different abstraction levels
![Page 9: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/9.jpg)
IP-XACT Objects An IP-XACT description of a design or component
consists of a set of XML documents referring to one another: Main document types are:
Component – A description of a component type, including interfaces, memory maps, and registers (IP)
Bus Definition – A description of a bus type. Design – A high level description of a design (SoC Netlist)
References between IP-XACT document are by 4 element identifier (vendor, library, name and version; often abbreviated to VLNV).
9
![Page 10: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/10.jpg)
IP-XACT component descriptions
10
Component
Physical signal Sig1
Physical signal Sig2
Physical signal Sig3
Bus interface B1
Bus type X
Slave
Bus interface B2
Bus type Y
Master
Signal mapSignal Map
Memory map map1
Register R0
Register R1
Signals
Main elements of components are:
Bus interfaces, referencing bus definitions to describe the bus type
Memory maps, including register descriptions
Physical signal descriptions
![Page 11: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/11.jpg)
IP-XACT component XML Example
11
![Page 12: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/12.jpg)
IP-XACT Design File
12
Component
Physical signal Sig1
Physical signal Sig2
Physical signal Sig3
Bus interface B1
Bus type X
Slave
Bus interface B2
Bus type Y
Master
Signal mapSignal Map
Memory map map1
Register R0
Register R1
Signals
Main elements of components are:
Bus interfaces, referencing bus definitions to describe the bus type
Memory maps, including register descriptions
Physical signal descriptions
![Page 13: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/13.jpg)
IP-XACT Design XML Example
13
![Page 14: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/14.jpg)
Pre IP-XACT : Separate design threads
14
VerificationSolution
SynthesisSolution
RTL IP Spec
CPU
CPU
CPU
No exchange ofsystem configuration
… implies difficultdesign iteration and consistencymanagement
SystemProfiling and Exploration
CPUCPU IP Spec
SystemC Design Environment
Verification TB
IP Spec
![Page 15: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/15.jpg)
With IP-XACT: Design iteration simplified
15
Co-VerificationSolution
SynthesisSolution
CPU
CPU
CPU
I
SystemProfiling and ExplorationCPUCPUYour IP IP
IP-XACT XMLSystemC Design Environment
RTL Design
IP-XACT SoC configuration XML
![Page 16: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/16.jpg)
Applying IP-XACT to the verification platform Integration
What is Required IP-XACT descriptions of RTL design and verification components
Testbench comprises of Component instances (design and verification) Connection between components Configurable Parameters of design and verification components
Output IP-XACT Design file
16
![Page 17: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/17.jpg)
17
IP spec
IP-XACT
IP-XACT Tool
TLM skeleton
Tool Verification Plt
TLM IP verification platform generation flow
TLM IP
IP Database
DUT
ROUTER
C testHOST Test Env
IPIP
IP
![Page 18: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/18.jpg)
18
IP spec
IP-XACT
IP-XACT Tool
RTL skeleton
Tool Verification Plt
RTL IP verification platform generation flow
RTL IP
IP Database
ROUTER
BFMs
sc wrapper
C testHOST Test Env
RTL
IPIP
IP
![Page 19: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/19.jpg)
19
Registers : Typical scenario
Cost per register type Specifications ( 0.5 page ) Datasheets Register tests RTL register decoder / netlist TLM models / netlist Register tests ( 30 lines per registers* [1..n] ) Register C header, eSW (20 lines per registers *[1..n]) Memory map representation ( ?? )
There are hundreds of register in a typical IP Who will ensure coherency ?
![Page 20: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/20.jpg)
20
Use IP-XACT and auto-generate all register specific codes from this file
![Page 21: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/21.jpg)
21
IP spec
IP-XACT
IP-XACT Tool
C header/test
Register Generation Flow
Register testcases
DUT
ROUTER
testHOST Test Env
IPIP
IP
![Page 22: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/22.jpg)
22
Design Flow using IP-XACT
Functional Spec
IP -XACTDescription
IP C header
IP Register
test
Mixed TLM/RTL
testbench
IP / (Sub)system architect
IP Verification team
Chip integration teamSW Driver team
Spec importCheck
QA Cosim wrapper export
Header / Reg test export
Datasheet
Tech Pub
Datasheet export
TLMSkeleton/
Netlist
TLM Modeling team
TLM Skeleton / netlist export
Edit
VerilogRTL
decoder
IP Design Team
Register bank export
IP Register
test
![Page 23: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/23.jpg)
IP-Xact benifits Standard allows multi vendor IPs/EDA tools use. Simplified integration Coherency with other design teams
No duplication
Automatic flow to avoid manual repetitive jobs Benefits: dramatic TTM Improvements
23
![Page 24: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/24.jpg)
How SPIRIT evolves…
Six companies started the SPIRIT Consortium in 2003 with the initial goal is to provide a standard for describing IP to enable maximum design automation with multisource
IPs/multi vendor design flows reuse vendor neutral approach
IP-Xact evolves as an industry standard to describe IPs
IP-Xact now an IEEE standard(p1685) SPIRIT Consortium now merge with another EDA
standards organization, Accellera
24
PHILIPS
![Page 25: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/25.jpg)
25
![Page 26: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/26.jpg)
26
Background of IP-Xact
IP-XACT 1.5 was handed off to the IEEE P1685 Working Group in late June 2009.
Later in June 2010, IEEE released the standards as IEEE Std1685-2009
Merger of Electronic Design Automation (EDA) industry organizations, Accellera and The SPIRIT Consortium
![Page 27: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/27.jpg)
27
IP-XACT TC Objectives and Goals
To collect requirements from all members for IP-Xact enhancements
Discuss and proposed solution amongst TC members Update IP-Xact standard as accellera extensions Handover the IP-Xact Accellera extensions to IEEE To ease the adoption of IP-Xact standard in industry
If you liked IP-XACT based flow and want to participate in TC, join us through Accellera.
![Page 28: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/28.jpg)
28
On the lighter side Present Verification plan and reports are in XML Output logs and debug reports are in XML
Near Future Comments of code in XML Minutes of meeting in XML
Future Discussion between team members in XML
For no further discussion - slash(/) discussion
![Page 29: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/29.jpg)
29
On the lighter side Future Resume of engineer
<skillset>VHDL,Verilog</skillset>
Interviewer asking candidate what is your VLNV Grenoble Institute of Technology, Electronics, Gregory Bernard,
2010
![Page 30: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/30.jpg)
<lastslide> Thanks </lastslide>
30
![Page 31: Verification Automation Using IPXACT](https://reader034.fdocuments.us/reader034/viewer/2022052523/5550c8a4b4c905e8318b4748/html5/thumbnails/31.jpg)
Thanks ! Questions?
31