MiniNova synthesis tutorial