Մարտիրոսյան, Աշոտ Ստեփանի

Ինֆորմատիկա

Այս գիրքը նվիրված է թվային սխեմաների ավտոմատացված նախագծման ինտերվալային տրամաբանական մեթոդների մշակմանը՝ ներկայացնելով թվային համակարգերի նախագծման և մոդելավորման կարևորագույն ուղղություններից մեկը։ Աշխատանքում ուսումնասիրվում են տրամաբանական նախագծման գործընթացների ավտոմատացման սկզբունքները, անորոշության պայմաններում թվային սխեմաների վերլուծության և սինթեզի մեթոդները, ինչպես նաև հաշվարկային արդյունավետության բարձրացման մոտեցումները։ Գրքում ներկայացվում են տեսական հիմունքներ, ալգորիթմներ և գործնական լուծումներ, որոնք նպաստում են բարդ թվային համակարգերի նախագծման հուսալիության և ճշգրտության բարելավմանը։ Այն կարող է օգտակար լինել էլեկտրոնիկայի, համակարգչային ճարտարագիտության, ավտոմատացված նախագծման համակարգերի ոլորտի մասնագետների, հետազոտողների, ինժեներների, դասախոսների և համապատասխան մասնագիտություններով սովորող ուսանողների համար։