Reassign SIS modules

To move modules between logic solvers after you have downloaded them, you must perform a specific sequence of steps. For example, a system contains Logic Solvers SLS1 and SLS2, modules MOD1 assigned to SLS1, and MOD2 assigned to SLS2.

If you are moving only one module between Logic Solvers you must still perform tasks in a specific order. For example, one way to move MOD1 from SLS1 to SLS2 is:

1. Drag MOD1 from SLS1 to SLS2.

   This reassigns MOD1 from SLS1 to SLS2.

2. Download SLS1.

   You must download SLS1 first to confirm the removal of MOD1 from it.

3. Download SLS2.

To move MOD1 to SLS2 and move MOD2 to SLS1 follow these steps:

1. Delete the assignment of MOD1 from SLS1.

2. Download SLS1.

3. Delete the assignment of MOD2 from SLS2.

4. Assign MOD1 to SLS2.

5. Download SLS2.

6. Assign MOD2 to SLS1.

7. Download SLS1.