Skip to content

@lip6 LIP6, Sorbonne Université

Change the repository type filter

All

    Repositories list

    27 repositories

    • ITSTools

      Public
      A multi-formalism, multi-solution model-checker centered on the language GAL
      eclipseltlsafetymodel-checkingpetri-netmodel-driven-developmentctl
      Python
      •
      GNU General Public License v3.0
      •12•24•7•2•Updated Apr 15, 2025Apr 15, 2025

    • libITS

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

    • coriolis

      Public
      Coriolis VLSI EDA Tool (LIP6)
      edavlsi-physical-design
      C++
      •
      GNU General Public License v2.0
      •11•64•25•3•Updated Apr 12, 2025Apr 12, 2025

    • libDDD

      Public
      Library for Data Decision Diagrams and Set Decision Diagrams
      verificationsymboliclgpldecision-diagramscplusplus-11
      C++
      •
      Other
      •4•14•0•0•Updated Apr 9, 2025Apr 9, 2025

    • tas-yagle

      Public
      Static Timing Analyser (LIP6)
      edatiming-analysis
      C
      •
      GNU General Public License v2.0
      •0•5•0•0•Updated Mar 26, 2025Mar 26, 2025

    • painless

      Public
      A framework to ease parallelization of sequential SAT solvers
      C++
      •
      Other
      •4•17•1•1•Updated Mar 20, 2025Mar 20, 2025

    • coriolis-pdk-ihpsg13g2-c4m

      Public
      Port of Chip4Makers IHP SG13S2 PDK
      Python
      •
      GNU General Public License v2.0
      •1•0•1•2•Updated Mar 13, 2025Mar 13, 2025

    • alliance-check-toolkit

      Public
      Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)
      vlsi-design
      Python
      •3•12•1•1•Updated Feb 25, 2025Feb 25, 2025

    • alliance

      Public
      Alliance VLSI CAD Tools (LIP6)
      edavlsi-physical-design
      C
      •2•13•0•0•Updated Feb 24, 2025Feb 24, 2025

    • IHP-Open-PDK

      Public
      130nm BiCMOS Open Source PDK, dedicated for Analog, Mixed Signal and RF Design
      HTML
      •
      Apache License 2.0
      •84•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
      •15•0•0•0•Updated Dec 4, 2024Dec 4, 2024

    • Coloane

      Public
      Maintained components of Coloane editor.
      Java
      •0•2•1•1•Updated Sep 30, 2024Sep 30, 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

    • 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
      •9•12•3•2•Updated May 20, 2024May 20, 2024

    • core-v-180-mcu

      Public
      CORE-V Implementation on GF 180 MCU node
      Python
      •0•0•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 structural analyser tool of the CADP tool suite.
      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
      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

    • cosy

      Public
      sat-solversymmetrysatsbpsatisfiabilitysymmetry-breakingsymmetry-reductioncosyesbp
      C++
      •
      Other
      •0•5•0•0•Updated Mar 23, 2021Mar 23, 2021

    • ESBP_SEL

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Dec 19, 2019Dec 19, 2019

    • minisat-SymSp

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Dec 11, 2018Dec 11, 2018

    • TSAR-DHCCP

      Public
      Verification of the Distributed Hybrid Cache Coherence protocol of the TeraScale Architecture
      C
      •
      Other
      •1•1•0•0•Updated Apr 9, 2018Apr 9, 2018

    • camipnml

      Public
      Cami to PNML is a model transformation tool that converts CPN-AMI's CAMI format into PNML (Petri Nets Markup Language) and vice versa.
      Java
      •
      Eclipse Public License 1.0
      •0•0•0•1•Updated Feb 23, 2018Feb 23, 2018