Set the Computation Tool in the following way, where no indication means to leave the field empty or the box unchecked:

1. Computation

MAIN: start

LIST OF RULES: Refer to the beginnig of this chapter.

START COMPOUNDS: b-io2.grf (in the directory docs/examples/b-ionone below the installation base aocr-2.0)

SEARCHED COMPOUNDS: b-io1.grf (in the directory docs/examples/b-ionone below the installation base)

TWO STEPS IN ONE: checked

GENERATION LEVELS: 2-2

RULE APPLICATION BOUND: 3

DISTINCT: checked

2. Computation

MAIN: continue

GENERATION LEVELS: 3-3

RULE APPLICATION BOUND: 3

DISTINCT: checked

DERIVATION: (for example) b-io1.drv (in the directory docs/examples/b-ionone below the installation base)

The program should have found a synthesis!

3. Computation

(without running a 2-step generation)

MAIN: start

LIST OF RULES: Refer to the beginnig of this chapter.

START COMPOUNDS: b-io2.grf (in the directory docs/examples/b-ionone below the installation base)

SEARCHED COMPOUNDS: b-io1.grf (in the directory docs/examples/b-ionone below the installation base)

GENERATION LEVELS: 5-5

RULE APPLICATION BOUND: 3

DISTINCT: checked

DERIVATION: (for example) b-io2.drv (in the directory docs/examples/b-ionone below the installation base)

The program should have found a synthesis!

To view the synthesis choose Open step in derivation from File in the Graphic Composer and enter b-io1.drv in the directory docs/examples/b-ionone for the FILE WITH DERIVATION.

Proceed in the same way for the derivation b-io2.drv.

<< back