Amit Kumar is an independent researcher and semiconductor verification professional with 16 years of experience in functional verification and formal verification. His expertise spans SoC and IP verification, verification environment development, test-bench architecture, test planning, assertion-based verification, formal verification, and code coverage analysis.
Throughout his career, Amit has worked extensively with hardware description and verification technologies including VHDL, Verilog, SystemVerilog, UVM, OVM, and SystemVerilog Assertions. His technical experience covers industry-standard protocols and technologies such as AMBA AXI, DDR, LPDDR, MIPI, CSI2, DPHY, MPHY, UniPro, and AHBlite. He has developed verification components including drivers, monitors, scoreboards, bus functional models, test suites, and comprehensive verification environments.
His professional experience includes SoC-level verification, flash controller verification, DRAM-related verification, interconnect verification, verification IP development, performance validation, and formal verification activities such as connectivity checks and property checking. He has also contributed to the development and support of verification IP for DDR and MIPI protocol families and has developed verification environments and test cases for complex semiconductor designs.
Amit holds a Master of Technology in Microelectronic Science, a Master of Science in Microelectronics & VLSI Design, and a Bachelor of Science in Electronics from Kurukshetra University. As an independent researcher, his areas of interest are grounded in his extensive professional experience in semiconductor verification, functional verification, formal verification, and advanced hardware verification methodologies.