Merge requests · mvg / Utopia EDA · GitLab

Added safe passer.

!271 · created Apr 17, 2024 by Ершов Михаил Алексеевич
updated Apr 17, 2024
Depth Optimization

!251 · created Apr 03, 2024 by Романов Никита Сергеевич
LogOptimizer
- Merged
- 18
updated Apr 16, 2024
CI/CD stages dependencies update

!255 · created Apr 05, 2024 by Грицун Тимофей Юрьевич
CI/CD & Testing
- Merged
- 5
updated Apr 15, 2024
Area interface

!266 · created Apr 11, 2024 by Романов Никита Сергеевич
Main
- Merged
- 9
updated Apr 15, 2024
Mutator on model2

!230 · created Mar 17, 2024 by Ржевская Мария Михайловна
LogVerifier
- Merged
- 27
updated Apr 15, 2024
Update techmap

!267 · created Apr 12, 2024 by Михаил Чупилко
updated Apr 15, 2024
Tests Yosys Converters

!268 · created Apr 13, 2024 by Ушаков Александр Николаевич
Translator
updated Apr 14, 2024
Fixing replacement effect construction.

!269 · created Apr 13, 2024 by Ершов Михаил Алексеевич
updated Apr 14, 2024
Cli tehc opt

!265 · created Apr 11, 2024 by Белин Егор Сергеевич techOpt
updated Apr 12, 2024
Delay estimation

!252 · created Apr 04, 2024 by Штренев Владислав techOpt
updated Apr 11, 2024
group tests

!264 · created Apr 11, 2024 by Белин Егор Сергеевич techOpt
updated Apr 11, 2024
Rewriter optimization

!263 · created Apr 10, 2024 by Ершов Михаил Алексеевич
LogOptimizer
updated Apr 11, 2024
Area recovery

!262 · created Apr 10, 2024 by Мазов Григорий Алексеевич techOpt
updated Apr 10, 2024
Depth evaluation fix.

!261 · created Apr 10, 2024 by Ершов Михаил Алексеевич
updated Apr 10, 2024
The area optimization subsystem

!221 · created Mar 06, 2024 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 30
updated Apr 09, 2024
Translator to 'model2': added some convenience functions.

!254 · created Apr 04, 2024 by Григоров Иван Александрович
- Merged
- 12
updated Apr 08, 2024
Elimination of False Negatives

!257 · created Apr 07, 2024 by Чижмар Михаил Михайлович
updated Apr 08, 2024
Base checker update v2

!249 · created Apr 03, 2024 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 10
updated Apr 04, 2024
BDD to DNF converter

!245 · created Mar 31, 2024 by Романов Никита Сергеевич
- Merged
- 10
updated Apr 04, 2024
SubnetBuilder constructor bugfix.

!250 · created Apr 03, 2024 by Ершов Михаил Алексеевич
updated Apr 04, 2024

Prev
1
…
7
8
9
10
11
12
13
14
15
…
21
Next