DEVINENI KRISHNA

Automated analysis of RTL code containing ASIC vendor rules