Слава Україні!
Я вже згадував пару Coding Rules від різних організацій, тому тут варто також згадати, що у виробників ПЛІС та софту для них є свої Coding Rules. Так у компанії Altera у величезному мануалі Quartus Handbook є спеціальний розділ Recommended HDL Coding Styles, в якому наведені шаблони коду для різного типу пристроїв.
На відміну від типових Coding Rules в Quartus Handbook наведені не тільки правила написання коду, але й пояснення чому саме так треба писати. Загалом, використання порад, які наводяться у керівництві по конкретному програмному забезпеченню є дуже бажаним. Оскільки саме такий стиль опису різних блоків використовувала компанія при розробці свого ПЗ. І саме такий опис тригерів, лічильників або пам’яті буде правильно трактуватися Quartus і синтезуватися у правильні елементи та блоки.
Якщо ви дивились сайт Intel щодо Quartus Handbook, то бачили, що до кожної версії Quartus існує свій Quartus Handbook. Цей документ в різних версіях мав різний об’єм. І розташування його в різних документах було різним. Наприклад, у мануалі для версії 7 об’ємом більше 2600 сторінок – це розділ 6, а у 13 версії – 13 розділ. До версії 21.3 вам потрібно буде скачувати PDF файл або всього Quartus Handbook або окремо розділ Recommended HDL Coding Styles. Вже з версії 21.3 це розділ сайту Intel, який можна знайти тут: https://www.intel.com/content/www/us/en/docs/programmable/683082/21-3/recommended-hdl-coding-styles.html.
Загалом, це розділ слабо змінюється від версії до версії, тому можна використовувати будь-який варіант цього розділу кервництва. Обирайте свою версію Quartus і читайте документацію.
Але слід відмітити, що не завжди все, що наведене у КХ компілюється самим Quartus. Так, коли років 10 тому я писав на VHDL деякі описи у цьому Quartus Handbook не компілювались, бо використовували застарілі бібліотеки, яких не було у самому Quartus. Так що будьмо уважними і не забувайте перевіряти все у компіляторі та симуляторі.
#CodingRules
Я вже згадував пару Coding Rules від різних організацій, тому тут варто також згадати, що у виробників ПЛІС та софту для них є свої Coding Rules. Так у компанії Altera у величезному мануалі Quartus Handbook є спеціальний розділ Recommended HDL Coding Styles, в якому наведені шаблони коду для різного типу пристроїв.
На відміну від типових Coding Rules в Quartus Handbook наведені не тільки правила написання коду, але й пояснення чому саме так треба писати. Загалом, використання порад, які наводяться у керівництві по конкретному програмному забезпеченню є дуже бажаним. Оскільки саме такий стиль опису різних блоків використовувала компанія при розробці свого ПЗ. І саме такий опис тригерів, лічильників або пам’яті буде правильно трактуватися Quartus і синтезуватися у правильні елементи та блоки.
Якщо ви дивились сайт Intel щодо Quartus Handbook, то бачили, що до кожної версії Quartus існує свій Quartus Handbook. Цей документ в різних версіях мав різний об’єм. І розташування його в різних документах було різним. Наприклад, у мануалі для версії 7 об’ємом більше 2600 сторінок – це розділ 6, а у 13 версії – 13 розділ. До версії 21.3 вам потрібно буде скачувати PDF файл або всього Quartus Handbook або окремо розділ Recommended HDL Coding Styles. Вже з версії 21.3 це розділ сайту Intel, який можна знайти тут: https://www.intel.com/content/www/us/en/docs/programmable/683082/21-3/recommended-hdl-coding-styles.html.
Загалом, це розділ слабо змінюється від версії до версії, тому можна використовувати будь-який варіант цього розділу кервництва. Обирайте свою версію Quartus і читайте документацію.
Але слід відмітити, що не завжди все, що наведене у КХ компілюється самим Quartus. Так, коли років 10 тому я писав на VHDL деякі описи у цьому Quartus Handbook не компілювались, бо використовували застарілі бібліотеки, яких не було у самому Quartus. Так що будьмо уважними і не забувайте перевіряти все у компіляторі та симуляторі.
#CodingRules
Intel
1. Recommended HDL Coding Styles
Слава Україні!
У світі є три великі компанії по виробництву програмного забезпечення для розробки мікросхем – так звана велика трійка – Cadence, Synopsys (близько 70% ринку у 2022 році) та Mentor Graphics або зараз Siemens EDA (близько 20 відсотків ринку).
І є така дослідницька група - Wilson Research Group, яка проводить вже більше 10 років дослідження того, які мови використовуються при верифікації, який час займає верифікація в загальному проектуванні і так далі. Загалом – дуже цікавий звіт, частини з якого публікуються у блозі на сайті компанії Siemens. Для участі у блозі опитують розробників та верифікаторів з північної Америки, східної Азії, Індії (окрема категорія, бо індуси дуже потужно виступають у верифікації) та західної Європи (в тому числі і Україна, рф на карті учасників не показана).
Швидкі висновки з цього великого дослідження.
1. VHDL та Verilog – дві основні мови опису апаратури з приблизно однаковою кількістю відсотків, але
Але 1 – у розробці FPGA проектів. У розробці ASIC – Verilog явний лідер.
Але 2 – якщо до Verilog додати ще й SystemVerilog – то V/SV набагато випереджають VHDL
2. У верифікації проектів на ПЛІС VHDL займає перше місце, а у порівнянні з минулим дослідження 2020 року ще й додав близко 10% від загальної кількості проектів. На другом місці – Verilog, на третьому – SystemVerilog. І знову – якщо дивитись V/SV - вони будуть мати близько 75% проектів.
У ASIC верифікації – явний лідер – SystemVerilog. Причому настільки, що можна казати про те, що іншого немає.
З цікавого – з’явився Pyton серед мов верифікації. І одразу дуже потужно – 17% у FPGA і більше 20% у ASIC. Через пару років він буде серед лідерів у верифікації.
Загалом, читайте та дивіться цей звіт – мало тексту, багато картинок і показує куди рухається індустрія: https://blogs.sw.siemens.com/verificationhorizons/2022/10/10/prologue-the-2022-wilson-research-group-functional-verification-study/
У світі є три великі компанії по виробництву програмного забезпечення для розробки мікросхем – так звана велика трійка – Cadence, Synopsys (близько 70% ринку у 2022 році) та Mentor Graphics або зараз Siemens EDA (близько 20 відсотків ринку).
І є така дослідницька група - Wilson Research Group, яка проводить вже більше 10 років дослідження того, які мови використовуються при верифікації, який час займає верифікація в загальному проектуванні і так далі. Загалом – дуже цікавий звіт, частини з якого публікуються у блозі на сайті компанії Siemens. Для участі у блозі опитують розробників та верифікаторів з північної Америки, східної Азії, Індії (окрема категорія, бо індуси дуже потужно виступають у верифікації) та західної Європи (в тому числі і Україна, рф на карті учасників не показана).
Швидкі висновки з цього великого дослідження.
1. VHDL та Verilog – дві основні мови опису апаратури з приблизно однаковою кількістю відсотків, але
Але 1 – у розробці FPGA проектів. У розробці ASIC – Verilog явний лідер.
Але 2 – якщо до Verilog додати ще й SystemVerilog – то V/SV набагато випереджають VHDL
2. У верифікації проектів на ПЛІС VHDL займає перше місце, а у порівнянні з минулим дослідження 2020 року ще й додав близко 10% від загальної кількості проектів. На другом місці – Verilog, на третьому – SystemVerilog. І знову – якщо дивитись V/SV - вони будуть мати близько 75% проектів.
У ASIC верифікації – явний лідер – SystemVerilog. Причому настільки, що можна казати про те, що іншого немає.
З цікавого – з’явився Pyton серед мов верифікації. І одразу дуже потужно – 17% у FPGA і більше 20% у ASIC. Через пару років він буде серед лідерів у верифікації.
Загалом, читайте та дивіться цей звіт – мало тексту, багато картинок і показує куди рухається індустрія: https://blogs.sw.siemens.com/verificationhorizons/2022/10/10/prologue-the-2022-wilson-research-group-functional-verification-study/
Verification Horizons
Prologue: The 2022 Wilson Research Group Functional Verification Study - Verification Horizons
This is the first in a sequence of blogs that presents the findings from our new 2022 Wilson Research Group Functional Verification Study. Similar to my
Слава Україні!
Продовжуємо розмови про книжки для початківців. Сьогодні згадаємо про серію книжок «для чайників» або ж англійською For Dummies. ПЛІС також не обійшли стороною і існує така книга у серії - FPGAs For Dummies. Вона була зроблена лише у електронному вигляді і в папері ніколи не видавалась. Повна назва книги - FPGAs For Dummies Intel Special Edition. Тобто книга зроблена для компанії Intel, а раніше це була Altera Edition. Зразу кажу - версії для Xilinx немає.
Загалом FPGAs For Dummies є більше якоюсь статтею в блог, ніж книгою. Її обсяг дуже невеликий, бо як відкинути від 53 сторінок електронного видання обкладинки, зміст і таке інше вийде всього десь 40 сторінок. Та й зміст дещо нагадує розповіді про все навколо.
Наприклад, розділ 1 – навіщо воно все треба, ASIC, зображення вентиля І та прямокутника з написом регістр. І все з дозволу компанії Intel.
І така профанація іде далі. Картинки з якихось даташитів і купа фраз типу – а тут керування двигуном на ПЛІС, а тут – купа квадратиків про design flow (з дозволу компанії Intel).
Ця книга є безкоштовною, що само по собі є зрозумілим, бо таке все одно ніхто купувати не буде. Її можна скачати з сайту Intel після реєстрації. Я зробив це сьогодні – і виявилось, що лінк вже не працює і реєстрація не допомагає. Тому книга лежить тут: https://drive.google.com/file/d/1RqD5aAVm1C6k6emMeWs2h-9Z_h9h9z2S/view?usp=sharing
Загальний висновок – 1 з 10. 1 за те, що є обкладинка. Автори книги – молодці, бо на гроші великої корпорації написати таку фігню – це треба вміти.
#book
Продовжуємо розмови про книжки для початківців. Сьогодні згадаємо про серію книжок «для чайників» або ж англійською For Dummies. ПЛІС також не обійшли стороною і існує така книга у серії - FPGAs For Dummies. Вона була зроблена лише у електронному вигляді і в папері ніколи не видавалась. Повна назва книги - FPGAs For Dummies Intel Special Edition. Тобто книга зроблена для компанії Intel, а раніше це була Altera Edition. Зразу кажу - версії для Xilinx немає.
Загалом FPGAs For Dummies є більше якоюсь статтею в блог, ніж книгою. Її обсяг дуже невеликий, бо як відкинути від 53 сторінок електронного видання обкладинки, зміст і таке інше вийде всього десь 40 сторінок. Та й зміст дещо нагадує розповіді про все навколо.
Наприклад, розділ 1 – навіщо воно все треба, ASIC, зображення вентиля І та прямокутника з написом регістр. І все з дозволу компанії Intel.
І така профанація іде далі. Картинки з якихось даташитів і купа фраз типу – а тут керування двигуном на ПЛІС, а тут – купа квадратиків про design flow (з дозволу компанії Intel).
Ця книга є безкоштовною, що само по собі є зрозумілим, бо таке все одно ніхто купувати не буде. Її можна скачати з сайту Intel після реєстрації. Я зробив це сьогодні – і виявилось, що лінк вже не працює і реєстрація не допомагає. Тому книга лежить тут: https://drive.google.com/file/d/1RqD5aAVm1C6k6emMeWs2h-9Z_h9h9z2S/view?usp=sharing
Загальний висновок – 1 з 10. 1 за те, що є обкладинка. Автори книги – молодці, бо на гроші великої корпорації написати таку фігню – це треба вміти.
#book
Слава Україні!
Минулого тижня я розповідав про Coding Rules відAltera Intel. Тепер слід згадати і Xilinx AMD. У AMD так само є документ, що описує рекомендуємий стиль написання коду. Він не настільки докладний, як у Intel, хоча прикладів там більш ніж достаньо. Тобто більше коду, менше слів. Інколи це працює, інколи треба пояснювальну бригаду. І тоді лише до індусів. Але про них згодом.
Так от у цьому документі, який називається UG901 - Vivado Design Suite User Guide. Synthesis прикладів різних модулів багато і вони заходять далі, ніж Intel – є нерекурсивні цифрові фільтри, динамічні регістри зсуву. Тому в цей документ також раджу заглядати.
Він доступний або за посиланням на сайті AMD у двох варіантах:
Як документ – https://docs.xilinx.com/r/en-US/ug901-vivado-synthesis/HDL-Coding-Techniques
Як PDF - https://docs.xilinx.com/v/u/2019.2-English/ug901-vivado-synthesis
Також поклав його у теку з книгами тут: https://drive.google.com/file/d/1KLMH07I3fqHs6HpYVNI96_uUprCnpwq_/view?usp=drive_link
Також існує ZIP архив з прикладами, але скачати його я не зміг. Для скачування потрібна реєстрація і потім підтвердження інформації для скачування і на цьому етапі далі не пішло. Як буде ваша ласка – скажіть де можна.
#CodingRules
Минулого тижня я розповідав про Coding Rules від
Так от у цьому документі, який називається UG901 - Vivado Design Suite User Guide. Synthesis прикладів різних модулів багато і вони заходять далі, ніж Intel – є нерекурсивні цифрові фільтри, динамічні регістри зсуву. Тому в цей документ також раджу заглядати.
Він доступний або за посиланням на сайті AMD у двох варіантах:
Як документ – https://docs.xilinx.com/r/en-US/ug901-vivado-synthesis/HDL-Coding-Techniques
Як PDF - https://docs.xilinx.com/v/u/2019.2-English/ug901-vivado-synthesis
Також поклав його у теку з книгами тут: https://drive.google.com/file/d/1KLMH07I3fqHs6HpYVNI96_uUprCnpwq_/view?usp=drive_link
Також існує ZIP архив з прикладами, але скачати його я не зміг. Для скачування потрібна реєстрація і потім підтвердження інформації для скачування і на цьому етапі далі не пішло. Як буде ваша ласка – скажіть де можна.
#CodingRules
Xilinx
Vivado Design Suite User Guide: Synthesis - 2019.2 English
Details using Vivado® synthesis to transform an RTL design into a gate-level netlist for implementation in a Xilinx® FPGA, using SystemVerilog, Verilog, and VHDL. Describes the use of Vivado synthesis in Project and Non-Project Modes, employing multiple synthesis…
👍2
Слава Україні!
Новий навчальний рік почався і вже є декілька відео для обробки та завантаження на канал .
Сьогодні буде анонс найближчого відео – про часові параметри для статичного часового аналізу (statis timing analysis – STA). Відео на каналі буде вже на вихідних, а поки ось презентація, яку використовували: https://docs.google.com/presentation/d/1a1hsgjbJHstpmCU1g3tSs89vlxWQzTgR/edit?usp=drive_link&ouid=111792405508001907736&rtpof=true&sd=true
Загалом статичний часовий аналіз призначений для перевірки шляхів проходження сигналу і головна його ідея – розрахувати затримки сигналу при проходження через комбінаційну схему, регістри, лінії передачі даних. Якщо робити все це руками, то це задача, яку вирішити майже неможливо навіть для невеликого проекту. Раніше в радянській школі розробки цифрових систем цю задачу вирішували шляхом малювання часових діаграм з врахуванням затримок. Дуже кропітка та нудна робота. Особливо, коли це робиться на міліметровці і для великої схеми.
В сучасних системах проектування для statis timing analysis використовують спеціальне програмне забезпечення. У нашому випадку – вивчення цифрової схемотехніки на балі ПЛІС Intel FPGA ми використовуюємо інструмент, вбудований у пакет Quatrus – TimeQuest. TimeQuest використовує констрейни у вигляді Synopsys Design Constraint формат. Але про все це буде вже далі у наступній розповіді.
Новий навчальний рік почався і вже є декілька відео для обробки та завантаження на канал .
Сьогодні буде анонс найближчого відео – про часові параметри для статичного часового аналізу (statis timing analysis – STA). Відео на каналі буде вже на вихідних, а поки ось презентація, яку використовували: https://docs.google.com/presentation/d/1a1hsgjbJHstpmCU1g3tSs89vlxWQzTgR/edit?usp=drive_link&ouid=111792405508001907736&rtpof=true&sd=true
Загалом статичний часовий аналіз призначений для перевірки шляхів проходження сигналу і головна його ідея – розрахувати затримки сигналу при проходження через комбінаційну схему, регістри, лінії передачі даних. Якщо робити все це руками, то це задача, яку вирішити майже неможливо навіть для невеликого проекту. Раніше в радянській школі розробки цифрових систем цю задачу вирішували шляхом малювання часових діаграм з врахуванням затримок. Дуже кропітка та нудна робота. Особливо, коли це робиться на міліметровці і для великої схеми.
В сучасних системах проектування для statis timing analysis використовують спеціальне програмне забезпечення. У нашому випадку – вивчення цифрової схемотехніки на балі ПЛІС Intel FPGA ми використовуюємо інструмент, вбудований у пакет Quatrus – TimeQuest. TimeQuest використовує констрейни у вигляді Synopsys Design Constraint формат. Але про все це буде вже далі у наступній розповіді.
👍2
Доброго ранку!
Слава Україні!
Обіцяне відео про основні терміни при статичному часовому аналізі: https://youtu.be/AHtpI0960cE
З ним вийшла халепа, бо я переплутав і зробив інше відео, яке залив на канал, а потім згадав про обіцянку. Тому зараз основне відео з лекції, а потім воно буде порізано на частини і викладено в основний плейлист. А це переїде до студентського використання.
#ddLab_YouTube
Слава Україні!
Обіцяне відео про основні терміни при статичному часовому аналізі: https://youtu.be/AHtpI0960cE
З ним вийшла халепа, бо я переплутав і зробив інше відео, яке залив на канал, а потім згадав про обіцянку. Тому зараз основне відео з лекції, а потім воно буде порізано на частини і викладено в основний плейлист. А це переїде до студентського використання.
#ddLab_YouTube
YouTube
STA Timing parameters
👍1
Слава Україні!
Навчанням технічних спеціалістів займаються не тільки університети – компанії-виробники та дистриб’ютори займаються навчанням на семінарах, присвячених окремим темам. Є також різноманітні школи, які навчають якійсь професії. І якщо у нас в країні школі рідко піднімаються вище навчання початковим речам, то у світі є компанії, які навчають інженерів для переходу їх вище по кар’єрній драбині або опанування новим технологіям. Зазвичай такі компанії або працюють з групами інженерів на замовлення або проводять декілька денні тренінги за великі гроші. Тому дуже цікаво дивитись на їх активність та їх методи роботи.
Серед визнаних лідерів компаній, що навчають FPПФ FPGA дизайну та мовам опису апаратури – компанія Doulos: https://www.doulos.com/
Компанія вже більше 30 років навчає електроніці і її матеріали завжди корисно подивитись.
По-перше, це розділи сайту, присвячені різним тематикам цифрового дизайну:
ПЛІС - https://www.doulos.com/knowhow/fpga/
Verilog - https://www.doulos.com/knowhow/verilog/
SystemVerilog (тут більше про фреймворки для верифікації) - https://www.doulos.com/knowhow/systemverilog/
VHDL - https://www.doulos.com/knowhow/vhdl/
Формальна верифікація - https://www.doulos.com/knowhow/formal-verification/
Різні відео, оскільки їх не так багато - https://www.doulos.com/knowhow/video-gallery/ або так - https://www.youtube.com/@DoulosTraining
Навчанням технічних спеціалістів займаються не тільки університети – компанії-виробники та дистриб’ютори займаються навчанням на семінарах, присвячених окремим темам. Є також різноманітні школи, які навчають якійсь професії. І якщо у нас в країні школі рідко піднімаються вище навчання початковим речам, то у світі є компанії, які навчають інженерів для переходу їх вище по кар’єрній драбині або опанування новим технологіям. Зазвичай такі компанії або працюють з групами інженерів на замовлення або проводять декілька денні тренінги за великі гроші. Тому дуже цікаво дивитись на їх активність та їх методи роботи.
Серед визнаних лідерів компаній, що навчають FPПФ FPGA дизайну та мовам опису апаратури – компанія Doulos: https://www.doulos.com/
Компанія вже більше 30 років навчає електроніці і її матеріали завжди корисно подивитись.
По-перше, це розділи сайту, присвячені різним тематикам цифрового дизайну:
ПЛІС - https://www.doulos.com/knowhow/fpga/
Verilog - https://www.doulos.com/knowhow/verilog/
SystemVerilog (тут більше про фреймворки для верифікації) - https://www.doulos.com/knowhow/systemverilog/
VHDL - https://www.doulos.com/knowhow/vhdl/
Формальна верифікація - https://www.doulos.com/knowhow/formal-verification/
Різні відео, оскільки їх не так багато - https://www.doulos.com/knowhow/video-gallery/ або так - https://www.youtube.com/@DoulosTraining
👍1🔥1
Слава Україні!
Сьогодні буде розповідь про використання ПЛІС у космосі.
Спочатку про дещо важливе щодо космічних застосувань. Не всі мікросхеми можуть літати в космос і виконувати там роботу. Для того, щоб мікросхема полетіла в космос вона повинна бути розроблена та виготовлена для польотів у космос – тобто бути space-grade FPGA. Перш за все це означає, що мікросхема повинна бути радіаційно стійкою (Radiation tolerant, Rad-tolerant) та радіаційно захищеною (Radiation hardened, Rad-hard).
Радіаційостійка електроніка (Rad-tolerant) менш чутлива до пошкодження внаслідок впливу радіації (наприклад, в аерокосмічній галузі та деяких промислових і медичних застосуваннях). Такі мікросхеми будуть стійкими до одноразових порущень (single-event upsets, SEUs) та інших проблем, викликаних іонізуючим випромінюванням.
Радіаційно-захищені пристрої (Rad-hard) розроблені та виготовлені таким чином, щоб витримувати навіть більшу кількість радіації.
Загалом про Rad-Hard та Rad-Tolerant мікросхеми можна почитати в статті Rad-Hard vs. Rad-Tolerant: A Guide to the Differences and Applications in Military Electronics https://militaryembedded.com/comms/satellites/rad-hard-vs-rad-tolerant-a-guide-to-the-differences-and-applications-in-military-electronics
Але повернемось до ПЛІС у космосі. І перш за все треба згадати про марсоходи – Spirit, Opportunity та Curiousity. Чомусь навіяло про Мета Деймона на Марсі.
Соьгодні буде про Spirit та його близнбка Opportunity. Spirit працював з 2004 до 2010, а Opportunity – з 2004 до 2018 року. В них використовувались ПЛІС двох виробників – Actel та Xilinx.
Загалом було виготовлено 4 ровери – 2 відправились на Марс, а 2 залишились на Землі у Пасадені.
В роверах використовувалось 38 мікросхем сімейства RTSX-A компанії Actel [https://semiwiki.com/john-east/275696-crashing-the-mars-rovers-actel-and-aerospace-corp/] Інше джерело каже про 28 мікросхем Actel, які використовувались у самому ровері та модулі для спуску [https://www.militaryaerospace.com/computers/article/16712733/fpga-processors-keep-mars-rovers-moving]
Окрім Actel у Spirit та Opportunity використовувались ПЛІС Xilinx - XQVR4000XL для контролю піротехніки при маневруванні модуля посадки та XQVR1000 на ровері для систем керування двигунами у колесах, маніпуляторах та камерах.
Далі буде.
Сьогодні буде розповідь про використання ПЛІС у космосі.
Спочатку про дещо важливе щодо космічних застосувань. Не всі мікросхеми можуть літати в космос і виконувати там роботу. Для того, щоб мікросхема полетіла в космос вона повинна бути розроблена та виготовлена для польотів у космос – тобто бути space-grade FPGA. Перш за все це означає, що мікросхема повинна бути радіаційно стійкою (Radiation tolerant, Rad-tolerant) та радіаційно захищеною (Radiation hardened, Rad-hard).
Радіаційостійка електроніка (Rad-tolerant) менш чутлива до пошкодження внаслідок впливу радіації (наприклад, в аерокосмічній галузі та деяких промислових і медичних застосуваннях). Такі мікросхеми будуть стійкими до одноразових порущень (single-event upsets, SEUs) та інших проблем, викликаних іонізуючим випромінюванням.
Радіаційно-захищені пристрої (Rad-hard) розроблені та виготовлені таким чином, щоб витримувати навіть більшу кількість радіації.
Загалом про Rad-Hard та Rad-Tolerant мікросхеми можна почитати в статті Rad-Hard vs. Rad-Tolerant: A Guide to the Differences and Applications in Military Electronics https://militaryembedded.com/comms/satellites/rad-hard-vs-rad-tolerant-a-guide-to-the-differences-and-applications-in-military-electronics
Але повернемось до ПЛІС у космосі. І перш за все треба згадати про марсоходи – Spirit, Opportunity та Curiousity. Чомусь навіяло про Мета Деймона на Марсі.
Соьгодні буде про Spirit та його близнбка Opportunity. Spirit працював з 2004 до 2010, а Opportunity – з 2004 до 2018 року. В них використовувались ПЛІС двох виробників – Actel та Xilinx.
Загалом було виготовлено 4 ровери – 2 відправились на Марс, а 2 залишились на Землі у Пасадені.
В роверах використовувалось 38 мікросхем сімейства RTSX-A компанії Actel [https://semiwiki.com/john-east/275696-crashing-the-mars-rovers-actel-and-aerospace-corp/] Інше джерело каже про 28 мікросхем Actel, які використовувались у самому ровері та модулі для спуску [https://www.militaryaerospace.com/computers/article/16712733/fpga-processors-keep-mars-rovers-moving]
Окрім Actel у Spirit та Opportunity використовувались ПЛІС Xilinx - XQVR4000XL для контролю піротехніки при маневруванні модуля посадки та XQVR1000 на ровері для систем керування двигунами у колесах, маніпуляторах та камерах.
Далі буде.
Militaryembedded
Rad-Hard vs. Rad-Tolerant: A Guide to the Differences and Applications in Military Electronics - Military Embedded Systems
In the high-tech world of military applications, where precision, endurance, and reliability are paramount, electronic components need to function in some of the most challenging environments. One of the often-overlooked challenges these components face is…
Слава Україні!
Сьогодні хочу розповісти про дуже гарний курс архітектури комп’ютера, який викладає Onur Mutlu в університеті ETH Zurich.
Цей курс викладається на ЮТуб в реальному часі і станом на зараз ми маємо вже декілька ітерацій цього курсу. Фактично там є два курси та купа семінарів по різних архітектурах. Базовий курс - First Course in Computer Architecture & Digital Design. Наступний - Advanced Computer Architecture Courses. Далі вже йдуть варіації різних архітектур та систем пам’яті.
Базовий підручник – це Харріс і Харріс. І курс охоплює всі теми, які є в цій книзі: від логіки та простих цифрових пристроїв до побудови мікропроцесора. Курс викладається як записи трансляцій лекцій, плюс поруч іде стрічка коментарів, на які лектор реагує і щось коментує.
Сам лектор дуже енергійний і видно, що йому подобається курс. Розповідь цікава, прикладів дуже багато. Тому загальний висновок – 10 з 10. Курс класний та сучасний. Наполегливо рекомендую.
First Course in Computer Architecture & Digital Design у версії 2022-2023 років – https://www.youtube.com/playlist?list=PL5Q2soXY2Zi97Ya5DEUpMpO2bbAoaG7c6
First Course in Computer Architecture & Digital Design у версії 2021-2022 років - https://www.youtube.com/playlist?list=PL5Q2soXY2Zi-Mnk1PxjEIG32HAGILkTOF
#UniversityCourse
Сьогодні хочу розповісти про дуже гарний курс архітектури комп’ютера, який викладає Onur Mutlu в університеті ETH Zurich.
Цей курс викладається на ЮТуб в реальному часі і станом на зараз ми маємо вже декілька ітерацій цього курсу. Фактично там є два курси та купа семінарів по різних архітектурах. Базовий курс - First Course in Computer Architecture & Digital Design. Наступний - Advanced Computer Architecture Courses. Далі вже йдуть варіації різних архітектур та систем пам’яті.
Базовий підручник – це Харріс і Харріс. І курс охоплює всі теми, які є в цій книзі: від логіки та простих цифрових пристроїв до побудови мікропроцесора. Курс викладається як записи трансляцій лекцій, плюс поруч іде стрічка коментарів, на які лектор реагує і щось коментує.
Сам лектор дуже енергійний і видно, що йому подобається курс. Розповідь цікава, прикладів дуже багато. Тому загальний висновок – 10 з 10. Курс класний та сучасний. Наполегливо рекомендую.
First Course in Computer Architecture & Digital Design у версії 2022-2023 років – https://www.youtube.com/playlist?list=PL5Q2soXY2Zi97Ya5DEUpMpO2bbAoaG7c6
First Course in Computer Architecture & Digital Design у версії 2021-2022 років - https://www.youtube.com/playlist?list=PL5Q2soXY2Zi-Mnk1PxjEIG32HAGILkTOF
#UniversityCourse
👍2
Слава Україні!
На минулому тижні я розповідав про компанію Doulos і ресурси, які вона пропонує на своєму сайті (https://t.me/ddlab_ua/38).
Сьогодні у нас книга, яку Doulos пропонує для вивчення SystemVerilog - SystemVerilog Golden reference guide.
Це скоріш довідник, яким зручно користуватись саме як довідником, але аж ніяк не книга для читання. Інформація структурована по ключовим словам по алфавіту, тому лише довідник. Але як довідник книга дуже гарна – окрім синтаксису та прикладів тут можна знайти правила використання елементів мови, поради по застосуванню та трюки при використанні (Gotcha).
Загалом книга утилітарна – довідник з простим форматуванням та оформленням. Води нема – лише потрібна інформація. Дуже раджу для використання.
Оцінка – 10 з 10.
Сама книга лежить тут: https://drive.google.com/file/d/1mCvvcfYJYGFEhrNnckR0EUyqeBzVKpsz/view?usp=sharing
#book
На минулому тижні я розповідав про компанію Doulos і ресурси, які вона пропонує на своєму сайті (https://t.me/ddlab_ua/38).
Сьогодні у нас книга, яку Doulos пропонує для вивчення SystemVerilog - SystemVerilog Golden reference guide.
Це скоріш довідник, яким зручно користуватись саме як довідником, але аж ніяк не книга для читання. Інформація структурована по ключовим словам по алфавіту, тому лише довідник. Але як довідник книга дуже гарна – окрім синтаксису та прикладів тут можна знайти правила використання елементів мови, поради по застосуванню та трюки при використанні (Gotcha).
Загалом книга утилітарна – довідник з простим форматуванням та оформленням. Води нема – лише потрібна інформація. Дуже раджу для використання.
Оцінка – 10 з 10.
Сама книга лежить тут: https://drive.google.com/file/d/1mCvvcfYJYGFEhrNnckR0EUyqeBzVKpsz/view?usp=sharing
#book
Telegram
ddlab
Слава Україні!
Навчанням технічних спеціалістів займаються не тільки університети – компанії-виробники та дистриб’ютори займаються навчанням на семінарах, присвячених окремим темам. Є також різноманітні школи, які навчають якійсь професії. І якщо у нас в…
Навчанням технічних спеціалістів займаються не тільки університети – компанії-виробники та дистриб’ютори займаються навчанням на семінарах, присвячених окремим темам. Є також різноманітні школи, які навчають якійсь професії. І якщо у нас в…
Слава Україні!
Сьогодні буде про Analog Devices.
Я думаю, що ви чули про компанію Analog Devices. Гарно, якісно і капець як дорого. Компанія випускає аналогові та аналого-цифрові мікросхеми різного типу. Ці мікросхеми використовуються у багатьох застосунках і для того, щоб полегшити страждання розробників Analog Devices зробила велику бібліотеку модулів та проектів на мовах опису апаратури Verilog та VHDL, а також Tcl скрипти для проектів на ПЛІС.
Сама бібліотека лежить тут: https://github.com/analogdevicesinc/hdl
Бібліотека організована по принципу каталога по роботі з окремими мікросхемами Analog Devices. Якщо ви використовували фірмові відлагоджувальні плати, наприклад, від Terasic, то там скоріш за все були мікросхеми Analog Devices. І саме для таких випадків бібліотека буде вкрай корисною. Окрім того ніхто не заважає подивитись на реалізації AXI інтерфейсу та те, як пишуть у великих компаніях.
А ось тут (ADI Reference Designs HDL User Guide) лежить відсортована бібліотека по відлагоджувальних платах та мікросхемах з лінками на гітхаб та документацію: https://wiki.analog.com/resources/fpga/docs/hdl
Загалом – дуже раджу витратити пару годин на читання та вивчення цього ресурсу.
#GitHub
Сьогодні буде про Analog Devices.
Я думаю, що ви чули про компанію Analog Devices. Гарно, якісно і капець як дорого. Компанія випускає аналогові та аналого-цифрові мікросхеми різного типу. Ці мікросхеми використовуються у багатьох застосунках і для того, щоб полегшити страждання розробників Analog Devices зробила велику бібліотеку модулів та проектів на мовах опису апаратури Verilog та VHDL, а також Tcl скрипти для проектів на ПЛІС.
Сама бібліотека лежить тут: https://github.com/analogdevicesinc/hdl
Бібліотека організована по принципу каталога по роботі з окремими мікросхемами Analog Devices. Якщо ви використовували фірмові відлагоджувальні плати, наприклад, від Terasic, то там скоріш за все були мікросхеми Analog Devices. І саме для таких випадків бібліотека буде вкрай корисною. Окрім того ніхто не заважає подивитись на реалізації AXI інтерфейсу та те, як пишуть у великих компаніях.
А ось тут (ADI Reference Designs HDL User Guide) лежить відсортована бібліотека по відлагоджувальних платах та мікросхемах з лінками на гітхаб та документацію: https://wiki.analog.com/resources/fpga/docs/hdl
Загалом – дуже раджу витратити пару годин на читання та вивчення цього ресурсу.
#GitHub
GitHub
GitHub - analogdevicesinc/hdl: HDL libraries and projects
HDL libraries and projects. Contribute to analogdevicesinc/hdl development by creating an account on GitHub.
🫡3
Слава Україні!
Сьогодні буде розповідь про книгу не по Verilog, а по VHDL. Загалом, літератури по VHDL дуже багато і дуже якісної, тому ми не можемо пройти повз неї і не поговорити про це.
Розпочнемо з дуже класної книги, яку раніше радили під час вивчення VHDL у Масачусетському технологічному на курсі Introduction to Digital Laboratory, про який я вже писав.
Це книга Volnei A. Pedroni “Csrcuit design with VHDL” видана у 2004 році видавництвом МІТ.
Загалом книга по VHDL, але орієнтована на розробку, тому велика кількість прикладів, перелік яких займає пару сторінок книги: різноманітні арифметичні пристрої, пам'ять, цифрові фільтри, кінцеві автомати та улюблений нами контролер світлофору.
Окремо є задачі, щоб було що пописати самостійно, пояснення прикладів, симуляція (хоча і не завжди).
Ми пам’ятаємо, що VHDL – це мова опису апаратури з жорстким дотриманням типів даних, тому всі ці розповіді про стандартні типи даних, підтипи та типи, що вводяться користувачем присутні. Чудові розповіді про перехід між integer та std_logic_vector присутні.
Загалом все рівно і якісно. Загальна оцінка 9,5 з 10. -0,5 бала, бо нема кольорових картинок. А у 2003 кольоровий друк вже був.
#book
Сьогодні буде розповідь про книгу не по Verilog, а по VHDL. Загалом, літератури по VHDL дуже багато і дуже якісної, тому ми не можемо пройти повз неї і не поговорити про це.
Розпочнемо з дуже класної книги, яку раніше радили під час вивчення VHDL у Масачусетському технологічному на курсі Introduction to Digital Laboratory, про який я вже писав.
Це книга Volnei A. Pedroni “Csrcuit design with VHDL” видана у 2004 році видавництвом МІТ.
Загалом книга по VHDL, але орієнтована на розробку, тому велика кількість прикладів, перелік яких займає пару сторінок книги: різноманітні арифметичні пристрої, пам'ять, цифрові фільтри, кінцеві автомати та улюблений нами контролер світлофору.
Окремо є задачі, щоб було що пописати самостійно, пояснення прикладів, симуляція (хоча і не завжди).
Ми пам’ятаємо, що VHDL – це мова опису апаратури з жорстким дотриманням типів даних, тому всі ці розповіді про стандартні типи даних, підтипи та типи, що вводяться користувачем присутні. Чудові розповіді про перехід між integer та std_logic_vector присутні.
Загалом все рівно і якісно. Загальна оцінка 9,5 з 10. -0,5 бала, бо нема кольорових картинок. А у 2003 кольоровий друк вже був.
#book
Слава Україні!
На минулому тижні лабораторія «Лампа» Київського політехнічного інституту показала приклад бакалаврської кваліфікаційної роботи, яку написав студент Українського католицького університету Pavlo Hilei під керівництвом Oleg Farenyuk Керівництво розробкою апаратної частини на основі плати Arty A7-100T Єрген Короткий з кафедри КЕОА НТТУ «КПІ» - https://t.me/kpi_lampa/1336.
Чому я зупиняюсь на цій роботі – бо це, по-перше, приклад того, як треба робити гарну наукову роботу, по-друге, це приклад тісної співпраці двох університетів та двох різних спеціальностей, третє, в роботі використаний процесор RICS-V і останнє - ця робота зроблена в LaTeX.
Давайте подивимось на неї трошки ближче.
В роботі розробляється автоматичний класифікатор модуляції з апаратною акселерацією на FPGA. В якості апаратної платформи для обчислень використовуються Soft Core процесор RICS-V. В роботі використали ядро VexRiscv https://github.com/SpinalHDL/VexRiscv. Сам процесор RICS-V має безкоштовну ліцензію, тобто його можна використовувати для свої розробок. Написаний він на SpinalHDL, який набором бібліотек на мові Scala і з якого потім генеруються VHDL/Verilog файли https://github.com/SpinalHDL/SpinalHDL.
Павло зробив апаратний прискорювач обчислення операцій для нейронних мереж. Для цього використовувалось розширення команд процесора RICS-V CFU Playground https://github.com/google/CFU-Playground. Задача цього фреймворку – розширення команд софт-процесорів для використання їх у машинному навчанні. Така реалізація прискорила виконання задачі, але більш докладно про це напишуть трохи пізніше.
І останнє, що сподобалось – верстка в LaTeX. Використовувався один зі стандартних шаблонів, а сама робота була розділена на розділи. Фінішний PDF документ компілювався вже з декількох LaTeX документів і має верстку набагато кращу, ніж те, що ми зазвичай бачимо у студентських роботах.
Загалом, враження від роботи дуже гарне. Зрозуміло, що це не ординарна робота. Такі трапляються не часто і є прикладом того, що може зробити студент 4 курсу при наявності бажання та натхнення.
На минулому тижні лабораторія «Лампа» Київського політехнічного інституту показала приклад бакалаврської кваліфікаційної роботи, яку написав студент Українського католицького університету Pavlo Hilei під керівництвом Oleg Farenyuk Керівництво розробкою апаратної частини на основі плати Arty A7-100T Єрген Короткий з кафедри КЕОА НТТУ «КПІ» - https://t.me/kpi_lampa/1336.
Чому я зупиняюсь на цій роботі – бо це, по-перше, приклад того, як треба робити гарну наукову роботу, по-друге, це приклад тісної співпраці двох університетів та двох різних спеціальностей, третє, в роботі використаний процесор RICS-V і останнє - ця робота зроблена в LaTeX.
Давайте подивимось на неї трошки ближче.
В роботі розробляється автоматичний класифікатор модуляції з апаратною акселерацією на FPGA. В якості апаратної платформи для обчислень використовуються Soft Core процесор RICS-V. В роботі використали ядро VexRiscv https://github.com/SpinalHDL/VexRiscv. Сам процесор RICS-V має безкоштовну ліцензію, тобто його можна використовувати для свої розробок. Написаний він на SpinalHDL, який набором бібліотек на мові Scala і з якого потім генеруються VHDL/Verilog файли https://github.com/SpinalHDL/SpinalHDL.
Павло зробив апаратний прискорювач обчислення операцій для нейронних мереж. Для цього використовувалось розширення команд процесора RICS-V CFU Playground https://github.com/google/CFU-Playground. Задача цього фреймворку – розширення команд софт-процесорів для використання їх у машинному навчанні. Така реалізація прискорила виконання задачі, але більш докладно про це напишуть трохи пізніше.
І останнє, що сподобалось – верстка в LaTeX. Використовувався один зі стандартних шаблонів, а сама робота була розділена на розділи. Фінішний PDF документ компілювався вже з декількох LaTeX документів і має верстку набагато кращу, ніж те, що ми зазвичай бачимо у студентських роботах.
Загалом, враження від роботи дуже гарне. Зрозуміло, що це не ординарна робота. Такі трапляються не часто і є прикладом того, що може зробити студент 4 курсу при наявності бажання та натхнення.
Telegram
Lampa
Зацініть автоматичний класифікатор модуляції з апаратною акселерацією на FPGA, що є результатом виконання диплому бакалавра на Факультеті прикладних наук УКУ
Автор роботи Pavlo Hiley, науковий керівник Oleg Farenyuk. Ми трохи допомагали консультаціями по…
Автор роботи Pavlo Hiley, науковий керівник Oleg Farenyuk. Ми трохи допомагали консультаціями по…
OpenAI, компанія, яка розробила ChatGPT розмірковує над створенням своїх власних мікросхем для систем штучного інтелекту задля зменшення дефіциту чипів.
І згадайте понеділковий пост про роботу бакалавра
І згадайте понеділковий пост про роботу бакалавра
Слава Україні!
Поки я їздив десь у світі було дуже багато різного, але тут ми говоримо про ПЛІС та цифрову схемотехніку, тож ось вам новина – Інтел вирішив виділити сегмент ПЛІС у окремий бізнес.
Чого це цікаво? Бо у 2015 році Інтел купив компанію Альтера, одного з двох найбільших гравців на ринку ПЛІС. І з того часу підрозділ Інтел, що відповідає за ПЛІС довго і важко там функціонував. ПЛІС Альтери почали випускатися рідше, у Інтела одночасно почались проблеми і він став згортати різні програми. Для нас це призвело до поступового згасання конкурсу студентських робіт на ПЛІС та відчутного зменшення академічної програми по ПЛІС.
В самому Інтелі кажуть, що таке рішення дозволить новій компанії динамічно розвиватися та бла-бла-бла. Подивимось, що буде далі. Але поки Intel FPGA/Altera відстають від AMD/Xilinx десь на 1,5 – 2 роки.
Ось лінк на повідомлення від самого Інтела – https://www.intel.com/content/www/us/en/newsroom/news/intel-oct-2023-news.html#gs.732pmf
Та коментарі на EEJornal - https://www.eejournal.com/article/intel-plans-to-spin-off-fpga-group-as-an-independent-company-nine-years-after-buying-altera
Ну, а коментар від Клайва Максфілда говорить сам за себе.
Поки я їздив десь у світі було дуже багато різного, але тут ми говоримо про ПЛІС та цифрову схемотехніку, тож ось вам новина – Інтел вирішив виділити сегмент ПЛІС у окремий бізнес.
Чого це цікаво? Бо у 2015 році Інтел купив компанію Альтера, одного з двох найбільших гравців на ринку ПЛІС. І з того часу підрозділ Інтел, що відповідає за ПЛІС довго і важко там функціонував. ПЛІС Альтери почали випускатися рідше, у Інтела одночасно почались проблеми і він став згортати різні програми. Для нас це призвело до поступового згасання конкурсу студентських робіт на ПЛІС та відчутного зменшення академічної програми по ПЛІС.
В самому Інтелі кажуть, що таке рішення дозволить новій компанії динамічно розвиватися та бла-бла-бла. Подивимось, що буде далі. Але поки Intel FPGA/Altera відстають від AMD/Xilinx десь на 1,5 – 2 роки.
Ось лінк на повідомлення від самого Інтела – https://www.intel.com/content/www/us/en/newsroom/news/intel-oct-2023-news.html#gs.732pmf
Та коментарі на EEJornal - https://www.eejournal.com/article/intel-plans-to-spin-off-fpga-group-as-an-independent-company-nine-years-after-buying-altera
Ну, а коментар від Клайва Максфілда говорить сам за себе.
Intel
Intel Announces Intent to Operate PSG as Standalone Business
Sandra Rivera to lead PSG as CEO. Decision positions PSG to more effectively compete in the FPGA market; ongoing strategic alignment with Intel drives value creation for both companies.
👍1
Слава Україні!
Сьогодні буде розповідь про прикольний Open-Source проект, який начебто не має жодного сенсу, але дуже красиво – це 3D модель інвертора, яку можна надрукувати на 3D принтері.
Історія почалась з того, що у Гугл у співпраці з фабрикою по виробництву мікросхем SkyWater Technology (https://www.skywatertechnology.com/) опублікував бібліотеку компонентів для виробництва мікросхем SKY130 - https://skywater-pdk.readthedocs.io/en/main/contents/libraries/foundry-provided.html та репозиторій бібліотеки https://github.com/google/skywater-pdk. Це біліотека компонентів для технології 130-180 нм. Тепер можна взяти цю бібліотеку, спеціалізований софт та розробити свою мікросхему. Про те як її потім зробити і не дуже дорого розкажу якось іншого разу. )))
Так ось, Thorsten Knoll вирішив взяти одну стандартну комірку та зробити її у пластику. Ось тут https://medium.com/@thorstenknoll/open-source-ic-cells-as-3d-prints-a-rough-how-to-guide-90a8bc8b3b57 є докладна розповідь про те, як це було зроблено.
Модель вийшла повністю масштабною. Для роботи взяли компонент з бібліотеки, конвертували його в формат, який підтримується принтером. В результаті отримали купу файлів, кожен з яких відповідає за різні етапи виробництва мікросхеми – підкладинку, дифузійні області, металізації, діелектрик. Далі все було надруковано в пластику різного кольору та зібрано докупи за допомогою клею. У твіттері автора проекту є фото процесу - https://twitter.com/mostlymoss/status/1503295377910476804/photo/1
Дуже цікаво, для розуміння того з чого складається мікросхема теж корисно. Користі – нуль. Дуже подобаються такі фанові проекти.
Сьогодні буде розповідь про прикольний Open-Source проект, який начебто не має жодного сенсу, але дуже красиво – це 3D модель інвертора, яку можна надрукувати на 3D принтері.
Історія почалась з того, що у Гугл у співпраці з фабрикою по виробництву мікросхем SkyWater Technology (https://www.skywatertechnology.com/) опублікував бібліотеку компонентів для виробництва мікросхем SKY130 - https://skywater-pdk.readthedocs.io/en/main/contents/libraries/foundry-provided.html та репозиторій бібліотеки https://github.com/google/skywater-pdk. Це біліотека компонентів для технології 130-180 нм. Тепер можна взяти цю бібліотеку, спеціалізований софт та розробити свою мікросхему. Про те як її потім зробити і не дуже дорого розкажу якось іншого разу. )))
Так ось, Thorsten Knoll вирішив взяти одну стандартну комірку та зробити її у пластику. Ось тут https://medium.com/@thorstenknoll/open-source-ic-cells-as-3d-prints-a-rough-how-to-guide-90a8bc8b3b57 є докладна розповідь про те, як це було зроблено.
Модель вийшла повністю масштабною. Для роботи взяли компонент з бібліотеки, конвертували його в формат, який підтримується принтером. В результаті отримали купу файлів, кожен з яких відповідає за різні етапи виробництва мікросхеми – підкладинку, дифузійні області, металізації, діелектрик. Далі все було надруковано в пластику різного кольору та зібрано докупи за допомогою клею. У твіттері автора проекту є фото процесу - https://twitter.com/mostlymoss/status/1503295377910476804/photo/1
Дуже цікаво, для розуміння того з чого складається мікросхема теж корисно. Користі – нуль. Дуже подобаються такі фанові проекти.
Skywater Technology
SkyWater Technology | U.S. Semiconductor Manufacturer
SkyWater is a U.S.-based and solely U.S.-owned, DMEA accredited pure play Technology Foundry, specializing in advanced Innovation Engineering Services and volume manufacturing of a wide variety of differentiated integrated circuits (ICs).
👍1