Статичний часовий аналіз demystified

Статичний часовий аналіз demystified

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

Нова книга Cortex-M0/M0 +

Нова книга Cortex-M0/M0 +

Фірма АРМ продала понад 200 ліцензій на ядра Cortex-M, і на ринку представлені тисячі варіантів цих пристроїв. Хоча фірма створила ядро M7 в минулому році, яке пропонує неймовірну продуктивність для MCU, початковий рівень лінійки ядер продовжує представляти величезний інтерес для виробників. Реалізація ядра M0 вимагає близько 12000 gates (важко сказати, йдеться про затвори або базові елементи, в будь-якому випадку це небагато, але в першому - набагато менше - примітка перекладача), так що коштує вона трохи більше, ніж нічого (реалізація, звичайно, а не ліцензія, до речі, якщо хто знає ціни - поділіться в коментах - пп). М0 + має той самий набір інструкцій (як і M0-пп), але показує кращу продуктивність при низькому енергоспоживанні для пристроїв з батарейним живленням, плюс розширені (необов'язкові) можливості налагодження, і навіть додатковий блок захисту пам'яті (MMU бідняка).

Про мови

Про мови

Кілька років тому постачальник компіляторів Keil (тепер належить ARM) помістив оголошення в Embedded Systems Programming magazine (пізніше відомий як Embedded Systems Design, а зараз embedded.com) про свого нового компілятора: COBOL 8051.

Підключення STM32 до апаратури радіоуправління

Підключення STM32 до апаратури радіоуправління

Знадобилося мені реалізувати дистанційне керування кількома двигунами постійного струму.

Microsoft починає активну боротьбу з adware типу Superfish

Microsoft починає активну боротьбу з adware типу Superfish

Джерело фото: Shannon Stapleton/REUTERS