17 Apr 2024
Job Information
- Organisation/Company
CEA List Institute- Research Field
Computer science » Computer architecture- Researcher Profile
First Stage Researcher (R1)- Country
France- Application Deadline
31 Jul 2024 - 00:00 (UTC)- Type of Contract
To be defined- Job Status
Negotiable- Is the job funded through the EU Research Framework Programme?
Not funded by an EU programme- Is the Job related to staff position within a Research Infrastructure?
No
Offer Description
Institution description
The CEA (French Commission for Atomic and Renewable Energy) is a public research institute. It plays an important role in the research, development and innovation community. The CEA has four missions: security and defense, nuclear energy (fission and fusion), technology research for industry and fundamental research. With 16 000 employees, including technicians, engineers, researchers and support personnel, the CEA is involved in numerous research projects in collaboration with both academic and industrial partners.
In the section of the CEA focused on technology research for industry, the LIST institute is focused on intelligent digital systems. This institute has a culture of innovation and has as a mission to transfer these technologies to industrial partners. The DSCIN division specializes in complex digital and embedded systems for Artificial Intelligence (AI), High-Performance Computing (HPC) and Cyber security applications.
The focus of the LECA laboratory is the design of flexible on-chip architectures which provide high performance, energy efficiency and security. The emphasis is on secure embedded systems and AI accelerators (DNNs/CNNs). This lab is located in the Paris region (Palaiseau).
Job description
Simulation tools are essential for the design and validation of digital circuits. They use different levels of abstraction to facilitate hardware/software co-design and co-validation. Architecture simulators, called Instruction Set Simulators (ISSs), provide high-level abstraction for fast functional verification and early design space exploration, while Register Transfer Level (RTL) simulators provide detailed circuit-level implementation for accurate analysis but with longer simulation times.
Faced with accelerated development schedules together with tool and resource constraints, hardware designers often start with RTL development and defer the construction of an ISS. However, as the design process progresses, the need to create ISSs becomes apparent, particularly for software validation and design space exploration of next-generation hardware.
Creating ISSs manually presents significant challenges, as it is both time-consuming and error-prone. Further complexity is introduced by the need to ensure equivalence between ISS and RTL. There is therefore an urgent need for innovative methods to automate the generation of an ISS when the RTL is available.
The generation process of an ISS consists mainly of extracting architectural states and deriving instruction execution functions [1, 2]. An ISS is then constructed by seamlessly integrating the architectural states and the instruction execution functions, ensuring an accurate representation of the hardware's functional behaviour.
The goal of the thesis is to design a methodology implemented in a tool that takes low-level RTL models as input and automatically generates an ISS by exploiting recent advances in machine learning (ML) such as Graph Neural Networks [3], and compilation flows such as MLIR [4], in the field of electronic design automation (EDA). The expected result is a complete flow for the automatic generation of ISSs from RTL, ensuring by construction the semantic consistency between the two levels.
The results of this thesis will be the subject of presentations at international conferences and in scientific journals.
References
[1] Zeng, Yu, Aarti Gupta, and Sharad Malik. "Generating architecture-level abstractions from RTL designs for processors and accelerators part I: Determining architectural state variables." ICCAD, 2021.
[2] Zeng, Yu, Aarti Gupta, and Sharad Malik. "Automatic generation of architecture-level models from RTL designs for processors and accelerators." DATE, 2022.
[3] Chowdhury, Subhajit Dutta, Kaixin Yang, and Pierluigi Nuzzo. "ReIGNN: State register identification using graph neural networks for circuit reverse engineering." ICCAD, 2021.
[4] Lattner, Chris, et al. "MLIR: Scaling compiler infrastructure for domain specific computation." CGO, 2021.
Applicant Profile
- Master's degree in Computer Science/Electronics.
- Good experience/knowledge in Machine Learning.
- Experience/knowledge in digital electronics design.
- Excellent programming skills in Python and C++. Proficiency in VHDL and/or Verilog programming will be a plus.
- Good analytical and experimental skills will be highly valued.
Requirements
Additional Information
- Website for additional job details
https://www.hipeac.net/jobs/14631/phd-position-in-ai-assisted-generation-of-hig…
Work Location(s)
- Number of offers available
- 1
- Company/Institute
- CEA List Institute
- Country
- France
- City
- Paris Saclay - Palaiseau
- Geofield
Where to apply
- Website
https://www.emploi.cea.fr/offre-de-emploi/emploi-phd-position-in-ai-assisted-ge…
Contact
- City
Saclay- Website
https://www.youtube.com/user/CEALISTinstitute
http://www-list.cea.fr/en/
https://twitter.com/CEA_List
https://www.linkedin.com/showcase/cealist/
STATUS: EXPIRED
Similar Positions
-
Ph D: Quantum Sensing Using Magnetoacoustic Resonators, European Magnetism Association EMA, France, 1 day ago
Description of the offer : Over the past decade, solid state defects in diamond, such as Nitrogen-Vacancy (NV) centers have emerged as strong contenders in quantum sensing applications, owing to t...