Pinned Repositories
alliance
Alliance VLSI CAD Tools (LIP6)
alliance-check-toolkit
Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)
coriolis
Coriolis VLSI EDA Tool (LIP6)
cosy
ITS-CTL
CTL symbolic model-checker based on libDDD and libITS
ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
libDDD
Library for Data Decision Diagrams and Set Decision Diagrams
libITS
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
painless
A framework to ease parallelization of sequential SAT solvers
pnmlframework
This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)
LIP6, Sorbonne Université's Repositories
lip6/coriolis
Coriolis VLSI EDA Tool (LIP6)
lip6/ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
lip6/painless
A framework to ease parallelization of sequential SAT solvers
lip6/libDDD
Library for Data Decision Diagrams and Set Decision Diagrams
lip6/alliance
Alliance VLSI CAD Tools (LIP6)
lip6/alliance-check-toolkit
Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)
lip6/pnmlframework
This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)
lip6/libITS
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
lip6/ITS-CTL
CTL symbolic model-checker based on libDDD and libITS
lip6/cosy
lip6/tas-yagle
Static Timing Analyser (LIP6)
lip6/Coloane
Maintained components of Coloane editor.
lip6/ITS-LTL
ITS tools and SPOT combine to provide symbolic model-checking of LTL
lip6/Louvain-BinaryBuild
A project to host binary artifacts for Louvain Community Detection Algorithm
lip6/pnml2nupn
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.
lip6/ITS-commandline
A project to host command-line version of ITS-Tools components embedded in eclipse
lip6/TSAR-DHCCP
Verification of the Distributed Hybrid Cache Coherence protocol of the TeraScale Architecture
lip6/camipnml
Cami to PNML is a model transformation tool that converts CPN-AMI's CAMI format into PNML (Petri Nets Markup Language) and vice versa.
lip6/ESBP_SEL
lip6/Evinrude
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.
lip6/ITSTools-web
Web page and online docs for ITS Tools
lip6/c4m-ihpsg13g2-pdk
Port of Chip4Makers IHP SG13S2 PDK
lip6/core-v-180-mcu
CORE-V Implementation on GF 180 MCU node
lip6/GreatSPN-BinaryBuild
A project to host binary builds of GreatSPN related toolset, as used in ITS-tools
lip6/IHP-Open-PDK
130nm BiCMOS Open Source PDK, dedicated for Analog, Mixed Signal and RF Design
lip6/IHP_SG13G2_TO_Nov2024
IHP Open source SG13G2 Tape Out on November 2024
lip6/minisat-SymSp