Doctoral Thesis - Formal IP Interface Protocol Specification for Compatibility Checks and Verification iv)

• Conceptualization: Definition of an IP interface specification format; based on, or compatible with established IP formats Implementation and Automation: Implementation of compatibility checks between connected interfaces

• Verification: Automated generation of verification references

• Application: Continuous testing and evaluation of the developed methods on Infineon IPs in the context of RISC-V SoCs

• Collaboration: Interaction with external partners of the collaboration

• Methodology Improvement: Study existing approaches, prove the applicability and get feedback to enhance the methodology

The learnings out of the thesis will lead to:

• Interface and interconnect protocols
• IP parameterization and customization methods
• Generic IP and interface specification
• Methodology for automated verification in an industrial environment
• Modeling and Meta-Modeling
• Various Modeling and Abstraction concepts and their implementation

• Education: Master's degree in electrical engineering, computer science, or a related field with a very good academic track record
• Interests: You are interested in complex, interdisciplinary and interlinked tasks and should like to solve them together with colleagues
• Skills: Proficiency in Python
• Experience: Background in digital design and verification, experience with hardware description languages like VHDL or Verilog; knowledge about IP-level formats (e.g. IP-XACT, FuseSoC, etc.) is a plus
• Knowledge: Understanding of metamodeling, (template-based) code generation and/or model-driven architecture is a plus
• Soft Skills: You possess good presentation and communication skills that help you to present challenging issues clearly and simply
• Language: High proficiency in English, both spoken and written; German is a plus

Ingenious Technologies is a leading independent marketing technology provider. With the cloud-based Ingenious Enterprise platform, companies across all industries can aggregate, structure, enrich and analyse all marketing data collected. Thanks to real-time processing and a high level of automation, reliable data sets are available for clients to make agile marketing decisions.