Movatterモバイル変換

tas-yagle Public
Static Timing Analyser (LIP6)
lip6/tas-yagle’s past year of commit activity
C 5GPL-2.00 0 0 UpdatedMar 26, 2025
painless Public
A framework to ease parallelization of sequential SAT solvers
lip6/painless’s past year of commit activity
C++ 16 2 0 1 UpdatedMar 20, 2025
coriolis-pdk-ihpsg13g2-c4m Public
Port of Chip4Makers IHP SG13S2 PDK
lip6/coriolis-pdk-ihpsg13g2-c4m’s past year of commit activity
Python0GPL-2.0 1 1 2 UpdatedMar 13, 2025
alliance-check-toolkit Public
Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)
lip6/alliance-check-toolkit’s past year of commit activity
Python 12 3 1 (1 issue needs help) 1 UpdatedFeb 25, 2025
alliance Public
Alliance VLSI CAD Tools (LIP6)
lip6/alliance’s past year of commit activity
C 12 2 0 0 UpdatedFeb 24, 2025
ITSTools Public
A multi-formalism, multi-solution model-checker centered on the language GAL
lip6/ITSTools’s past year of commit activity
Python 23GPL-3.0 11 7 3 UpdatedFeb 22, 2025
coriolis Public
Coriolis VLSI EDA Tool (LIP6)
lip6/coriolis’s past year of commit activity
C++ 62GPL-2.0 11 25 (5 issues need help) 3 UpdatedFeb 14, 2025
IHP-Open-PDK Public Forked fromIHP-GmbH/IHP-Open-PDK
130nm BiCMOS Open Source PDK, dedicated for Analog, Mixed Signal and RF Design
lip6/IHP-Open-PDK’s past year of commit activity
HTML0Apache-2.0 82 0 0 UpdatedFeb 8, 2025
IHP_SG13G2_TO_Nov2024 Public Forked fromIHP-GmbH/TO_Nov2024
IHP Open source SG13G2 Tape Out on November 2024
lip6/IHP_SG13G2_TO_Nov2024’s past year of commit activity
Verilog0Apache-2.0 15 0 0 UpdatedDec 4, 2024
Coloane Public
Maintained components of Coloane editor.
lip6/Coloane’s past year of commit activity
Java 20 1 1 UpdatedSep 30, 2024

View all repositories

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

LIP6, Sorbonne Université

Popular repositoriesLoading

Repositories

People

Top languages

Most used topics