Skip to content
@lip6

LIP6, Sorbonne Université

Popular repositories Loading

  1. coriolis coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    C++ 58 10

  2. ITSTools ITSTools Public

    A multi-formalism, multi-solution model-checker centered on the language GAL

    Python 23 10

  3. libDDD libDDD Public

    Library for Data Decision Diagrams and Set Decision Diagrams

    C++ 14 4

  4. painless painless Public

    A framework to ease parallelization of sequential SAT solvers

    C++ 13 2

  5. pnmlframework pnmlframework Public

    This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)

    Java 12 9

  6. alliance alliance Public

    Alliance VLSI CAD Tools (LIP6)

    C 12 3

Repositories

Showing 10 of 27 repositories
  • 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 Updated Dec 20, 2024
  • tas-yagle Public

    Static Timing Analyser (LIP6)

    lip6/tas-yagle’s past year of commit activity
    C 3 GPL-2.0 0 0 0 Updated Dec 20, 2024
  • coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    lip6/coriolis’s past year of commit activity
    C++ 58 GPL-2.0 10 25 (5 issues need help) 3 Updated Dec 19, 2024
  • IHP_SG13G2_TO_Nov2024 Public Forked from IHP-GmbH/TO_Nov2024

    IHP Open source SG13G2 Tape Out on November 2024

    lip6/IHP_SG13G2_TO_Nov2024’s past year of commit activity
    Verilog 0 Apache-2.0 15 0 0 Updated Dec 4, 2024
  • c4m-ihpsg13g2-pdk Public

    Port of Chip4Makers IHP SG13S2 PDK

    lip6/c4m-ihpsg13g2-pdk’s past year of commit activity
    Python 0 GPL-2.0 0 1 0 Updated Dec 4, 2024
  • IHP-Open-PDK Public Forked from IHP-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
    HTML 0 Apache-2.0 65 0 0 Updated Dec 4, 2024
  • painless Public

    A framework to ease parallelization of sequential SAT solvers

    lip6/painless’s past year of commit activity
    C++ 13 2 0 1 Updated Oct 25, 2024
  • Coloane Public

    Maintained components of Coloane editor.

    lip6/Coloane’s past year of commit activity
    Java 2 0 1 1 Updated Sep 30, 2024
  • alliance Public

    Alliance VLSI CAD Tools (LIP6)

    lip6/alliance’s past year of commit activity
    C 12 3 0 0 Updated Sep 27, 2024
  • libITS Public

    Core Guarded Action Language and Instantiable Transition System semantics using libDDD.

    lip6/libITS’s past year of commit activity
    C++ 8 GPL-3.0 5 0 2 Updated Aug 26, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…