Merge requests · mvg / Utopia EDA · GitLab

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
Draft: Resolve "Префиксный сумматор"

!174 · created Feb 06, 2024 by Знатнов Егор Павлович
- Closed
updated May 02, 2024
Image staccato installation

!173 · created Feb 06, 2024 by Грицун Тимофей Юрьевич
- Merged
- Approved
updated Feb 06, 2024
Translator wrapper fix & README.md fix.

!172 · created Feb 05, 2024 by Григоров Иван Александрович
- Merged
- 30
updated Feb 22, 2024
Care computation for subnets.

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

!170 · created Feb 05, 2024 by Грицун Тимофей Юрьевич
- Merged
updated Feb 05, 2024
Small changes in rnd_checker2.

!169 · created Feb 01, 2024 by Знатнов Егор Павлович 108-style
- Merged
updated Feb 01, 2024
Dot printer

!167 · created Jan 31, 2024 by Ржевская Мария Михайловна
Model
- Merged
- 9
updated Feb 05, 2024
De Micheli algorithm and test: small fixes.

!166 · created Jan 29, 2024 by Вершков Максим Дмитриевич
LogOptimizer
updated Jan 29, 2024
Moved fir_to_model2 translator; merge & readme fixes.

!165 · created Jan 29, 2024 by Григоров Иван Александрович
- Merged
- 5
updated Jan 31, 2024

Prev
1
…
36
37
38
39
40
41
42
43
44
…
48
Next