info.yaml

---
# information
project:
  title: "Parallax"
  description: "Scrolling procedural background using several LFSRs. VGA 640x480@70hz"
  picture: docs/Parallax.png
  author: "Renldas Zioma"
  license: LICENSE

# optional interfaces you want to use: gpio, la1, la2, la3, irq, clk2 & wishbone
interfaces: ['la1', 'gpio']

# test within caravel
caravel_test:
  recipe: "all"
  directory: "caravel_test"
  id: 9
  module_name: "wrapped_parallax"
  instance_name: "wrapped_parallax"

# module test
module_test:
  recipe: "test"
  directory: "zero-to-asic/Parallax"
  makefile: "Makefile"

# run the wrapper formal proof
wrapper_proof:
  directory: "."
  sby: "properties.sby"

# openlane config, used in case I need to re-harden
openlane:
  config: "config.tcl"

# source required for various configs and module instantiation
source:
    - wrapper.v
    - zero-to-asic/Parallax/Parallax.v
    - zero-to-asic/Parallax/VgaSyncGen.v

# gds - check size = 300x300, nothing on metal 5, do a DRC, check 141 tristate buffers, check LVS
gds:
  directory: "gds"
  gds_filename: "wrapped_parallax.gds"
  lvs_filename: "wrapped_parallax.lvs.powered.v"
  lef_filename: "wrapped_parallax.lef"