Synthesizing designs with low-cardinality minimum feedback vertex set for partial scan application | IEEE Conference Publication | IEEE Xplore