Issues · Vladimir Zhukov / intel_altera · GitLab

Посчитать сложности S-box-ов в Stratix10 и Agilex

#83 · created Jul 31, 2021 by Shupletsov Mikhail Doing
- 0
updated Jul 31, 2021
Получить результаты для умножителей до 12x12

#82 · created Jul 31, 2021 by Shupletsov Mikhail Doing
- 1
updated Jul 31, 2021
Автоматизация Fractal Synthesis

#81 · created Jul 31, 2021 by Shupletsov Mikhail Doing
- 2
updated Jul 31, 2021
Найти оптимальные Stratix10 схемы для S-box-ов

#80 · created Jul 15, 2021 by Shupletsov Mikhail Doing
- 1
updated Jul 15, 2021
Можно ли сделать в Agilex схемы меньшей сложности?

#76 · created Dec 05, 2020 by Vladimir Zhukov Doing
- 2
updated Jul 31, 2021
Повторить результаты Stratix10 в Agilex

#75 · created Dec 05, 2020 by Vladimir Zhukov Doing
- 2
updated Jul 31, 2021
Добивить в верификатор поддержку LCELL-ов

#84 · created Aug 12, 2021 by Shupletsov Mikhail To Do
- 0
updated Aug 12, 2021
Разрешить задавать cmid для произвольной функции

#79 · created Jan 23, 2021 by Vladimir Zhukov To Do
- 0
updated Jan 23, 2021
Посмотреть на пример вычисления задержки для скалярного произведения

#73 · created Dec 05, 2020 by Vladimir Zhukov To Do
- 0
updated Dec 05, 2020
Rewriting для подсхем небольшой сложности

#42 · created Aug 27, 2020 by Vladimir Zhukov To Do
- 2
updated Nov 14, 2020
Строить умножители большей размерности из умножителей меньшей размерности

#67 · created Nov 14, 2020 by Vladimir Zhukov To Do
- 0
updated Nov 14, 2020
Тесты на модуль z3model

#60 · created Nov 08, 2020 by Vladimir Zhukov To Do
- 0
updated Nov 08, 2020
Тесты на модуль verilog

#59 · created Nov 08, 2020 by Vladimir Zhukov To Do
- 0
updated Nov 08, 2020
Позапускать benchmark с разными параметрами, оценить задержку и её дисперсию

#57 · created Nov 08, 2020 by Vladimir Zhukov To Do
- 0
updated Jul 15, 2021
Использовать виртуальные пины в бенчмарке

#58 · created Nov 08, 2020 by Vladimir Zhukov To Do
- 1
updated Jul 15, 2021
Попробовать посклеивать умножители для ср. сложности

#66 · created Nov 14, 2020 by Vladimir Zhukov To Do
- 2
updated Jul 15, 2021
2х2, возвращаемый SAT'ом, не синтезируется квартусом

#74 · created Dec 05, 2020 by Vladimir Zhukov To Do
- 0
updated Jul 15, 2021
Тесты на генетику

#61 · created Nov 08, 2020 by Vladimir Zhukov
- 0
updated Nov 08, 2020
Внедрить сведение к MapleSAT

#51 · created Oct 10, 2020 by Vladimir Zhukov
- 1
updated Oct 17, 2020
Использование МL для ускорения SAT

#2 · created Apr 09, 2020 by Shupletsov Mikhail Algorithms development
- 0
updated Aug 02, 2020
Получить результаты для средней сложности

#36 · created Aug 13, 2020 by Vladimir Zhukov
- 0
updated Aug 13, 2020
Быстрая симуляция на C++

#21 · created Jul 11, 2020 by Vladimir Zhukov
- 0
updated Jul 11, 2020
Макросы в отдельном файле

#35 · created Aug 13, 2020 by Vladimir Zhukov
- 0
updated Sep 26, 2020
Раздебажить stack trace для 3x3

#41 · created Aug 27, 2020 by Vladimir Zhukov
- 1
updated Oct 03, 2020
Генерация попарно неизоморфных графов

#23 · created Jul 11, 2020 by Vladimir Zhukov
- 0
updated Sep 19, 2020