Merge requests · mvg / Utopia EDA · GitLab

Refactoring Akers algorithm.

!149 · created Jan 13, 2024 by Вершков Максим Дмитриевич
LogOptimizer
updated Jan 13, 2024
Rm max arity

!148 · created Jan 13, 2024 by Знатнов Егор Павлович
LogOptimizer
- Merged
- 17
updated Jan 25, 2024
Fixed cone builder

!147 · created Jan 12, 2024 by Ершов Михаил Алексеевич
LogOptimizer
updated Jan 13, 2024
Error fix

!146 · created Jan 12, 2024 by Кашинцев Илья Константинович
LogVerifier
- Merged
updated Jan 17, 2024
Cascade max arity

!145 · created Jan 11, 2024 by Федотова Анна Алексеевна
LogOptimizer
- Merged
- 20
updated Jan 25, 2024
Image lcov installation

!143 · created Jan 11, 2024 by Грицун Тимофей Юрьевич
CI/CD & Testing
- Merged
updated Jan 17, 2024
Fix: the function evaluate() in subnet_truth_table.h

!142 · created Jan 09, 2024 by Вершков Максим Дмитриевич
Model
- Merged
- 1
updated Jan 17, 2024
Extended options for Verilog-to-FIRRTL

!141 · created Jan 09, 2024 by Ушаков Александр Николаевич
- Closed
- 32
updated Mar 25, 2024
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

Prev
1
…
16
17
18
19
20
21
22
23
24
…
26
Next