Formal Verification Experiences: Spiral Refinement Methodology for Silicon Bug Hunt
In this session, we capture the refinement process into a step-by-step methodology, formulate it graphically so that it is easy to understand and replicate.
In this session, we capture the refinement process into a step-by-step methodology, formulate it graphically so that it is easy to understand and replicate.