Jiteshri Dasari

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Development Lifecycle

Formal Verification

Top Venues

Publications

Jiteshri Dasari, Maciej J. Ciesielski
Combining Formal Verification and Testing for Debugging of Arithmetic Circuits. DATE (2024)
Jiteshri Dasari, Maciej J. Ciesielski
Efficient Formal Verification and Debugging of Arithmetic Divider Circuits. ICCAD (2023)
Jiteshri Dasari, Maciej J. Ciesielski
Formal Verification of Restoring Dividers made Fast and Simple. DAC (2023)
Maciej J. Ciesielski, Atif Yasin, Jiteshri Dasari
Functional Verification of Arithmetic Circuits: Survey of Formal Methods. DDECS (2022)