Principles of functional verification quality of digital devices models in hardware description languages are considered. The method of evaluation, which is based on quantity of checked functional modes, is offered.

Конденсацією 7-діетиламіно-3-(2-бензімідазоліл)імінокумарину з ароматичними альдегідами синтезовано ряд нових похідних імінокумарину. Встановлено, що просторове фіксування бензімідазольного фрагмента в положенні 3 молекул 7-діалкіламінозаміщених похідних імінокумарину призводить до збільшення квантових виходів флуоресценції. Одержані сполуки ефективно генерують лазерне випромінювання за умов лампової накачки.