Thomas Nalapat

According to our database, Thomas Nalapat authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

2024

All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification.

Deepak Narayan Gadde, Aman Kumar, Thomas Nalapat, Evgenii Rezunov, Fabio Cappellini

CoRR, 2024

Efficient Stimuli Generation using Reinforcement Learning in Design Verification.

Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon

Proceedings of the 20th International Conference on Synthesis, 2024

2023

On-Chip Memory Access Reduction for Energy-Efficient Dilated Convolution Processing.

Simon Friedrich, Thomas Nalapat, Robert Wittig, Emil Matús, Gerhard P. Fettweis

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2023