I am taking the course JasperGold Formal Fundamentals. The lab manual assigns tasks that say to use a feature of JasperGold shown in 'training'. I watched all the videos and they only introduce the area of formal verification, without demonstrating any features of JasperGold. The labs themselves don't explain how to use these features.
Due to this I am struggling to complete the labs.
Any help would be appreciated. Thanks.