Gary D. Hachtel

58 papers and 2.4k indexed citations i.

Gary D. Hachtel has authored 58 papers that have received a total of 2.4k indexed citations. This includes 42 papers in Electrical and Electronic Engineering, 32 papers in Computational Theory and Mathematics and 27 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (23 papers), VLSI and Analog Circuit Testing (22 papers) and VLSI and FPGA Design Techniques (17 papers). Gary D. Hachtel is often cited by papers focused on Formal Methods in Verification (23 papers), VLSI and Analog Circuit Testing (22 papers) and VLSI and FPGA Design Techniques (17 papers) and collaborates with scholars based in United States, Italy and South Korea. Gary D. Hachtel's co-authors include Fabio Somenzi, Abelardo Pardo, Robert K. Brayton, Enrico Macii and Alberto Sangiovanni‐Vincentelli and has published in prestigious journals such as Scientific Reports, Proceedings of the IEEE and IEEE Transactions on Electron Devices