Vigyan Singhal
About
Vigyan Singhal has authored 17 papers that have received a total of 262 indexed citations.
This includes 12 papers in Computational Theory and Mathematics, 11 papers in Electrical and Electronic Engineering and 11 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (12 papers), VLSI and Analog Circuit Testing (8 papers) and Low-power high-performance VLSI design (7 papers). Vigyan Singhal is often cited by papers focused on Formal Methods in Verification (12 papers), VLSI and Analog Circuit Testing (8 papers) and Low-power high-performance VLSI design (7 papers) and collaborates with scholars based in United States, Philippines and Israel. Vigyan Singhal's co-authors include Adnan Aziz, Robert K. Brayton, Carl Pixley, Anuj Kumar Goel and Alan Jay Smith and has published in prestigious journals such as The VLDB Journal, ACM Transactions on Design Automation of Electronic Systems and Formal Methods in System Design.
In The Last Decade
side by side view
Countries citing papers authored by Vigyan Singhal
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Julie E. Dammann Breakdown of academic impact, for papers by Ruihong Zhu Breakdown of academic impact, for papers by Henry S. Schneider Breakdown of academic impact, for papers by Xavier Vancassel Breakdown of academic impact, for papers by JungJoo Jahng Breakdown of academic impact, for papers by Hansjosef Boehles Breakdown of academic impact, for papers by Tobias Rommel Breakdown of academic impact, for papers by María E. Meneses