Merge requests · mvg / Utopia EDA · GitLab

Reconvergence cut: small fix and refactoring, new test was added.

!203 · created Feb 21, 2024 by Вершков Максим Дмитриевич
LogOptimizer
updated Feb 22, 2024
Resolve "Unable to build the project with debug print (UTOPIA_DEBUG)"

!202 · created Feb 20, 2024 by Sergey Smolov
updated Feb 29, 2024
Changed root element mapping for cones.

!201 · created Feb 20, 2024 by Ершов Михаил Алексеевич
LogOptimizer
- Closed
updated Mar 07, 2024
FIX: DSD max arity

!200 · created Feb 19, 2024 by Романов Никита Сергеевич
updated Feb 20, 2024
Contest with taking into account the frequency of NPN classes for four inputs functions occurrence.

!199 · created Feb 19, 2024 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 7
updated Feb 22, 2024
Translator Verilog to Firrtl sys test

!198 · created Feb 19, 2024 by Грицун Тимофей Юрьевич
CI/CD & Testing
- Merged
- 54
updated May 17, 2024
Draft: Smoke tests suite

!197 · created Feb 19, 2024 by Грицун Тимофей Юрьевич
CI/CD & Testing
- Closed
- 3
updated May 02, 2024
Draft: Reorganize CMake build scripts 4 of 6 checklist items completed

!196 · created Feb 18, 2024 by Artem Kotsynyak
- 1
updated Oct 21, 2024
Changed CutExtractor & ConeBuilder entry idx type (uint64_t -> size_t)

!195 · created Feb 16, 2024 by Ершов Михаил Алексеевич
LogOptimizer
updated Feb 19, 2024
FIX: cuddP changed

!194 · created Feb 16, 2024 by Романов Никита Сергеевич
updated Feb 16, 2024
KChecker basic algorithm

!193 · created Feb 16, 2024 by Чижмар Михаил Михайлович
LogVerifier
- Merged
- 25
updated Feb 22, 2024
Added cycle support to model2 translator (not fully tested).

!192 · created Feb 15, 2024 by Григоров Иван Александрович
- Merged
- 2
updated Feb 19, 2024
add sat checker Test

!191 · created Feb 15, 2024 by Гаряев Даниил Ренатович
- Merged
- 1
updated Feb 21, 2024
Reconvergence-driven cut refactoring.

!190 · created Feb 15, 2024 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 2
updated Feb 21, 2024
Fixed generators tests.

!189 · created Feb 15, 2024 by Ершов Михаил Алексеевич
Synthesizer
updated Feb 15, 2024
AigTransformer small fixes.

!188 · created Feb 14, 2024 by Вершков Максим Дмитриевич
updated Feb 15, 2024
GNet: mitering conditions and miter structure update

!187 · created Feb 14, 2024 by Кашинцев Илья Константинович
- Merged
updated Feb 14, 2024
Added entries iterator.

!186 · created Feb 14, 2024 by Ершов Михаил Алексеевич
LogOptimizer
updated Feb 15, 2024
Cascade

!185 · created Feb 14, 2024 by Федотова Анна Алексеевна
updated Feb 14, 2024
BDD checker model2

!184 · created Feb 13, 2024 by Кашинцев Илья Константинович
LogVerifier
- Merged
- 3
updated Feb 14, 2024

Prev
1
…
12
13
14
15
16
17
18
19
20
…
25
Next