SlideShare a Scribd company logo
1 of 13
ESL Verification   Automation
Jeda’s Mission ,[object Object],[object Object],[object Object],[object Object],[object Object]
A Typical ESL Design Flow HW/SW partitioning Embedded SW development Virtual platform  Architecture Exploration HW dependent SW (driver, HAL) Operating system (GUI, services) Middleware – application framework Application DSP OS, HAL drivers Algorithms Application Algorithm / Application / functional models RTL verification    unified testbench  Performance analysis Architecture validation SW Integration System Debugging Memory  subsystem RTL Swap HW platform Traffic  generator Traffic  generator Traffic  generator Traffic  generator Traffic  generator Traffic  generator Traffic  generator Traffic  generator Traffic  generator Traffic  generator Traffic  generator Traffic  generator Traffic  generator Traffic  generator
ESL Design Requirements ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Early, stable virtual system platforms High-level synthesis ,[object Object],[object Object],[object Object]
JEDA ESL Product Benefits ,[object Object],[object Object],[object Object],[object Object],[object Object],Create and verify models in less time ,[object Object],Shorten time to tapeout from ESL synthesis ,[object Object],[object Object],[object Object],[object Object],[object Object],Reach stable virtual system and debug faster
JEDA Products Assertions NSC  – Native SystemC verification suite Any-Architecture Applications OCP Design Applications NSCa: Native SystemC Assertion OCPchecker : OCP Compliance Checks Coverage ,[object Object],[object Object],[object Object],[object Object],OCPcover:  OCP Verification Coverage
JEDA NSCa Assertions NSC  – Native SystemC verification suite Any-Architecture Applications NSCa: Native SystemC Assertion Coverage ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
JEDA NSCv Assertions NSC  – Native SystemC verification suite Any-Architecture Applications NSCa: Native SystemC Assertion Coverage ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
JEDA OCPchecker Assertions NSC  – Native SystemC verification suite Any-Architecture Applications OCP Design Applications OCPchecker : OCP Compliance Checks Coverage OCPcover:  OCP Verification Coverage ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
JEDA OCPcover Assertions NSC  – Native SystemC verification suite Any-Architecture Applications OCP Design Applications OCPchecker : OCP Compliance Checks Coverage OCPcover:  OCP Verification Coverage ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Sonics ,[object Object],[object Object],[object Object],[object Object]
JEDA Partners
ESL Verification Automation www. jedatechnologies .net

More Related Content

What's hot

Verification for system companies (LI) - value proposition
Verification for system companies (LI) - value propositionVerification for system companies (LI) - value proposition
Verification for system companies (LI) - value propositionHagai Arbel
 
Mesa_Yogananda_ASIC_FPGA_Verification
Mesa_Yogananda_ASIC_FPGA_VerificationMesa_Yogananda_ASIC_FPGA_Verification
Mesa_Yogananda_ASIC_FPGA_VerificationYogananda Mesa
 
A Model Driven Development and Verification Approach for Medical Devices (Jak...
A Model Driven Development and Verification Approach for Medical Devices (Jak...A Model Driven Development and Verification Approach for Medical Devices (Jak...
A Model Driven Development and Verification Approach for Medical Devices (Jak...Jakub Jedryszek
 
Performance Monitoring with AOP and Amazon CloudWatch
Performance Monitoring with AOP and Amazon CloudWatchPerformance Monitoring with AOP and Amazon CloudWatch
Performance Monitoring with AOP and Amazon CloudWatchYan Cui
 
Conway Case Study - Optimizing Application Integration SDLC
Conway Case Study -  Optimizing Application Integration SDLCConway Case Study -  Optimizing Application Integration SDLC
Conway Case Study - Optimizing Application Integration SDLCRam Vittal
 
Leandro Melendez - Switching Performance Left & Right
Leandro Melendez - Switching Performance Left & RightLeandro Melendez - Switching Performance Left & Right
Leandro Melendez - Switching Performance Left & RightNeotys_Partner
 
Topic of software testing engineer
Topic of software testing engineerTopic of software testing engineer
Topic of software testing engineerghanshyambansal
 
Chat interfaces for continuous integration - CI/CD Pipeline on Slack
Chat interfaces for continuous integration - CI/CD Pipeline on SlackChat interfaces for continuous integration - CI/CD Pipeline on Slack
Chat interfaces for continuous integration - CI/CD Pipeline on SlackTroops Engineering
 
DevOps with Microsoft Stack
DevOps with Microsoft StackDevOps with Microsoft Stack
DevOps with Microsoft StackDeepti Jain
 
Neotys PAC - Ian Molyneaux
Neotys PAC - Ian MolyneauxNeotys PAC - Ian Molyneaux
Neotys PAC - Ian MolyneauxNeotys_Partner
 
Neotys PAC - Stijn Schepers
Neotys PAC - Stijn SchepersNeotys PAC - Stijn Schepers
Neotys PAC - Stijn SchepersNeotys_Partner
 
Open Source based API Functional and Performance Testing
Open Source based API Functional and Performance TestingOpen Source based API Functional and Performance Testing
Open Source based API Functional and Performance TestingNordic APIs
 
Naveen_Reddy_Resume
Naveen_Reddy_ResumeNaveen_Reddy_Resume
Naveen_Reddy_Resumereddhun
 
Advances in Verification - Workshop at BMS College of Engineering
Advances in Verification - Workshop at BMS College of EngineeringAdvances in Verification - Workshop at BMS College of Engineering
Advances in Verification - Workshop at BMS College of EngineeringRamdas Mozhikunnath
 
Infrastructure as code
Infrastructure as codeInfrastructure as code
Infrastructure as codeAakash Singhal
 
Leading the Lean Charge: POD Point’s Approach to Accellerated Innovation by E...
Leading the Lean Charge: POD Point’s Approach to Accellerated Innovation by E...Leading the Lean Charge: POD Point’s Approach to Accellerated Innovation by E...
Leading the Lean Charge: POD Point’s Approach to Accellerated Innovation by E...Lean Startup Co.
 

What's hot (20)

Verification for system companies (LI) - value proposition
Verification for system companies (LI) - value propositionVerification for system companies (LI) - value proposition
Verification for system companies (LI) - value proposition
 
Mesa_Yogananda_ASIC_FPGA_Verification
Mesa_Yogananda_ASIC_FPGA_VerificationMesa_Yogananda_ASIC_FPGA_Verification
Mesa_Yogananda_ASIC_FPGA_Verification
 
A Model Driven Development and Verification Approach for Medical Devices (Jak...
A Model Driven Development and Verification Approach for Medical Devices (Jak...A Model Driven Development and Verification Approach for Medical Devices (Jak...
A Model Driven Development and Verification Approach for Medical Devices (Jak...
 
Performance Monitoring with AOP and Amazon CloudWatch
Performance Monitoring with AOP and Amazon CloudWatchPerformance Monitoring with AOP and Amazon CloudWatch
Performance Monitoring with AOP and Amazon CloudWatch
 
Conway Case Study - Optimizing Application Integration SDLC
Conway Case Study -  Optimizing Application Integration SDLCConway Case Study -  Optimizing Application Integration SDLC
Conway Case Study - Optimizing Application Integration SDLC
 
Leandro Melendez - Switching Performance Left & Right
Leandro Melendez - Switching Performance Left & RightLeandro Melendez - Switching Performance Left & Right
Leandro Melendez - Switching Performance Left & Right
 
Topic of software testing engineer
Topic of software testing engineerTopic of software testing engineer
Topic of software testing engineer
 
Chat interfaces for continuous integration - CI/CD Pipeline on Slack
Chat interfaces for continuous integration - CI/CD Pipeline on SlackChat interfaces for continuous integration - CI/CD Pipeline on Slack
Chat interfaces for continuous integration - CI/CD Pipeline on Slack
 
DevOps with Microsoft Stack
DevOps with Microsoft StackDevOps with Microsoft Stack
DevOps with Microsoft Stack
 
Strickland dvclub
Strickland dvclubStrickland dvclub
Strickland dvclub
 
Neotys PAC - Ian Molyneaux
Neotys PAC - Ian MolyneauxNeotys PAC - Ian Molyneaux
Neotys PAC - Ian Molyneaux
 
Soasta Cloud Test
Soasta Cloud TestSoasta Cloud Test
Soasta Cloud Test
 
Neotys PAC - Stijn Schepers
Neotys PAC - Stijn SchepersNeotys PAC - Stijn Schepers
Neotys PAC - Stijn Schepers
 
Open Source based API Functional and Performance Testing
Open Source based API Functional and Performance TestingOpen Source based API Functional and Performance Testing
Open Source based API Functional and Performance Testing
 
Naveen_Reddy_Resume
Naveen_Reddy_ResumeNaveen_Reddy_Resume
Naveen_Reddy_Resume
 
Advances in Verification - Workshop at BMS College of Engineering
Advances in Verification - Workshop at BMS College of EngineeringAdvances in Verification - Workshop at BMS College of Engineering
Advances in Verification - Workshop at BMS College of Engineering
 
Fut Lsi
Fut LsiFut Lsi
Fut Lsi
 
Performance testing material
Performance testing materialPerformance testing material
Performance testing material
 
Infrastructure as code
Infrastructure as codeInfrastructure as code
Infrastructure as code
 
Leading the Lean Charge: POD Point’s Approach to Accellerated Innovation by E...
Leading the Lean Charge: POD Point’s Approach to Accellerated Innovation by E...Leading the Lean Charge: POD Point’s Approach to Accellerated Innovation by E...
Leading the Lean Charge: POD Point’s Approach to Accellerated Innovation by E...
 

Viewers also liked

IT Teknikermøde 6.12.07 Rev.2
IT Teknikermøde 6.12.07 Rev.2IT Teknikermøde 6.12.07 Rev.2
IT Teknikermøde 6.12.07 Rev.2josk
 
Sistema de Educacion a distancia
Sistema de Educacion a distanciaSistema de Educacion a distancia
Sistema de Educacion a distanciaaniyliz
 
Consumer Math Slides December 12, 2007
Consumer Math Slides December 12, 2007Consumer Math Slides December 12, 2007
Consumer Math Slides December 12, 2007Darren Kuropatwa
 
Correcaballitorangel.Aguinaldo No.1
Correcaballitorangel.Aguinaldo No.1Correcaballitorangel.Aguinaldo No.1
Correcaballitorangel.Aguinaldo No.1manita
 
Stress
StressStress
Stressaabpac
 
Jobo
JoboJobo
Jobocarg
 
Antartica natureza maravilhosa
Antartica natureza maravilhosaAntartica natureza maravilhosa
Antartica natureza maravilhosaFrancisco Coelho
 
La gènesi del paisatge de la zona de Ribes.
La gènesi del paisatge de la zona de Ribes.La gènesi del paisatge de la zona de Ribes.
La gènesi del paisatge de la zona de Ribes.celimar5
 
Discovery 071212 Slideshare
Discovery 071212 SlideshareDiscovery 071212 Slideshare
Discovery 071212 SlideshareICT en onderwijs
 
Teachers Services
Teachers ServicesTeachers Services
Teachers Servicesguest28b674
 
Calidad Total
Calidad TotalCalidad Total
Calidad Totalaniyliz
 
義大利香菇村
義大利香菇村義大利香菇村
義大利香菇村honan4108
 
javier
javierjavier
javierjafs
 

Viewers also liked (20)

IT Teknikermøde 6.12.07 Rev.2
IT Teknikermøde 6.12.07 Rev.2IT Teknikermøde 6.12.07 Rev.2
IT Teknikermøde 6.12.07 Rev.2
 
Wikis
WikisWikis
Wikis
 
O Homem
O HomemO Homem
O Homem
 
Sistema de Educacion a distancia
Sistema de Educacion a distanciaSistema de Educacion a distancia
Sistema de Educacion a distancia
 
Ghandi
GhandiGhandi
Ghandi
 
FOTOS.
FOTOS.FOTOS.
FOTOS.
 
Consumer Math Slides December 12, 2007
Consumer Math Slides December 12, 2007Consumer Math Slides December 12, 2007
Consumer Math Slides December 12, 2007
 
Correcaballitorangel.Aguinaldo No.1
Correcaballitorangel.Aguinaldo No.1Correcaballitorangel.Aguinaldo No.1
Correcaballitorangel.Aguinaldo No.1
 
Stress
StressStress
Stress
 
Asturias
AsturiasAsturias
Asturias
 
Jobo
JoboJobo
Jobo
 
Antartica natureza maravilhosa
Antartica natureza maravilhosaAntartica natureza maravilhosa
Antartica natureza maravilhosa
 
La gènesi del paisatge de la zona de Ribes.
La gènesi del paisatge de la zona de Ribes.La gènesi del paisatge de la zona de Ribes.
La gènesi del paisatge de la zona de Ribes.
 
Discovery 071212 Slideshare
Discovery 071212 SlideshareDiscovery 071212 Slideshare
Discovery 071212 Slideshare
 
Teachers Services
Teachers ServicesTeachers Services
Teachers Services
 
Calidad Total
Calidad TotalCalidad Total
Calidad Total
 
Alg1f Dec12
Alg1f Dec12Alg1f Dec12
Alg1f Dec12
 
義大利香菇村
義大利香菇村義大利香菇村
義大利香菇村
 
Para Sonreir
Para SonreirPara Sonreir
Para Sonreir
 
javier
javierjavier
javier
 

Similar to H S

PowerPoint Presentation
PowerPoint PresentationPowerPoint Presentation
PowerPoint Presentationrhofkens
 
Modernizing Testing as Apps Re-Architect
Modernizing Testing as Apps Re-ArchitectModernizing Testing as Apps Re-Architect
Modernizing Testing as Apps Re-ArchitectDevOps.com
 
Virtual Platforms
Virtual PlatformsVirtual Platforms
Virtual Platformsclkalyan
 
Setup and run automated test framework for android application
Setup and run automated test framework for android applicationSetup and run automated test framework for android application
Setup and run automated test framework for android applicationKonstantin Natalukha
 
Neotys PAC 2018 - Ramya Ramalinga Moorthy
Neotys PAC 2018 - Ramya Ramalinga MoorthyNeotys PAC 2018 - Ramya Ramalinga Moorthy
Neotys PAC 2018 - Ramya Ramalinga MoorthyNeotys_Partner
 
Rahul_Ramani_Profile
Rahul_Ramani_ProfileRahul_Ramani_Profile
Rahul_Ramani_ProfileRahul Ramani
 
Snug2007 Presentation
Snug2007 PresentationSnug2007 Presentation
Snug2007 Presentationclkalyan
 
Space Codesign CMC Microsystems Webinar 20150205 unrolled
Space Codesign CMC Microsystems Webinar 20150205 unrolledSpace Codesign CMC Microsystems Webinar 20150205 unrolled
Space Codesign CMC Microsystems Webinar 20150205 unrolledSpace Codesign
 
Ogt svf engine_brochure_aug2017
Ogt svf engine_brochure_aug2017Ogt svf engine_brochure_aug2017
Ogt svf engine_brochure_aug2017Michael Wang
 
Functional verification techniques EW16 session
Functional verification techniques  EW16 sessionFunctional verification techniques  EW16 session
Functional verification techniques EW16 sessionSameh El-Ashry
 
Jeda Hls Hlv Success Story V4
Jeda Hls Hlv Success Story V4Jeda Hls Hlv Success Story V4
Jeda Hls Hlv Success Story V4Chun Xia
 
КОСТЯНТИН НАТАЛУХА «Setup and run automated test framework for Android applic...
КОСТЯНТИН НАТАЛУХА «Setup and run automated test framework for Android applic...КОСТЯНТИН НАТАЛУХА «Setup and run automated test framework for Android applic...
КОСТЯНТИН НАТАЛУХА «Setup and run automated test framework for Android applic...GoQA
 
AWS Summit Auckland - Application Delivery Patterns for Developers
AWS Summit Auckland - Application Delivery Patterns for DevelopersAWS Summit Auckland - Application Delivery Patterns for Developers
AWS Summit Auckland - Application Delivery Patterns for DevelopersAmazon Web Services
 
Michael Ledford Fall 2014 Resume
Michael Ledford Fall 2014 ResumeMichael Ledford Fall 2014 Resume
Michael Ledford Fall 2014 ResumeMichael Ledford
 
Simplify and Scale Enterprise Spring Apps in the Cloud | March 23, 2023
Simplify and Scale Enterprise Spring Apps in the Cloud | March 23, 2023Simplify and Scale Enterprise Spring Apps in the Cloud | March 23, 2023
Simplify and Scale Enterprise Spring Apps in the Cloud | March 23, 2023VMware Tanzu
 
Architecting the Most Advanced Automotive SoCs: Maximizing Safety and Perform...
Architecting the Most Advanced Automotive SoCs: Maximizing Safety and Perform...Architecting the Most Advanced Automotive SoCs: Maximizing Safety and Perform...
Architecting the Most Advanced Automotive SoCs: Maximizing Safety and Perform...NetSpeed Systems
 

Similar to H S (20)

Basavanthrao_resume_vlsi
Basavanthrao_resume_vlsiBasavanthrao_resume_vlsi
Basavanthrao_resume_vlsi
 
PowerPoint Presentation
PowerPoint PresentationPowerPoint Presentation
PowerPoint Presentation
 
Modernizing Testing as Apps Re-Architect
Modernizing Testing as Apps Re-ArchitectModernizing Testing as Apps Re-Architect
Modernizing Testing as Apps Re-Architect
 
Virtual Platforms
Virtual PlatformsVirtual Platforms
Virtual Platforms
 
Setup and run automated test framework for android application
Setup and run automated test framework for android applicationSetup and run automated test framework for android application
Setup and run automated test framework for android application
 
Neotys PAC 2018 - Ramya Ramalinga Moorthy
Neotys PAC 2018 - Ramya Ramalinga MoorthyNeotys PAC 2018 - Ramya Ramalinga Moorthy
Neotys PAC 2018 - Ramya Ramalinga Moorthy
 
Rahul_Ramani_Profile
Rahul_Ramani_ProfileRahul_Ramani_Profile
Rahul_Ramani_Profile
 
Snug2007 Presentation
Snug2007 PresentationSnug2007 Presentation
Snug2007 Presentation
 
Space Codesign CMC Microsystems Webinar 20150205 unrolled
Space Codesign CMC Microsystems Webinar 20150205 unrolledSpace Codesign CMC Microsystems Webinar 20150205 unrolled
Space Codesign CMC Microsystems Webinar 20150205 unrolled
 
Apache Cloudstack QA Strategy
Apache Cloudstack QA StrategyApache Cloudstack QA Strategy
Apache Cloudstack QA Strategy
 
Ogt svf engine_brochure_aug2017
Ogt svf engine_brochure_aug2017Ogt svf engine_brochure_aug2017
Ogt svf engine_brochure_aug2017
 
Functional verification techniques EW16 session
Functional verification techniques  EW16 sessionFunctional verification techniques  EW16 session
Functional verification techniques EW16 session
 
DevOps in an Embedded World
DevOps in an Embedded WorldDevOps in an Embedded World
DevOps in an Embedded World
 
Jeda Hls Hlv Success Story V4
Jeda Hls Hlv Success Story V4Jeda Hls Hlv Success Story V4
Jeda Hls Hlv Success Story V4
 
PhD Slides
PhD SlidesPhD Slides
PhD Slides
 
КОСТЯНТИН НАТАЛУХА «Setup and run automated test framework for Android applic...
КОСТЯНТИН НАТАЛУХА «Setup and run automated test framework for Android applic...КОСТЯНТИН НАТАЛУХА «Setup and run automated test framework for Android applic...
КОСТЯНТИН НАТАЛУХА «Setup and run automated test framework for Android applic...
 
AWS Summit Auckland - Application Delivery Patterns for Developers
AWS Summit Auckland - Application Delivery Patterns for DevelopersAWS Summit Auckland - Application Delivery Patterns for Developers
AWS Summit Auckland - Application Delivery Patterns for Developers
 
Michael Ledford Fall 2014 Resume
Michael Ledford Fall 2014 ResumeMichael Ledford Fall 2014 Resume
Michael Ledford Fall 2014 Resume
 
Simplify and Scale Enterprise Spring Apps in the Cloud | March 23, 2023
Simplify and Scale Enterprise Spring Apps in the Cloud | March 23, 2023Simplify and Scale Enterprise Spring Apps in the Cloud | March 23, 2023
Simplify and Scale Enterprise Spring Apps in the Cloud | March 23, 2023
 
Architecting the Most Advanced Automotive SoCs: Maximizing Safety and Perform...
Architecting the Most Advanced Automotive SoCs: Maximizing Safety and Perform...Architecting the Most Advanced Automotive SoCs: Maximizing Safety and Perform...
Architecting the Most Advanced Automotive SoCs: Maximizing Safety and Perform...
 

Recently uploaded

Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slidevu2urc
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsEnterprise Knowledge
 
A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024Results
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxKatpro Technologies
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024The Digital Insurer
 
Developing An App To Navigate The Roads of Brazil
Developing An App To Navigate The Roads of BrazilDeveloping An App To Navigate The Roads of Brazil
Developing An App To Navigate The Roads of BrazilV3cube
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Drew Madelung
 
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationRadu Cotescu
 
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure serviceWhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure servicePooja Nehwal
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)Gabriella Davis
 
Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Enterprise Knowledge
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonetsnaman860154
 
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfThe Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfEnterprise Knowledge
 
Handwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsHandwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsMaria Levchenko
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreternaman860154
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonAnna Loughnan Colquhoun
 
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...Igalia
 
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...Neo4j
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...Martijn de Jong
 

Recently uploaded (20)

Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
 
A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
 
Developing An App To Navigate The Roads of Brazil
Developing An App To Navigate The Roads of BrazilDeveloping An App To Navigate The Roads of Brazil
Developing An App To Navigate The Roads of Brazil
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
 
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organization
 
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure serviceWhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
 
Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...Driving Behavioral Change for Information Management through Data-Driven Gree...
Driving Behavioral Change for Information Management through Data-Driven Gree...
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
 
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfThe Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
 
Handwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsHandwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed texts
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreter
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt Robison
 
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
 
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...
 

H S

  • 1. ESL Verification Automation
  • 2.
  • 3. A Typical ESL Design Flow HW/SW partitioning Embedded SW development Virtual platform Architecture Exploration HW dependent SW (driver, HAL) Operating system (GUI, services) Middleware – application framework Application DSP OS, HAL drivers Algorithms Application Algorithm / Application / functional models RTL verification  unified testbench Performance analysis Architecture validation SW Integration System Debugging Memory subsystem RTL Swap HW platform Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator Traffic generator
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 13. ESL Verification Automation www. jedatechnologies .net

Editor's Notes

  1. JEDA is the technbology leader in verification for ESL designs. JEDA provides solutions for all architecture designs, and specialized verification tools for OCP-IP based designs.