Merge requests · mvg / Utopia EDA · GitLab

Translator wrapper fix & README.md fix.

!172 · created Feb 05, 2024 by Григоров Иван Александрович
- Merged
- 30
updated Feb 22, 2024
KChecker basic algorithm

!193 · created Feb 16, 2024 by Чижмар Михаил Михайлович
LogVerifier
- Merged
- 25
updated Feb 22, 2024
CutMutator

!156 · created Jan 19, 2024 by Ржевская Мария Михайловна
LogVerifier
- Merged
- 31
updated Feb 22, 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
Reconvergence cut: small fix and refactoring, new test was added.

!203 · created Feb 21, 2024 by Вершков Максим Дмитриевич
LogOptimizer
updated Feb 22, 2024
Reconvergence-driven cut refactoring.

!190 · created Feb 15, 2024 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 2
updated Feb 21, 2024
add sat checker Test

!191 · created Feb 15, 2024 by Гаряев Даниил Ренатович
- Merged
- 1
updated Feb 21, 2024
FIX: DSD max arity

!200 · created Feb 19, 2024 by Романов Никита Сергеевич
updated Feb 20, 2024
Added cycle support to model2 translator (not fully tested).

!192 · created Feb 15, 2024 by Григоров Иван Александрович
- Merged
- 2
updated Feb 19, 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
Care computation for subnets.

!171 · created Feb 05, 2024 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 7
updated Feb 15, 2024
Added entries iterator.

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

!189 · created Feb 15, 2024 by Ершов Михаил Алексеевич
Synthesizer
updated Feb 15, 2024
A reconvergence-driven cut extracting.

!175 · created Feb 07, 2024 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 2
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
BDD checker model2

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

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

!177 · created Feb 08, 2024 by Кашинцев Илья Константинович
- Merged
- 6
updated Feb 14, 2024

Prev
1
…
11
12
13
14
15
16
17
18
19
…
22
Next