Study of substrate bias effect in Symmetric Lateral Bipolar Nano Scale Transistor on SOI for mixed signal applications. - Lourembam Beloni Devi; Kundan Singh; Asutosh Srivastava (NEMS, 2017)

Impact of substrate bias and dielectrics on the performance parameters of symmetric lateral bipolar transistor on SiGe-OI for mixed signal applications. - Lourembam Beloni Devi; Kundan Singh; Asutosh Srivastava (Microelectron. J., 2018)

Formal Analysis of Integer Multipliers by building Binary Decision Diagram of Adder Trees. - Jitendra Kumar; Asutosh Srivastava; Masahiro Fujita (ISQED, 2022)

Dynamic Variable Ordering during Algebraic Backward Rewriting for Formal Verification of Multipliers. - Jitendra Kumar; Asutosh Srivastava (VLSID, 2022)

Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams. - Jitendra Kumar; Yukio Miyasaka; Asutosh Srivastava; Masahiro Fujita (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)