We define the concept of “Fan-in cone coverage of a primary output with respect to a vertex” denoted by Cov(Goi∗|vi), where vi ϵ V is a vertex in the “Weighted Fan-in Cone Graph” of the primary output oi. As Eq. (3) shows, this term denotes the number of paths which...
VLSI断言模拟矢量自动生成Simulation-Based verification approaches need a large amount of test vectors for verifying the corner case of designs. This paper proposes a novel assertion-based automatic functional vectors generation method which takes assertion as the functional coverage metric. For the given ...
operation of a first design of an integrated circuit to obtain verification results including the model's adherence to a property during N time steps of its operation, proofs that one or more verification targets can be reached, and verification coverage results for targets that are not reached....