Registro
Login
Soporte a la Certificación DO-178/254
Soporte a la Certificación ISO-26262
Diseño y Verificación de SoCs y FPGAs
Formación en Certificación Aeronáutica
Formación en Certificación Ferroviaria
Formación en Certificación Automoción
Formación en Ingeniería de Requisitos
Formación en Desarrollo Software
Formación en Pruebas de Software y Hardware
Soporte a la Certificación ISO-26262
Diseño y Verificación de SoCs y FPGAs
Formación en Certificación Aeronáutica
Formación en Certificación Ferroviaria
Formación en Certificación Automoción
Formación en Ingeniería de Requisitos
Formación en Desarrollo Software
Formación en Pruebas de Software y Hardware
Temario
Este curso está focalizado en la metodología para el desarrollo y verificación de lógica programable en FPGAs y SoCs utilizando VHDL, siguiendo los estándares de seguridad requeridos en proyectos de misión crítica.
El objetivo es presentar las metodologías, herramientas y buenas prácticas de diseño para afrontar con éxito la verificación de FPGAs.
El curso incluye la realización de casos prácticos de verificación donde se generarán las evidencias de certificación requeridas por los estándares de seguridad.
El curso está orientado hacia personas con nociones en el desarrollo de proyectos bajo normativas de seguridad provenientes del ámbito software o con experiencia previa en el uso de VHDL.
El objetivo es presentar las metodologías, herramientas y buenas prácticas de diseño para afrontar con éxito la verificación de FPGAs.
El curso incluye la realización de casos prácticos de verificación donde se generarán las evidencias de certificación requeridas por los estándares de seguridad.
El curso está orientado hacia personas con nociones en el desarrollo de proyectos bajo normativas de seguridad provenientes del ámbito software o con experiencia previa en el uso de VHDL.
Hardware Lifecycle
• Planning
• Requirements Capture
• Detailed Design
• Requirements Capture
• Detailed Design
• Implementation
• Verification & Validation
FPGA Design
• RTL versus behavioral code
• Good coding practices & coding standards
• Numeric libraries
• SEU Mitigation
• Fault-tolerant systems
• Secure your desing
FPGA Verification
• Basics of regression testing
• HDL Simulation
• Cross-clock domain analysis
• Static timing analysis
• Netlist simulation
• Hardware testing
Code Coverage
• Functional coverage
• Assertions
• Constrained random verification
Advanced Verification
• UVM
• VUnit
Traceability
Tools
• Design tools and verification tools
• Tool qualification versus tool assessment
Parte Práctica
• Creation of a demo project
• Python for VHDL testing
• Installing 3rd party libraries
• Libraries for data analysis
• Regression testing
• Generating test data
• Synthesis and implementation
• Back annotated testing
• Planning
• Requirements Capture
• Detailed Design
• Requirements Capture
• Detailed Design
• Implementation
• Verification & Validation
FPGA Design
• RTL versus behavioral code
• Good coding practices & coding standards
• Numeric libraries
• SEU Mitigation
• Fault-tolerant systems
• Secure your desing
FPGA Verification
• Basics of regression testing
• HDL Simulation
• Cross-clock domain analysis
• Static timing analysis
• Netlist simulation
• Hardware testing
Code Coverage
• Functional coverage
• Assertions
• Constrained random verification
Advanced Verification
• UVM
• VUnit
Traceability
Tools
• Design tools and verification tools
• Tool qualification versus tool assessment
Parte Práctica
• Creation of a demo project
• Python for VHDL testing
• Installing 3rd party libraries
• Libraries for data analysis
• Regression testing
• Generating test data
• Synthesis and implementation
• Back annotated testing
Curso de Formación:
VHDL Verification for
Safety Critical projects
VHDL Verification for
Safety Critical projects
Inscripción
Política de Privacidad
Al enviarnos sus datos personales, Vd. está aceptando nuestra Politica de Privacidad.
Vea nuestra política de privacidad en este enlace.
Vea nuestra política de privacidad en este enlace.
La confirmación de la inscripción se realizará por correo electrónico tras enviar el formulario de inscripción.
Ingeniero de Electrónica y Telecomunicaciones y Máster en Robótica, con veinte años de experiencia en sistemas embebidos. Combina la experiencia en desarrollo hardware y software con la certificación de sistemas aeronáuticos.
El curso se imparte en castellano.
El curso se imparte en castellano.
Madrid, 10 de Febrero de 2020
Formador
Precio del Curso: 400 €
Condiciones Especiales:
• Inscripciones realizadas antes del 10 de Enero:
350 €
• Empresas que han realizado formación previa
con Doymus: 350 €
• Inscripciones de 2 personas de la misma
compañía: 350 €
• Inscripciones de 3 personas o más de la misma
compañia: 300 €
Condiciones Especiales:
• Inscripciones realizadas antes del 10 de Enero:
350 €
• Empresas que han realizado formación previa
con Doymus: 350 €
• Inscripciones de 2 personas de la misma
compañía: 350 €
• Inscripciones de 3 personas o más de la misma
compañia: 300 €
Los asistentes recibirán un libro con las diapositivas del curso.
También recibiran los distintos casos prácticos resueltos.
También recibiran los distintos casos prácticos resueltos.
Productos
© 2014 - 2019 Doymus Software e Ingeniería • Aviso Legal • Política de Privacidad • Política de Cookies
Servicios
Contactar
+34 911.788.540
Software & Hardware Development Tools
and Professional Services
and Professional Services
Otros
Análisis Estático de Código Fuente y Binario
Placas y Sistemas Hardware
de Alta Disponibilidad
de Alta Disponibilidad
Pruebas de Integraz Gráfica
de Usuario (GUI)
de Usuario (GUI)
Entornos de Desarrollo Software Embarcado
Especificación y Análisis de Requisitos y Riesgos
Soporte a la Certificación ISO-26262
Formación DO 178/254
Soporte a la Certificación DO 178/254
Soporte a la Certificación DO 178/254
Diseño y Verificación
de SoCs y FPGAs
de SoCs y FPGAs
Doymus distribuye productos y servicios de las siguientes compañías:
