LUBIS EDA develops software to verify microchips and find and eliminate the bugs before they cause significant issues