tools.yml

# Authors:
#   Lucas Teske
#     <lucas@teske.net.br>
#   Sebastian Birke
#     <git@se-bi.de>
#   Staf Verhaegen
#     <staf@stafverhaegen.be>
#   Tim Ansell
#     <me@mith.ro>
#   Torsten Meissner
#   Unai Martinez-Corral
#     <umartinezcorral@antmicro.com>
#     <unai.martinezcorral@ehu.eus>
#
# Copyright Unai Martinez-Corral
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#
# SPDX-License-Identifier: Apache-2.0

#---

apicula:
  src: true
  pkg:
    - 'apicula'
  use:
    - 'apicula'

#---

arachne-pnr:
  src: true
  pkg:
    - 'arachne-pnr'
  use:
    - 'arachne-pnr'

#---

boolector:
  src: true
  pkg:
    - 'boolector'
  in:
    - 'formal'
    - 'formal/all'

#---

cocotb:
  src: true
  in:
    - 'sim/osvb'
    - 'sim/scipy'
    - 'sim/octave'

#---

cvc:
  src: true
  pkg:
    - 'cvc'
  in:
    - 'formal'
    - 'formal/all'

#---

ghdl:
  src: true
  pkg:
    - 'ghdl'
    - 'ghdl/llvm'
  use:
    - 'ghdl'
    - 'ghdl/llvm'
  in:
    - 'sim'
    - 'sim/osvb'
    - 'sim/scipy-slim'
    - 'sim/scipy'
    - 'sim/octave-slim'
    - 'sim/octave'
    - 'impl'
    - 'formal/min'
    - 'formal'
    - 'formal/all'
  otherin: ['ghdl/yosys']

#---

ghdl-yosys-plugin:
  src: true
  pkg:
    - 'ghdl-yosys-plugin'
  use:
    - 'ghdl/yosys'
  in:
    - 'impl'
    - 'formal/min'
    - 'formal'
    - 'formal/all'

#---

graphviz:
  src: false
  in:
    - 'impl'
    - 'formal/min'
    - 'formal'
    - 'formal/all'
  otherin:
    - 'yosys'
    - 'ghdl/yosys'

#---

gtkwave:
  src: true
  pkg:
    - 'gtkwave'
  use:
    - 'gtkwave'

#---

icestorm:
  src: true
  pkg:
    - 'icestorm'
  use:
    - 'icestorm'
  in:
    - 'impl/icestorm'
    - 'impl'
    - 'prog'
  otherin:
    - 'nextpnr/icestorm'

#---

irsim:
  src: true
  pkg:
    - 'irsim'
  use:
    - 'irsim'
  otherin:
    - 'magic/irsim'

#---

iverilog:
  src: true
  pkg:
    - 'iverilog'
  use:
    - 'iverilog'
  in:
    - 'sim'
    - 'sim/osvb'
    - 'sim/scipy-slim'
    - 'sim/scipy'
    - 'sim/octave-slim'
    - 'sim/octave'

#---

klayout:
  src: true
  pkg:
    - 'klayout'
  use:
    - 'klayout'
#---

magic:
  src: true
  pkg:
    - 'magic'
  use:
    - 'magic'
    - 'magic/irsim'

#---

netgen:
  src: true
  pkg:
    - 'netgen'
  use:
    - 'netgen'

#---

nextpnr:
  src: true
  pkg:
    - 'nextpnr/generic'
    - 'nextpnr/ice40'
    - 'nextpnr/nexus'
    - 'nextpnr/ecp5'
  use:
    - 'nextpnr/generic'
    - 'nextpnr/ice40'
    - 'nextpnr/nexus'
    - 'nextpnr/ecp5'
    - 'nextpnr/icestorm'
    - 'nextpnr/prjoxide'
    - 'nextpnr/prjtrellis'
    - 'nextpnr'
  in:
    - 'impl'

#---

nvc:
  src: true
  pkg:
    - 'nvc'
  use:
    - 'nvc'
  in:
    - 'sim'
    - 'sim/osvb'
    - 'sim/scipy-slim'
    - 'sim/scipy'
    - 'sim/octave-slim'
    - 'sim/octave'

#---

openfpgaloader:
  src: true
  pkg:
    - 'openfpgaloader'
  use:
    - 'openfpgaloader'

#---

openocd:
  src: false
  in:
    - 'prog'

#---

openroad:
  src: true
  pkg:
    - 'openroad'
    - 'openroad/gui'
  use:
    - 'openroad'
    - 'openroad/gui'

#---

pono:
  src: true
  pkg:
    - 'pono'
  in:
    - 'formal'
    - 'formal/all'

#---

prjoxide:
  src: true
  pkg:
    - 'prjoxide'
  use:
    - 'prjoxide'
  in:
    - 'impl/prjoxide'
    - 'impl'
  otherin:
    - 'nextpnr/prjoxide'

#---

prjtrellis:
  src: true
  pkg:
    - 'prjtrellis'
  use:
    - 'prjtrellis'
  in:
    - 'impl/prjtrellis'
    - 'impl'
  otherin:
    - 'nextpnr/prjtrellis'

#---

superprove:
  src: true
  pkg:
    - 'superprove'
  in:
    - 'formal/all'

#---

sby:
  src: true
  pkg:
    - 'sby'
  in:
    - 'formal/min'
    - 'formal'
    - 'formal/all'

#---

verible:
  src: true
  pkg:
    - 'verible'
  use:
    - 'verible'

#---

verilator:
  src: true
  pkg:
    - 'verilator'
  use:
    - 'verilator'
  in:
    - 'sim'
    - 'sim/osvb'
    - 'sim/scipy-slim'
    - 'sim/scipy'
    - 'sim/octave-slim'
    - 'sim/octave'

#---

vtr:
  src: true
  pkg:
    - 'vtr'
  use:
    - 'vtr'

#---

vunit:
  src: true
  in:
    - 'sim/osvb'
    - 'sim/scipy'
    - 'sim/octave'

#---

yices2:
  src: true
  pkg:
    - 'yices2'
  in:
    - 'formal'
    - 'formal/all'

#---

xschem:
  src: true
  pkg:
    - 'xschem'
  use:
    - 'xschem'

#---

xyce:
  src: true
  pkg:
    - 'xyce'
  use:
    - 'xyce'

#---

yosys:
  src: true
  pkg:
    - 'yosys'
  use:
    - 'yosys'
  in:
    - 'impl'
    - 'formal/min'
    - 'formal'
    - 'formal/all'
  otherin:
    - 'ghdl/yosys'

#---

z3:
  src: true
  pkg:
    - 'z3'
  in:
    - 'formal/min'
    - 'formal'
    - 'formal/all'