Asutosh Srivastava

According to our database, Asutosh Srivastava authored at least 5 papers between 2017 and 2023.

Collaborative distances:

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

2023

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., April, 2023

2022

Dynamic Variable Ordering during Algebraic Backward Rewriting for Formal Verification of Multipliers.

Jitendra Kumar, Asutosh Srivastava

Proceedings of the 35th International Conference on VLSI Design and 2022 21st International Conference on Embedded Systems, 2022

Formal Analysis of Integer Multipliers by building Binary Decision Diagram of Adder Trees.

Jitendra Kumar, Asutosh Srivastava, Masahiro Fujita

Proceedings of the 23rd International Symposium on Quality Electronic Design, 2022

2018

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

2017

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

Proceedings of the 12th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2017