[Из песочницы] Верификация цифровых схем. Обзор
#FPGA #verification #systemverilogvhdl #asic #uvm IV
https://habr.com/ru/post/481542/
#FPGA #verification #systemverilogvhdl #asic #uvm IV
https://habr.com/ru/post/481542/
t.me
Верификация цифровых схем. Обзор
Я постараюсь в общем рассказать о верификации цифровых схем. Верификация в данной области — это важный процесс, требующий привлечения опытных инженеров. Наприме...
Статический анализ структуры базы данных (часть 1)
#PostgreSQL #Анализипроектированиесистем #SQL #sql #postgresql #verification #staticcodeanalysis
https://habr.com/ru/articles/800121/
#PostgreSQL #Анализипроектированиесистем #SQL #sql #postgresql #verification #staticcodeanalysis
https://habr.com/ru/articles/800121/
Хабр
Статический анализ структуры базы данных (часть 1)
Статический анализ структуры базы данных — это процесс выявления ошибок, нерекомендуемых практик и потенциальных проблем в базе данных только на основе структуры, типов данных, свойств объектов....
Статический анализ структуры базы данных (часть 2)
#PostgreSQL #Анализипроектированиесистем #SQL #sql #postgresql #verification #staticcodeanalysis
https://habr.com/ru/articles/803841/
#PostgreSQL #Анализипроектированиесистем #SQL #sql #postgresql #verification #staticcodeanalysis
https://habr.com/ru/articles/803841/
Хабр
Статический анализ структуры базы данных (часть 2)
Продолжим разбор проверок структуры базы данных, на примере PostgeSQL. Данная статья будет посвящена проверкам связанным с ограничением FOREIGN KEY ( FK ). Часть проверок целесообразно выполнять на...
Статический анализ структуры базы данных (часть 3)
#PostgreSQL #Анализипроектированиесистем #SQL #sql #postgresql #verification #staticcodeanalysis
https://habr.com/ru/articles/821993/
#PostgreSQL #Анализипроектированиесистем #SQL #sql #postgresql #verification #staticcodeanalysis
https://habr.com/ru/articles/821993/
Хабр
Статический анализ структуры базы данных (часть 3)
Продолжим разбор проверок структуры базы данных, на примере PostgeSQL. Данная статья будет посвящена проверкам связанным с индексами. Статический анализ не учитывает размер индексов и частоту их...
Ory Kratos — конструктор для сборки цифрового продукта любой сложности
#kratos #ory #интеграция #login #registration #verification #AIM
https://habr.com/ru/companies/kts/articles/870454/
#kratos #ory #интеграция #login #registration #verification #AIM
https://habr.com/ru/companies/kts/articles/870454/
Хабр
Ory Kratos — конструктор для сборки цифрового продукта любой сложности
Привет! Я Андрей Баронский, бэкенд-тимлид в KTS . Одно из ключевых направлений деятельности нашей компании — это аутсорс-разработка цифровых продуктов. При создании очередной системы мы хотим уделять...