Skip to content

@lip6 LIP6, Sorbonne Université

All

    Repositories list

    35 repositories

    • ITSTools

      Public
      A multi-formalism, multi-solution model-checker centered on the language GAL
      eclipseltlsafety
      eclipseltlsafetymodel-checkingpetri-netmodel-driven-developmentctl
      Python
      •
      GNU General Public License v3.0
      •12•28•7•2•Updated Sep 8, 2026Sep 8, 2026

    • coriolis-pdk-gf180mcu

      Public
      GF180MCU native PDK for Coriolis
      Verilog
      •2•1•0•1•Updated Aug 29, 2026Aug 29, 2026

    • alliance-check-toolkit

      Public
      Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)
      vlsi-design
      vlsi-design
      Python
      •6•17•1•1•Updated Aug 28, 2026Aug 28, 2026

    • alliance

      Public
      Alliance VLSI CAD Tools (LIP6)
      edavlsi-physical-design
      edavlsi-physical-design
      C
      •6•24•0•0•Updated Aug 28, 2026Aug 28, 2026

    • coriolis

      Public
      Coriolis VLSI EDA Tool (LIP6)
      edavlsi-physical-design
      edavlsi-physical-design
      C++
      •
      GNU General Public License v2.0
      •20•93•26•4•Updated Aug 28, 2026Aug 28, 2026

    • coriolis-designs

      Public
      Python
      •1•1•0•1•Updated Aug 19, 2026Aug 19, 2026

    • 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
      •
      Eclipse Public License 1.0
      •10•16•3•2•Updated Jun 10, 2026Jun 10, 2026

    • coriolis-pdk-ihpsg13g2-c4m

      Public
      Port of Chip4Makers IHP SG13S2 PDK
      Python
      •
      GNU General Public License v2.0
      •2•1•1•2•Updated May 26, 2026May 26, 2026

    • coriolis-pdk-gf180mcu-c4m

      Public
      GF180 MCU - Chips4Makers PDK for Coriolis
      Python
      •
      GNU General Public License v2.0
      •1•1•0•0•Updated May 26, 2026May 26, 2026

    • coriolis-pdk-sky130-c4m

      Public
      Chips4Makers PDK Master cells for Coriolis / SkyWater 130A
      Python
      •
      GNU General Public License v2.0
      •1•1•0•1•Updated May 26, 2026May 26, 2026

    • coriolis-pdk-ihpsg13g2

      Public
      Coriolis provided version of IHP SG13G2 Open PDK
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated May 26, 2026May 26, 2026

    • coriolis-pdk-nsx2

      Public
      PDK for symbolic NSxLib
      Python
      •
      GNU General Public License v2.0
      •1•1•0•1•Updated May 26, 2026May 26, 2026

    • painless

      Public
      A framework to ease parallelization of sequential SAT solvers
      C++
      •
      Other
      •11•36•1•1•Updated May 17, 2026May 17, 2026

    • coriolis-pdk-lsxlib

      Public
      Coriolis PDK for LSxLib (symbolic)
      Python
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated May 13, 2026May 13, 2026

    • Coloane

      Public
      Maintained components of Coloane editor.
      Java
      •0•2•1•1•Updated Mar 2, 2026Mar 2, 2026

    • tas-yagle

      Public
      Static Timing Analyser (LIP6)
      edatiming-analysis
      edatiming-analysis
      C
      •
      GNU General Public License v2.0
      •0•6•0•0•Updated Dec 30, 2025Dec 30, 2025

    • coriolis-designs-croc

      Public
      Physical implementation of Croc with Coriolis
      Python
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Dec 12, 2025Dec 12, 2025

    • libITS

      Public
      Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
      cplusplusgplv3symbolic
      cplusplusgplv3symbolicmodel-checkingdecision-diagrams
      C++
      •
      GNU General Public License v3.0
      •5•9•0•2•Updated Sep 18, 2025Sep 18, 2025

    • libDDD

      Public
      Library for Data Decision Diagrams and Set Decision Diagrams
      verificationsymboliclgpl
      verificationsymboliclgpldecision-diagramscplusplus-11
      C++
      •
      Other
      •5•16•0•0•Updated Sep 10, 2025Sep 10, 2025

    • IHP-Open-PDK

      Public
      130nm BiCMOS Open Source PDK, dedicated for Analog, Mixed Signal and RF Design
      HTML
      •
      Apache License 2.0
      •163•0•0•0•Updated Feb 8, 2025Feb 8, 2025

    • IHP_SG13G2_TO_Nov2024

      Public
      IHP Open source SG13G2 Tape Out on November 2024
      Verilog
      •
      Apache License 2.0
      •16•0•0•0•Updated Dec 4, 2024Dec 4, 2024

    • Louvain-BinaryBuild

      Public
      A project to host binary artifacts for Louvain Community Detection Algorithm
      C++
      •
      GNU General Public License v3.0
      •1•2•0•1•Updated Jul 8, 2024Jul 8, 2024

    • core-v-180-mcu

      Public
      CORE-V Implementation on GF 180 MCU node
      Python
      •0•1•0•0•Updated Jan 18, 2024Jan 18, 2024

    • pnml2nupn

      Public
      PNML2NUPN transforms Petri Nets models in PNML (Petri nets Markup Language, www.pnml.org) into the Nested-Unit Petri Nets (NUPN) handled by the Caesar.bdd struc…
      Java
      •
      Eclipse Public License 1.0
      •1•2•0•1•Updated Dec 5, 2023Dec 5, 2023

    • ITSTools-web

      Public
      Web page and online docs for ITS Tools
      HTML
      •2•0•0•1•Updated Apr 12, 2023Apr 12, 2023

    • ITS-LTL

      Public archive
      ITS tools and SPOT combine to provide symbolic model-checking of LTL
      C++
      •0•2•0•0•Updated Sep 13, 2022Sep 13, 2022

    • ITS-CTL

      Public archive
      CTL symbolic model-checker based on libDDD and libITS
      ccplusplusgplv3
      ccplusplusgplv3symbolicmodel-checkingcomputation-tree-logic
      C
      •
      GNU General Public License v3.0
      •3•7•0•0•Updated Sep 13, 2022Sep 13, 2022

    • ITS-commandline

      Public archive
      A project to host command-line version of ITS-Tools components embedded in eclipse
      Java
      •6•1•0•1•Updated May 11, 2022May 11, 2022

    • Evinrude

      Public
      This is a prototype of the Evinrude tool developed by Jean-Baptiste Voron and Clément Démoulins while Jean-Baptiste was doing his Ph.D. under my supervision.
      Java
      •1•0•0•0•Updated Nov 21, 2021Nov 21, 2021

    • GreatSPN-BinaryBuild

      Public
      A project to host binary builds of GreatSPN related toolset, as used in ITS-tools
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 12, 2021Jun 12, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.