Merge requests · mvg / Utopia EDA · GitLab

De Micheli algorithm.

!140 · created Jan 08, 2024 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 21
updated Jan 15, 2024
Revert "Merge branch 'mr-origin-133' into main"

!139 · created Dec 29, 2023 by Sergey Smolov
LogOptimizer
updated Jan 17, 2024
AigMapper for the Subnet

!138 · created Dec 27, 2023 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 1
updated Dec 28, 2023
Image update yosys

!137 · created Dec 27, 2023 by Грицун Тимофей Юрьевич
CI/CD & Testing
- Merged
- 1
updated Dec 29, 2023
Draft: Decomposition

!136 · created Dec 27, 2023 by Гаряев Даниил Ренатович
Synthesizer
- Closed
- 10
updated Feb 14, 2024
instructionYosys

!135 · created Dec 27, 2023 by Ушаков Александр Николаевич
- Merged
updated Dec 27, 2023
Firrtl

!134 · created Dec 27, 2023 by Ушаков Александр Николаевич
- Closed
updated Dec 27, 2023
Draft: De Micheli algorithm.

!133 · created Dec 26, 2023 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 17
updated Dec 29, 2023
Updated fraig-checker for model1

!132 · created Dec 26, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 18
updated Jan 12, 2024
Area recovery

!131 · created Dec 26, 2023 by Мазов Григорий Алексеевич techOpt
- Closed
- 11
updated Apr 10, 2024
Текущая ветка: prob_estimator

!130 · created Dec 26, 2023 by Курганская Анастасия Сергеевна
LogOptimizer
- Merged
- 34
updated Jan 17, 2024
Moved cone primary inputs at the beginning of entries array.

!129 · created Dec 25, 2023 by Ершов Михаил Алексеевич
LogOptimizer
- Merged
- 3
updated Dec 27, 2023
GraphML to Subnet parser for OpenABC benchmark

!128 · created Dec 24, 2023 by Ягжов Алексей Александрович
Translator
- Merged
- 5
updated Jan 19, 2024
Checkers errors fix & CheckerResult

!127 · created Dec 23, 2023 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 6
updated Dec 27, 2023
Bugfix with overlapping links for different cells.

!125 · created Dec 22, 2023 by Ершов Михаил Алексеевич
LogOptimizer
updated Dec 22, 2023
ConeBuilder class.

!124 · created Dec 20, 2023 by Ершов Михаил Алексеевич
LogOptimizer
updated Jan 11, 2024
Struct hashing

!123 · created Dec 19, 2023 by Чижмар Михаил Михайлович
LogVerifier
- Merged
- 34
updated Dec 21, 2023
fix in Subnet::getPathLength (solution for issue #88)

!122 · created Dec 19, 2023 by Ягжов Алексей Александрович
Model
updated Jan 17, 2024
'FIRRTL' to 'model2' translator added (along with the tests).

!121 · created Dec 18, 2023 by Григоров Иван Александрович
updated Jan 25, 2024
A proposal of solving issue with XNOR in addCellTree().

!120 · created Dec 18, 2023 by Вершков Максим Дмитриевич
LogOptimizer Model
- Merged
- 1
updated Jan 17, 2024

Prev
1
…
15
16
17
18
19
20
21
22
23
…
25
Next