
Коли в грудні я сказав собі: «Досить з мене вінди!» і переліз на Ubuntu 7.10 я, як напевно і багато хто, вельми сильно почав страждати від відсутності нормального ICQ клієнта. Ніякі jabber-сурогати мене не влаштовували, навіть не просіть і не штовхайте. Kopete і Pidgin - звільніть. Вони досі не досягли функціоналу ні QIP'a, ні налаштованої Miranda. Було прикро.

Багато розробників-початківців ПЛІС (і ASIC) не до кінця розуміють вплив часових обмежень (constraints - далі констрейнти) на результати синтезу; те, яким чином констрейнти використовуються в статичному часовому аналізі. Велика частина літератури з цієї тематики зводиться до розгляду всіляких видів констрейнтів, але нічого не говорить про внутрішню «кухню» і використовувані алгоритми. Розгляду констрейнтів присвячений і недавній пост з даної тематики на ГТ (geektimes.ru/post/254932/ [1]). Між тим, констрейнти - лише вершина айсберга. Їх використання має спиратися на фундаментальні знання про статичний часовий аналіз, які дають, наприклад, в американських університетах, але нічого не розповідають у нас. Тому, власне, поговоримо про фундамент.