Coverage model enhancement to support logic and arithmetic expressions

A method comprising:

• accessing a coverage item definition corresponding to a coverage item in a functional coverage analysis of an integrated circuit device design;
• determining the coverage item definition comprises an arbitrary expression that defines an irrelevant domain for the coverage item;
• based on verifying the arbitrary expression satisfies one or more analyzability conditions, calculating the irrelevant domain for the coverage item based on the arbitrary expression;
• generating an enhanced functional coverage model that excludes the irrelevant domain for the coverage item;
• and
• performing the functional coverage analysis on the integrated circuit device design using the enhanced functional coverage model.

A non-transitory computer-storage medium storing instructions, which when executed by one or more processors of a machine, cause the machine to perform operations comprising:

• accessing a coverage item definition corresponding to a coverage item in a functional coverage analysis of an integrated circuit device design;
• determining the coverage item definition comprises an arbitrary expression that defines an irrelevant domain for the coverage item;
• based on determining the item definition comprises the arbitrary expression, verifying the arbitrary expression satisfies one or more analyzability conditions;
• based on verifying the arbitrary expression satisfies the one or more analyzability conditions, calculating the irrelevant domain for the coverage item based on the arbitrary expression;
• generating an enhanced functional coverage model that excludes the irrelevant domain for the coverage item;
• and
• performing the functional coverage analysis on the integrated circuit device design using the enhanced functional coverage model.