Merge requests · mvg / Utopia EDA · GitLab

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 Dec 03, 2024
BDD checker model2

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

!183 · created Feb 11, 2024 by Ушаков Александр Николаевич
- Merged
updated Feb 12, 2024
The checkers for resynthesis_contest.

!182 · created Feb 11, 2024 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 9
updated Feb 13, 2024
ALGEBRAIC FACTOR

!180 · created Feb 10, 2024 by Ягжов Алексей Александрович
LogOptimizer
- Merged
- 19
updated Mar 07, 2024
Draft: NOT,AND-bi-decomposition -> AND-bi-decomposition.

!179 · created Feb 10, 2024 by Ягжов Алексей Александрович
LogOptimizer
- Closed
- 1
updated Mar 01, 2024
Image gtkwave installation

!178 · created Feb 09, 2024 by Грицун Тимофей Юрьевич
- Merged
- 1
updated Feb 10, 2024
Model1 vcd

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

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

!175 · created Feb 07, 2024 by Вершков Максим Дмитриевич
LogOptimizer
- Merged
- 2
updated Feb 15, 2024

Prev
1
…
26
27
28
29
30
31
32
33
34
…
38
Next