Property coverage is an important way to evaluate the completeness of model checking. Most of the property coverage metrics are based on mutation coverage, obtained by mutating the design and checking ...

However, diffusion models often face challenges related to insufficient parallel computing power and inefficient GPU utilization. To address these issues, we propose the DF-SegDiff model, which ...