Questions about IFV - PLS Help! - New to IFV
I am new to IFV (Formal Verifier), I've just started examining this tool a few days ago.
In our company I am the first one to lern it so I have nobody to ask for help but you guys!
Let's say I want to check some feature in the design.
I have a state machine and INPUT1 is "1" for one clock cycle then ...