intel_altera issueshttps://mks2.cs.msu.ru/root/intel_altera/-/issues2021-08-12T16:30:11Zhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/84Добивить в верификатор поддержку LCELL-ов2021-08-12T16:30:11ZShupletsov MikhailДобивить в верификатор поддержку LCELL-овhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/83Посчитать сложности S-box-ов в Stratix10 и Agilex2021-07-31T16:58:14ZShupletsov MikhailПосчитать сложности S-box-ов в Stratix10 и AgilexМихаилМихаилhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/82Получить результаты для умножителей до 12x122021-07-31T16:50:02ZShupletsov MikhailПолучить результаты для умножителей до 12x12Mikhail LopunovMikhail Lopunovhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/81Автоматизация Fractal Synthesis2021-07-31T16:43:24ZShupletsov MikhailАвтоматизация Fractal SynthesisMikhail LopunovMikhail Lopunovhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/80Найти оптимальные Stratix10 схемы для S-box-ов2021-07-15T16:01:37ZShupletsov MikhailНайти оптимальные Stratix10 схемы для S-box-овEkaterinaEkaterinahttps://mks2.cs.msu.ru/root/intel_altera/-/issues/79Разрешить задавать cmid для произвольной функции2021-01-23T12:20:42ZVladimir ZhukovРазрешить задавать cmid для произвольной функцииhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/76Можно ли сделать в Agilex схемы меньшей сложности?2021-07-31T16:20:36ZVladimir ZhukovМожно ли сделать в Agilex схемы меньшей сложности?МихаилМихаилhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/75Повторить результаты Stratix10 в Agilex2021-07-31T16:12:42ZVladimir ZhukovПовторить результаты Stratix10 в AgilexМихаилМихаилhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/742х2, возвращаемый SAT'ом, не синтезируется квартусом2021-07-15T15:55:05ZVladimir Zhukov2х2, возвращаемый SAT'ом, не синтезируется квартусомVladimir ZhukovVladimir Zhukovhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/73Посмотреть на пример вычисления задержки для скалярного произведения2020-12-05T13:32:39ZVladimir ZhukovПосмотреть на пример вычисления задержки для скалярного произведенияVladimir ZhukovVladimir Zhukovhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/67Строить умножители большей размерности из умножителей меньшей размерности2020-11-14T14:18:51ZVladimir ZhukovСтроить умножители большей размерности из умножителей меньшей размерностиhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/66Попробовать посклеивать умножители для ср. сложности2021-07-15T15:53:43ZVladimir ZhukovПопробовать посклеивать умножители для ср. сложностиMikhail LopunovMikhail Lopunovhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/61Тесты на генетику2020-11-08T04:44:52ZVladimir ZhukovТесты на генетикуhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/60Тесты на модуль z3model2020-11-08T05:48:23ZVladimir ZhukovТесты на модуль z3modelЭто чудовищно, но надо позапускать солвер на простых тасках :):):)Это чудовищно, но надо позапускать солвер на простых тасках :):):)https://mks2.cs.msu.ru/root/intel_altera/-/issues/59Тесты на модуль verilog2020-11-08T04:44:25ZVladimir ZhukovТесты на модуль veriloghttps://mks2.cs.msu.ru/root/intel_altera/-/issues/58Использовать виртуальные пины в бенчмарке2021-07-15T15:53:40ZVladimir ZhukovИспользовать виртуальные пины в бенчмаркеMikhail LopunovMikhail Lopunovhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/57Позапускать benchmark с разными параметрами, оценить задержку и её дисперсию2021-07-15T15:53:39ZVladimir ZhukovПозапускать benchmark с разными параметрами, оценить задержку и её дисперсиюMikhail LopunovMikhail Lopunovhttps://mks2.cs.msu.ru/root/intel_altera/-/issues/51Внедрить сведение к MapleSAT2020-10-17T13:58:55ZVladimir ZhukovВнедрить сведение к MapleSAThttps://mks2.cs.msu.ru/root/intel_altera/-/issues/42Rewriting для подсхем небольшой сложности2020-11-14T14:02:38ZVladimir ZhukovRewriting для подсхем небольшой сложностиEkaterinaEkaterinahttps://mks2.cs.msu.ru/root/intel_altera/-/issues/41Раздебажить stack trace для 3x32020-10-03T14:01:38ZVladimir ZhukovРаздебажить stack trace для 3x3