Describir: Systém pre automatickú syntézu štandardu IEEE P 1500 SECT v návrhu IP číslicových komponentov