Սինոփիս ԲԲԸ-ն NASDAQ: SNPS էլեկտրոնային ավտոմատացված նախագծման արդյունաբերության ամենամեծ ընկերություններից է, որը ինտեգրալ սխեմաների նախագծման ժամանակ կիրառվող գործիքներ է ծրագրավորում և մշակում։ Սինոփսիսի առաջին և ամենահայտնի արտադրյալը Design Compiler-ն է, մի տրամաբանական-սինթեզի գործիք։ Սինոփսիսը ունի նաև այլ արտադրանքներ, որոնք օգտագործվում են կիրառման-առանձնահատուկ ինտեգրալ սխեմայի նախագծման մեջ։ Արտադրանքները պարունակում են տրամաբանական սինթեզ, վարքային սինթեզ, վայր և երթուղի, ստատիկ ժամանակապլանավորման վերլուծություն, ֆորմալ ստուգում, HDL ձևացնողներ ինչպես նաև տրանզիստորի-մակարդակի սխեմայի մոդելավորում։ Ձևացնողները պարունակում են զարգացնող և վրիպազերծման միջավայրեր, որոնք օժանդակում են չիփերի և համակարգչային համակարգերի տրամաբանության նախագծման մեջ։ Ընկերությունն ունի 5000 աշխատակիցներ, այդ թվում 4000-ից ավելի ճարտարագետներ, ովքեր աշխատում են աշխարհի 60-ից ավելի տեղակայված մասնաճյուղերում։ Wikipedia