Asutosh Srivastava

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 5

Top Topics

Formal Analysis

Pseudo Boolean Constraints

Variable Ordering

Top Venues

Microelectron. J.

Publications

Jitendra Kumar, Yukio Miyasaka, Asutosh Srivastava, Masahiro Fujita
Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (4) (2023)
Jitendra Kumar, Asutosh Srivastava
Dynamic Variable Ordering during Algebraic Backward Rewriting for Formal Verification of Multipliers. VLSID (2022)
Jitendra Kumar, Asutosh Srivastava, Masahiro Fujita
Formal Analysis of Integer Multipliers by building Binary Decision Diagram of Adder Trees. ISQED (2022)
Lourembam Beloni Devi, Kundan Singh, Asutosh Srivastava
Impact of substrate bias and dielectrics on the performance parameters of symmetric lateral bipolar transistor on SiGe-OI for mixed signal applications. Microelectron. J. 81 (2018)
Lourembam Beloni Devi, Kundan Singh, Asutosh Srivastava
Study of substrate bias effect in Symmetric Lateral Bipolar Nano Scale Transistor on SOI for mixed signal applications. NEMS (2017)