assertion circuit Програма верифікації Джерело: Англо-український словник технічних термінів на Slovnyk.me assertion checker assertion operator