Novel Approach for Accelerating Mixed Signal Verification
-
Upload
dvclub -
Category
Technology
-
view
471 -
download
11
description
Transcript of Novel Approach for Accelerating Mixed Signal Verification
![Page 1: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/1.jpg)
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, t
he Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore and Symphony
are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack,
ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a Package, Processor Expert, QorIQ
Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks
of Freescale Semiconductor, Inc. All other product or service names are the property
of their respective owners. © 2011 Freescale Semiconductor, Inc.
Confidential and Proprietary
Dec 19Dec 19thth 20122012
![Page 2: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/2.jpg)
• Large number of configurations & programming options for most AIP
blocks
• No formal Equivalence check for VAMS & SPICE models
• Non-Overlapping Verification cycles
• Huge time on AMS simulation
• Simple Verilog-AMS Drivers/Monitors used to automate AMS
Verification
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, the Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore
and Symphony are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack, ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a
Package, Processor Expert, QorIQ Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks of Freescale Semiconductor, Inc.
All other product or service names are the property of their respective owners. © 2011 Freescale Semiconductor, Inc.
2
Confidential and Proprietary
Verification
• Large effort that goes into developing VAMS Components
![Page 3: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/3.jpg)
VAMS has following additional Advantages:
• Notion of Current and Voltages in digital simulation
• More construct than verilog
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, the Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore
and Symphony are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack, ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a
Package, Processor Expert, QorIQ Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks of Freescale Semiconductor, Inc.
All other product or service names are the property of their respective owners. © 2011 Freescale Semiconductor, Inc.
3
Confidential and Proprietary
![Page 4: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/4.jpg)
In VAMS
• No randomization
• Very low interaction with other high level languages like C.
In Digital
No notion of Electrical Interface
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, the Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore
and Symphony are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack, ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a
Package, Processor Expert, QorIQ Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks of Freescale Semiconductor, Inc.
All other product or service names are the property of their respective owners. © 2011 Freescale Semiconductor, Inc.
4
Confidential and Proprietary
• No notion of Electrical Interface
• No voltage domain checking is possible as only 0 and 1
are level
![Page 5: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/5.jpg)
Spice Simulation to check analog behavior but has inherent
problems
• Comes very late in design cycle
• Long run time
• Very less feature can be verified
• No overlap with Digital verification so lead to change in
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, the Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore
and Symphony are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack, ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a
Package, Processor Expert, QorIQ Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks of Freescale Semiconductor, Inc.
All other product or service names are the property of their respective owners. © 2011 Freescale Semiconductor, Inc.
5
Confidential and Proprietary
• No overlap with Digital verification so lead to change in
digital logic at very end
![Page 6: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/6.jpg)
• SV-Real and VAMS
− Data generation in SV domain
− Simplified VAMS for Test bench purpose
− Random and Coverage driven Verification
− Re-usable Test bench
− High performance accurate models for VAMS at RTL
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, the Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore
and Symphony are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack, ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a
Package, Processor Expert, QorIQ Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks of Freescale Semiconductor, Inc.
All other product or service names are the property of their respective owners. © 2011 Freescale Semiconductor, Inc.
6
Confidential and Proprietary
− High performance accurate models for VAMS at RTL
![Page 7: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/7.jpg)
Digital Design
Test sequence VIP/Driver
D- Monitor D-Assertion
Configs
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, the Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore
and Symphony are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack, ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a
Package, Processor Expert, QorIQ Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks of Freescale Semiconductor, Inc.
All other product or service names are the property of their respective owners. © 2011 Freescale Semiconductor, Inc.
7
Confidential and Proprietary
SV Real Driver VAMS Driver Analog Design
A-Monitor A-Assertion
![Page 8: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/8.jpg)
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, the Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore
and Symphony are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack, ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a
Package, Processor Expert, QorIQ Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks of Freescale Semiconductor, Inc.
All other product or service names are the property of their respective owners. © 2011 Freescale Semiconductor, Inc.
8
Confidential and Proprietary
Testbench
SV Random SV Random
Real Driver DUVVAMS
Driver
V_p_c
h
Electrical
Interface
SV Testbench : Electrical Interface with
DUV
Vdd
Interfa
ce
![Page 9: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/9.jpg)
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, the Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore
and Symphony are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack, ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a
Package, Processor Expert, QorIQ Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks of Freescale Semiconductor, Inc.
All other product or service names are the property of their respective owners. © 2011 Freescale Semiconductor, Inc.
9
Confidential and Proprietary
![Page 10: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/10.jpg)
Control Signals
Interface
Digital
• The functionality requirement from analog models− Voltage measurement in both differential and common mode.
− Variable programmable sampling rates
− Run time Configurable analog gain
− User selectable reference voltage source.
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, the Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore
and Symphony are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack, ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a
Package, Processor Expert, QorIQ Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks of Freescale Semiconductor, Inc.
All other product or service names are the property of their respective owners. © 2011 Freescale Semiconductor, Inc.
10
Confidential and Proprietary
PGAPGA
PGA
PGAPGA
ModulatorPGA
PGAFilter
Digital
IP
PGAPGA
VRef
p
n
![Page 11: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/11.jpg)
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, the Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore
and Symphony are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack, ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a
Package, Processor Expert, QorIQ Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks of Freescale Semiconductor, Inc.
All other product or service names are the property of their respective owners. © 2011 Freescale Semiconductor, Inc.
11
Confidential and Proprietary
![Page 12: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/12.jpg)
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, the Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore
and Symphony are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack, ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a
Package, Processor Expert, QorIQ Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks of Freescale Semiconductor, Inc.
All other product or service names are the property of their respective owners. © 2011 Freescale Semiconductor, Inc.
12
Confidential and Proprietary
![Page 13: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/13.jpg)
DA_IP
• Multiple IP Features to be verified
Exhaustive coverage needed
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, the Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore
and Symphony are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack, ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a
Package, Processor Expert, QorIQ Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks of Freescale Semiconductor, Inc.
All other product or service names are the property of their respective owners. © 2011 Freescale Semiconductor, Inc.
13
Confidential and Proprietary
• Exhaustive coverage needed
• Across corner Cz. Needed
• Simulation Speed very important
• Moderately Accurate VAMS Model
• Approach : VAMS Based RNM Simulation with SV-VAMS approach
![Page 14: Novel Approach for Accelerating Mixed Signal Verification](https://reader033.fdocuments.us/reader033/viewer/2022051211/5538937e4a79599a678b4793/html5/thumbnails/14.jpg)
THANK YOU
TM
Freescale, the Freescale logo, AltiVec, C-5, CodeTEST, CodeWarrior, ColdFire, C-Ware, the Energy Efficient Solutions logo, mobileGT, PowerQUICC, QorIQ, StarCore
and Symphony are trademarks of Freescale Semiconductor, Inc., Reg. U.S. Pat. & Tm. Off. BeeKit, BeeStack, ColdFire+, CoreNet, Flexis, Kinetis, MXC, Platform in a
Package, Processor Expert, QorIQ Qonverge, Qorivva, QUICC Engine, SMARTMOS, TurboLink, VortiQa and Xtrinsic are trademarks of Freescale Semiconductor, Inc.
All other product or service names are the property of their respective owners. © 2011 Freescale Semiconductor, Inc.
14
Confidential and Proprietary
THANK YOU