Formal verification cells¶
Note
Some front-ends may not support the generic $check cell, in such cases
calling chformal -lower will convert each $check cell into it’s
equivalent. See chformal for more.
Back to top