VK's IC prove-out by fseries9 | SimScale