...

or substitute the name of your Lab 2 design for FSM. I will assume that you named the top level of your Lab 2 combination lock ``FSM.''

...

This is not really a prerequisite for running XMake, but it's a cheap form of insurance. If the design doesn't vsm, it won't XMake.

...

We are having some minor difficulties getting Xmake to create the .prp file. We hope to have this worked out before the project begins