ANKASYS participated in DVCon US 2020 and shared its verification experience with the conference community.