SoC/ASIC/SoC-FPGA/S-ASIC Design and Verification Methodology · SoC/ASIC/SoC-FPGA/S-ASIC Design and...

Preview:

Citation preview

SoC/ASIC/SoC-FPGA/S-ASIC Design and Verification

Methodology

intelop

Intelop Corporation4800 Great America Pkwy.

Ste-201Santa Clara, CA. 95054

Ph: 408-496-0333, Fax: 408-496-0444www.intelop.com

Courtesy of Cadence design

intelopChallenges in Embedded Systems Design

intelopCritical Issues

intelopVerification Effort size

intelopOverview of Verification Methodologies

intelopSoftware Simulation

intelopSoftware Simulation

intelopHardware Acceleration

intelopEmulation

intelopOverview of Verification Methodologies

Formal Verification

intelopFormal Verification : equivalence Check

intelopFormal Verification : equivalence Check

intelopTheorem Proving

intelopFormal Verification : Model Check

intelopFormal Verification : Model Checking

intelopFormal Verification : Challenges

intelopSemi-Formal Verification : Assertion

intelopSemi-Formal Verification : Coverage

intelopSemi-Formal Verification : Coverage

intelopSemi-Formal Verification : Coverage

intelop

Semi-Formal Verification

intelop

Design Complexity

intelopLanguage Heritage for SoC Design

intelopSystemC in SoC Design

intelopSystemC in SoC Design

intelop

Abstraction Levels of SystemC

intelop

Vera (Synopsys)

intelop

Vera (Synopsys)

intelop

System Verilog

intelop

System Verilog

intelop

Key Components of System Verilog

intelopSystem Design Language Summary

intelop

SoC Verification

intelopEmbedded Processor Cores in SoC

intelopModels of Embedded Processor

intelopModels of Embedded Processor

intelopModels of Embedded Processor

intelop

Verification with Embedded Processor

intelop

Verification with Embedded Processor

intelop

Simultaneous SoC design Flow

intelop

Tool utilized in HW-SW Co-Verification

intelop

Tool utilized in Co-Simulation

intelop

Conclusion

intelop

Conclusion

Recommended