This project, in collaboration between Infineon Technologies and the Advanced Reliable Computer Systems Group at Oxford Brookes University, will investigate AI/ML assisted fast and efficient solutions to the problem of IC verification, one of the most difficult steps in an IC’s design cycle. With ICs exceeding billions of transistorsThis project, in collaboration between Infineon Technologies and the Advanced Reliable Computer Systems Group at Oxford Brookes University, will investigate AI/ML assisted fast and efficient solutions to the problem of IC verification, one of the most difficult steps in an IC’s design cycle. With ICs exceeding billions of transistors, the costs of tests and verification are often over half of the total cost of the entire design. This project will investigate and identify which test/verification components will most likely benefit from AI/ML algorithms, and identify the most effective types of AI/ML algorithms. AI/ML based solutions will be developed for significant reduction in verification costs, while maintaining highest degree of accuracy and reliability. The outcome will be evaluated against existing approaches for their effectiveness and pathways will be provided for integration into existing verification frameworks. This project is expected to significantly expand the fields of Electronic Design Automation and AI., the costs of tests and verification are often over half of the total cost of the entire design. This project will investigate and identify which test/verification components will most likely benefit from AI/ML algorithms, and identify the most effective types of AI/ML algorithms. AI/ML based solutions will be developed for significant reduction in verification costs, while maintaining highest degree of accuracy and reliability. The outcome will be evaluated against existing approaches for their effectiveness and pathways will be provided for integration into existing verification frameworks. This project is expected to significantly expand the fields of Electronic Design Automation and AI.

• Table of Content
• About Oxford Brookes University
• Oxford Brookes University PhD Scholarship
• Aim and Benefits of Oxford Brookes University PhD Scholarship
• Requirements for Oxford Brookes University PhD Scholarship Qualification
• Application Deadline
• How to Apply

About Oxford Brookes University

Oxford Brookes University is a public university in Oxford, England. It can trace its origins to 1865 when the former Oxford School of Art was established. The university was renamed in 1992 to honour its former principal, John Henry Brookes. The university's School of Architecture is one of the largest in Britain. In 2016 it was ranked 359th in the world according to the QS World University Rankings and is in the 401-500 bracket according to Times Higher Education's 2016-2017 list of the top 1000 universities in the world. Oxford Brookes University is the sixth largest employer in ... continue reading

Oxford Brookes University PhD Scholarship

Aim and Benefits of Oxford Brookes University PhD Scholarship

• ou are right for this role if you:

• You must have a master’s degree in one of Computer Science/ Engineering/Informatics/Microelectronic/VLSI Design or a related discipline.
• Excellent programming skills, preferably C/C++ and Python; familiarity with matlab.
• Good understanding of computer architecture and machine learning techniques.
• Willingness to learn and quickly pick up state-of-the-art professional EDA tools.
• Competency in presenting, writing, and communicating ideas. Willingness/ability to work with our industrial collaborator.
• Passion and commitment to research.

Requirements for Oxford Brookes University PhD Scholarship Qualification

Oxford Brookes University is awarding studentships for deserving candidates to support their PhD studies in the UK. Candidates will get an award amount of £17,363 per year, increasing by inflation.

Application Deadline

How to Apply

To apply for this studentship please see the submission instructions on our website: https://sites.google.com/brookes.ac.uk/tde-research/studentships-how-to-apply?authuser=0  

When completing your application Online via https://www.brookes.ac.uk/studying-at-brookes/how-to-apply/applying-direct/  -  please note the following Title: AI/ML Assisted IC Verification Framework TDEPGR/2022/06  

Select one of the following Courses: MPhil/ PhD in Computing or Engineering