This is a dockerized tool chain for running verilog DV customized for the sky130A-based projects. - View it on GitHub