# packages

pkgId: 6f1c7f3a24bd282544350c66d557c93304343014c5d2dc327b987574bd6c5080
name: alliance
arch: src
version: 5.0
epoch: 0
release: 111.3
summary: VLSI EDA System
url: http://coriolis.lip6.fr/
rpm_license: GPL-2.0-only
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: i03-ch1d
location_href: src/alliance-5.0-111.3.src.rpm
checksum_type: sha256
description:
  Alliance is a complete set of free CAD tools and portable libraries for
  VLSI design. It includes a VHDL compiler and simulator, logic synthesis
  tools, and automatic place and route tools.

  A complete set of portable CMOS libraries is provided, including a RAM
  generator, a ROM generator and a data-path compiler.

  Alliance is the result of more than ten years effort spent at ASIM department
  of LIP6 laboratory of the Pierre et Marie Curie University (Paris VI, France).

  Alliance has been used for research projects such as the 875 000 transistors
  StaCS superscalar microprocessor and 400 000 transistors IEEE Gigabit HSL
  Router.

  You are kindly requested to mention
  " Designed with alliance (c) LIP6, Sorbonne Université"
  so as to spread the word about "alliance CAD system" and its development team.

  Alliance provides CAD tools covering most of all the digital design flow:

   * VHDL Compilation and Simulation
   * Model checking and formal proof
   * RTL and Logic synthesis
   * Data-Path compilation
   * Macro-cells generation
   * Place and route
   * Layout edition
   * Netlist extraction and verification
   * Design rules checking


pkgId: f7d1c6a6a75b5d65ee80ee79152c88bae692a77f9ab29ea9d90d80fd32e2fdc1
name: bison
arch: src
version: 3.7.4
epoch: 0
release: 9.1
summary: A GNU general-purpose parser generator
url: http://www.gnu.org/software/bison/
rpm_license: GPLv3+
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i03-ch2b
location_href: src/bison-3.7.4-9.1.src.rpm
checksum_type: sha256
description:
  Bison is a general purpose parser generator that converts a grammar
  description for an LALR(1) context-free grammar into a C program to
  parse that grammar. Bison can be used to develop a wide range of
  language parsers, from ones used in simple desk calculators to complex
  programming languages. Bison is upwardly compatible with Yacc, so any
  correctly written Yacc grammar should work with Bison without any
  changes. If you know Yacc, you shouldn't have any trouble using
  Bison. You do need to be very proficient in C programming to be able
  to use Bison. Bison is only needed on systems that are used for
  development.

  If your system will be used for C development, you should install
  Bison.


pkgId: 08a44ea47d47afa1083e5ff83bae1df1d51631e2a6ad0f27401534c863f31c62
name: blt
arch: src
version: 2.4
epoch: 0
release: 83.1
summary: Widget extension to the Tcl/Tk scripting language
url: http://sourceforge.net/projects/blt/
rpm_license: MIT
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i03-ch1c
location_href: src/blt-2.4-83.1.src.rpm
checksum_type: sha256
description:
  BLT is a very powerful extension to Tk. It adds plotting widgets
  (graph, barchart and stripchart), hierarchy tree and table, tab
  notebook, table geometry manager, vector, background program
  execution, busy utility, eps canvas item, drag and drop facility,
  bitmap command and miscellaneous commands.
  Note: this version is stubs enabled and therefore should be compatible
  with Tcl/Tk versions after and including 8.3.1.


pkgId: b399a4b1d98d10c5487714c24acfc41a61c2f924b39bf718a5f246364d18eb71
name: coriolis-eda
arch: src
version: 2.5.5
epoch: 0
release: 193.2.f4c1b74de
summary: Coriolis 2 EDA toolchain
url: https://coriolis.lip6.fr/
rpm_license: BSD-1-Clause AND LGPL-2.0-only AND GPL-2.0-only AND Apache-1.0
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: i02-ch2a
rpm_packager: Mazher Iqbal <mazher@lip6.fr>
location_href: src/coriolis-eda-2.5.5-193.2.f4c1b74de.src.rpm
checksum_type: sha256
description:
  A FOSS EDA tool suite for physical design. Provides an integrated
  place & route for ASICs. Support symbolic layout (Alliance) and
  real layout (GDS). While mainly written in C++, it has an extensive
  Python interface.


pkgId: d826287a84684535f1c490cc08b75c2d1fd8ecde71dffaaed7d2226e0c4ce0b6
name: coriolis-pdk-gf180mcu
arch: src
version: 2025.07.21
epoch: 0
release: 4.12.bfa7190
summary: Global Foundries 180 MCU open PDK
url: https://github.com/google/gf180mcu-pdk.git
rpm_license: Apache-2.0
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: h02-ch2d
location_href: src/coriolis-pdk-gf180mcu-2025.07.21-4.12.bfa7190.src.rpm
checksum_type: sha256
description:
  The GF180MCU  open source PDK  is a collaboration between  Google and
  GlobalFoundries to  provide a  fully open  source process  design kit
  (PDK)  and  related  resources  to enable  the  creation  of  designs
  manufacturable at GlobalFoundries's facility  on their 0.18um 3.3V/6V
  MCU process technology.

  The GF180MCU documentation can be found at <https://gf180mcu-pdk.rtfd.io>.


pkgId: 848c5dc0dccfadea9495624f250803276b9b33c24dc69f44b726bc5575772967
name: coriolis-pdk-ihpsg13g2
arch: src
version: 2024.10.15
epoch: 0
release: 27.10.bfa7190
summary: IHP Open PDK SG13G2
url: https://github.com/IHP-GmbH/IHP-Open-PDK
rpm_license: Apache-2.0
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: h02-ch1d
location_href: src/coriolis-pdk-ihpsg13g2-2024.10.15-27.10.bfa7190.src.rpm
checksum_type: sha256
description:
  130nm  BiCMOS Open  Source PDK,  dedicated for  Analog/Digital, Mixed
  Signal and RF Design

  IHP Open  Source PDK project  goal is to  provide a fully  open source
  Process  Design Kit  and related  data, which  can be  used to  create
  manufacturable  designs at  IHP’s facility.   As of  March 2023,  this
  repository is targeting the SG13G2 process node


pkgId: aef9375cbbf225694566c1eca08e981356610b9fb869a535c07b6714ba0f95a2
name: itcl
arch: src
version: 4.1.1
epoch: 0
release: 5.1
summary: Object oriented extensions to Tcl and Tk
url: http://incrtcl.sourceforge.net/itcl/
rpm_license: TCL
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i04-ch1c
location_href: src/itcl-4.1.1-5.1.src.rpm
checksum_type: sha256
description:
  [incr Tcl] is Tcl extension that provides object-oriented features that are
  missing from the Tcl language.


pkgId: e488c97876ffec8df60f724858306b65b88db4078f8e26c15dbf471d3f8d13a8
name: magic
arch: src
version: 8.3.588
epoch: 0
release: 49.3
summary: A very capable VLSI layout tool
url: http://opencircuitdesign.com/magic/index.html
rpm_license: MIT
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i03-ch2d
location_href: src/magic-8.3.588-49.3.src.rpm
checksum_type: sha256
description:
  Magic is a venerable VLSI layout tool. Magic VLSI remains
  popular with universities and small companies.

  Magic is widely cited as being the easiest tool to use for
  circuit layout, even for people who ultimately rely on commercial
  tools for their product design flow.


pkgId: 22d706fe1d1e2713562ff75199057dfc0a9c2d6dadb54c6445ce62638cd18a7f
name: ngspice
arch: src
version: 44.2
epoch: 0
release: 1.26
summary: Mixed-level, Mixed-signal Circuit Simulator Based on spice3f5
url: https://ngspice.sourceforge.io
rpm_license: BSD-2-Clause
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Productivity/Scientific/Electronics
rpm_buildhost: i02-ch1d
location_href: src/ngspice-44.2-1.26.src.rpm
checksum_type: sha256
description:
  Ngspice is a mixed-level/mixed-signal circuit simulator. Its code
  is based on three open source software packages: Spice3f5, Cider1b1
  and Xspice.


pkgId: 9e0300b9b7809f075bbfad3b3ac77ba9e003be3129aa8de3b3b065054cbe3886
name: openvaf
arch: src
version: 23.5.0
epoch: 0
release: 5.10
summary: OpenVAF is a Next-Generation Verilog-A compiler
url: https://openvaf.semimod.de/
rpm_license: GPL-3.0-only
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: i03-ch2d
location_href: src/openvaf-23.5.0-5.10.src.rpm
checksum_type: sha256
description:
  Circuit simulators play a critical role in the design of electrical circuits.
  Accurate simulations enable circuit designers to validate circuit behavior
  before actual fabrication happens, potentially saving significant re-design
  costs.  The simulation of a circuit critically depends on the so-called compact
  models and therefore:
  * The accuracy of the compact-model equations
  * The quality of the model parameters


pkgId: 235c8e3699e9979b78f58b628f1eb86ab37009f4f21748e5123905bece056258
name: sv2v
arch: src
version: 0.0.12
epoch: 0
release: 1.26
summary: sv2v - SystemVerilog to Verilog
url: https://github.com/zachjs/sv2v/
rpm_license: BSD-3-Clause
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: i04-ch1d
location_href: src/sv2v-0.0.12-1.26.src.rpm
checksum_type: sha256
description:
  sv2v converts SystemVerilog (IEEE 1800-2017) to Verilog (IEEE 1364-2005),
  with an emphasis on supporting synthesizable language constructs.
    The primary goal of this project is to create a completely free and
  open-source tool for converting SystemVerilog to Verilog. While methods
  for performing this conversion already exist, they generally either rely
  on commercial tools, or are limited in scope.
    This project was originally developed to target Yosys, and so allows for
  disabling the conversion of (passing through) those SystemVerilog features
  that Yosys supports.


pkgId: 10be32954cc161d5fc7ccc2acb8d06bdf00bc2e022230d6574d4beb25934c4b2
name: tas-yagle
arch: src
version: 3.4.6
epoch: 0
release: 169.2.fa4d642
summary: Tas/Yagle - Static Timing Analyser
url: https://coriolis.lip6.fr/
rpm_license: GPL-2.0-only
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: i04-ch2b
location_href: src/tas-yagle-3.4.6-169.2.fa4d642.src.rpm
checksum_type: sha256
description:
  STATIC TIMING ANALYSIS
    The  advent   of  semiconductor  fabrication  technologies   now  allows  high
  performance in complex integrated circuits.
    With the increasing complexity of these circuits, static timing analysis (STA)
  has  revealed  itself  as  the  only  feasible  method  ensuring  that  expected
  performances are actually obtained.
    In addition, signal integrity (SI) issues due to crosstalk play a crucial role
  in performance and reliability of these  systems, and must be taken into account
  during the timing analysis.
    However, performance  achievement not  only lies in  fabrication technologies,
  but also  in the way circuits  are designed.  Very high  performance designs are
  obtained with semi or full-custom designs techniques.
    The HITAS platform provides advanced STA and SI solutions at transistor level.
  It has been  built-up in order to allow engineers to  ensure complete timing and
  SI coverage on their digital custom  designs, as well as IP-reuse through timing
  abstraction.
    Furthermore,  hierarchy  handling  through  transparent  timing  views  allows
  full-chip verification, with virtually no limit of capacity in design size.


pkgId: 74218958c24069d2291bf162d9063374ce2a752eb8e63843578fb63dad372408
name: temurin-8-jdk
arch: src
version: 8.0.472.0.0.8
epoch: 0
release: 10.12
summary: Eclipse Temurin 8 JDK
url: https://projects.eclipse.org/projects/adoptium
rpm_license: GPLv2 with exceptions
rpm_vendor: Eclipse Adoptium
rpm_group: java
rpm_buildhost: i04-ch4c
rpm_packager: Eclipse Adoptium Package Maintainers <temurin-dev@eclipse.org>
location_href: src/temurin-8-jdk-8.0.472.0.0.8-10.12.src.rpm
checksum_type: sha256
description:
  Eclipse Temurin JDK is an OpenJDK-based development environment to create
  applications and components using the programming language Java.


pkgId: 35ed2c5be2de78c5fa82974c2338eb32ee165f18980ca4ba10730925d359e35d
name: texlive-picinpar
arch: src
version: 2014
epoch: 0
release: 1.3
summary: Insert pictures into paragraphs.
rpm_license: GPL+
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: h02-ch2d
location_href: src/texlive-picinpar-2014-1.3.src.rpm
checksum_type: sha256
description:
  A legacy package for creating 'windows' in paragraphs, for
  inserting graphics, etc. (including "dropped capitals"). Users
  should note that Piet van Oostrum (in a published review of
  packages of this sort) does not recommend this package; Picins
  is recommended instead.

  CTAN Catalogue Date: 2012-06-13 09:18:45 +0200


pkgId: d4fca35d906d0889699505d396692ad2e0ac710cc410425e7f4b3fe250dfd509
name: yosys
arch: src
version: 0.46
epoch: 0
release: 21.10.e97731b9d
summary: Yosys open synthesis suite
url: https://yosyshq.net/yosys/
rpm_license: ISC
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: i03-ch1c
location_href: src/yosys-0.46-21.10.e97731b9d.src.rpm
checksum_type: sha256
description:
  This is a framework for RTL synthesis tools. It currently has
  extensive Verilog-2005 support and provides a basic set of
  synthesis algorithms for various application domains.

  Yosys can be adapted to perform any synthesis job by combining
  the existing passes (algorithms) using synthesis scripts and
  adding additional passes as needed by extending the yosys C++
  code base.

  Yosys is free software licensed under the ISC license (a GPL
  compatible license that is similar in terms to the MIT license
  or the 2-clause BSD license).


pkgId: d5cc471583fc6aeeaa318280e85b81dabae7a0db55b145b20ce28f878124829f
name: yosys-slang
arch: src
version: 2025.10.31.ba1859e
epoch: 0
release: 19.1
summary: SystemVerilog frontend for Yosys
url: https://github.com/povik/yosys-slang.git
rpm_license: ISC
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: i04-ch4d
location_href: src/yosys-slang-2025.10.31.ba1859e-19.1.src.rpm
checksum_type: sha256
description:
  yosys-slang is  a Yosys plugin  providing a new  command (read_slang)
  for loading SystemVerilog designs.
    yosys-slang  builds   on  top  of  the  slang  library  to  provide
  comprehensive   SystemVerilog  support.   The   plugin  supports   an
  (informally defined) synthesizable subset of SystemVerilog in version
  IEEE 1800-2017 or IEEE 1800-2023.


