Samira Ait Bensaid

According to our database, Samira Ait Bensaid authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Formal Semantics of Hardware Compilation Framework. (Sémantique formelle d'une infrastructure de compilation matériel).

Samira Ait Bensaid

PhD thesis, 2023

2022

Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code.

Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs.

Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022