from silicon to software - semicon · pdf filedftmax ultra star hierarchical system advanced...
TRANSCRIPT
Jeff Hutton
Synopsys Automotive Business Development
Enabling Safe, Secure, Smarter Cars
…from Silicon to Software
Systemic
Complexity
Time
Smarter
Safe
SecureADAS
Autonomous
V2X
Infotainment
Safe Secure Smarter
AEC-Q100 ISO26262 SAE J3061
IC Design
Key
Differences
Automotive Fully Documented Design
Traceability from Specification
Addition of Safety Mechanisms and Fault Testing
In-System Test
Cybersecurity for Cyber-Physical Vehicle Systems
Enabling Safe, Secure, Smarter Cars
…from Silicon to Software
Software cybersecurity & quality
Verify functional safety (ISO 26262)
Automotive-certified IP (ISO 26262)
High-reliability IC design
ISO 26262-certified Test
Software cybersecurity & quality
Verify functional safety (ISO 26262)
Automotive-certified IP
High-reliability IC design
ISO 26262-certified Test
Enabling Safe, Secure, Smarter Cars
…from Silicon to Software
Automotive Software Signoff Platform
Protecode
Supply Chain Management
Critical defects and vulnerabilities in code
Standards compliance (MISRA, ISO26262)
OWASP Top 10 and CWE Top 25
Quality, security, and safety
Supply chain total health with SW BoM
Find known vulnerabilities in 3rd and OSS
Secure integration of connected systems
Security, safety, and liability
Defensics
Security Testing
Fuzzing for automotive protocols
Find vulnerabilities before hackers
Ethernet, WiFi, CAN, Bluetooth, SMS, DHCP
Security and safety
Coverity
Static Analysis
*Synopsys leads SAE Cybersecurity testing task force
Software cybersecurity & quality
Verify functional safety (ISO 26262)
Automotive-certified IP
High-reliability IC design
ISO 26262-certified Test
Enabling Safe, Secure, Smarter Cars
…from Silicon to Software
Debug & Coverage
VIP, Models & Databases
EmulationPhysical
PrototypingStatic
& FormalSimulation
Virtual Prototyping
Unified Compile and
Debug
ISO 26262
Functional Safety
Qualification
Virtual Prototyping
for Automotive
Hybrid Prototyping
& Emulation
Requirements
Linking, Tracking &
Documentation
Fault
Synopsys Verification ContinuumConsistent Across all Verification Engines
Fault Injection & SimulationFunctional Qualification
Unified Functional & Safety Verification
Verification Requirements
HDL TB VIPIP
Simulation EmulationStatic/Formal
Tapeout FMEDA Report
Verification Plan
Safety Requirements
Safety Plan
Safety-Focused
IP, VIP & TB
Synopsys Verification Solution Certified for Most Stringent
Level of Automotive Safety Measures Defined by ISO 26262
May 10, 2016
Certified for Highest Tool Confidence Level (TCL1)
Synopsys Functional Safety Verification Solution
Automotive Protocols
& Memory VIP
Customized Safety
Reports / Doc
Traceable Verification
with Verdi
Requirements
ManagementChip Reqmts
Verif Plan
TB HDL IP/
VIP
Safety Goals
Safety Plan
IP Safety
Certification
FMEDA ReportTapeout
Fault modeling,
injection & simulation
for safety verification
and compliance
Simulation Emulation*Static/Formal
* Future
VCS, SpyGlass, Certitude,
Z01X, ZeBu
Best-in-Class Technology
Synopsys Extends VIP Portfolio for Automotive Applications
Apr 5, 2016
Native SystemVerilog VIP & Source Code Test Suites for
CAN 2.0/FD/TT, LIN, FlexRay & Ethernet AVB
Synopsys Extends Lead in Functional Safety & Security
Verification with Addition of Key Technology for
ISO 26262 Compliance
Mar 2, 2016
Acquires Leader in Fault Simulation - WinterLogic
Software cybersecurity & quality
Verify functional safety (ISO 26262)
Automotive-certified IP
High-reliability IC design
ISO 26262-certified Test
Enabling Safe, Secure, Smarter Cars
…from Silicon to Software
ISO 26262 Automotive Safety Package
Synopsys Automotive-Certified IP
• Broadest Silicon-
proven IP Portfolio
• 40, 28 & 16/14nm,
multiple foundries
• ASIL B-D Functional
Safety Certification
Sensor &
Control
Subsystem
Processors
ARC
Vision Processor
ASIPs
Interface IP
Ethernet USB
DDR PCIe
MIPI HDMI
Security
Encryption
Decryption
Content Protection
Analog IP & NVM
Data Converters
Non-Volatile Memory
Embedded Memories & Logic Libraries
Accelerate Design & Qualification of Automotive SoCs
• AEC-Q100 tested,
TS 16949 compliant
Introducing the DesignWare® EV6x
Embedded Vision Processor Family
• Most highly integrated vision processor
– Unified scalar, vector DSP and convolutional
neural network (CNN) architecture
– Supports 1080p - 4K vision streams
– 100x higher performance than EV5x family
• User scalable for optimum performance
– 1 to 4 Vision CPU cores
– Programmable CNN engine (option)
• State-of-the-art performance-efficiency
• High productivity toolset
– OpenCV, OpenVX, OpenCL C, MetaWare
General Availability: Oct 2016
OpenCV, OpenVX™
libraries and APIMetaWare, OpenCL C
Development Tools
Vision CPU (1 to 4 cores)
AXI Interconnect
Core 4
Core 3
CNN Engine
Core 2
Core 1
32-bit
scalar
512-bit
vector DSP
EV6x Embedded Vision Processor
Convolution
Classification
32-bit
scalar
512-bit
vector DSP
Shared MemorySync & Debug Streaming Transfer Unit
Synopsys: Enabling Safe, Secure, Smarter Cars
…from Silicon to Software
Software cybersecurity & quality
Verify functional safety (ISO 26262)
Automotive-certified IP
High-reliability IC design
ISO 26262-certified Test
Digital & Custom IC Design
Power Grid Integrity
Implementation for Robust and Reliable Automotive IC Designs
High Quality IC Implementation Electromigration Analysis
Extended Electrical Rule Checking Custom Routing
Power Grid Integrity
Low DPPM Test Automation
Software cybersecurity & quality
Verify functional safety (ISO 26262)
Automotive-certified IP
High-reliability IC design
ISO 26262-certified Test
Enabling Safe, Secure, Smarter Cars
…from Silicon to Software
Synopsys Automotive Test Solution
Certified for ISO 26262 functional safety
DFTMAX™ LogicBIST
STAR Memory System®
TetraMAX®
Automotive ATPGDFTMAX Ultra
STAR Hierarchical
System
Advanced Fault Models SoC Test IntegrationPin-Limited CompressionBuilt-In Self-Test
Higher Quality & Safety…with Lower Cost & Faster TAT
Enabling Safe, Secure, Smarter Cars
…from Silicon to Software
Software cybersecurity & quality
Verify functional safety (ISO 26262)
Automotive-certified IP (ISO 26262)
High-reliability IC design
ISO 26262-certified Test
Auto Documentable Development Flows
LYNX Design Flow AutoDocAutomatically Generate Complete HTML Hyperlinked Flow Documentation
Top Level Flow
Summary
Flow Step
Summary
Detailed Task
Information
Flow Full Script
Details
• Easy documentation
of flow customizations
• Useful for ISO 26262
requirements