I like to add an equivalency check (EQVC) flow on Xschem. Are there any good open source EQVC available? I know that netgen can compare two netlists but unsure if that’s the best tool for EQVC. Please advise.