Jiteshri Dasari

According to our database, Jiteshri Dasari authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

2023

Efficient Formal Verification and Debugging of Arithmetic Divider Circuits.

Jiteshri Dasari, Maciej J. Ciesielski

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Formal Verification of Restoring Dividers made Fast and Simple.

Jiteshri Dasari, Maciej J. Ciesielski

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Functional Verification of Arithmetic Circuits: Survey of Formal Methods.

Maciej J. Ciesielski, Atif Yasin, Jiteshri Dasari

Proceedings of the 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2022