Bring a design and a testbench to simulate and score now - or add a spec and let VeriForge create a self-checking testbench once the model is enabled.