Sign inSign up

efabless/dv_setup

By efabless

•Updated over 5 years ago

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

Image
0

10K+

efabless/dv_setup repository overview

⁠dockerized-verification-setup

This is a dockerized tool chain for running verilog DV customized for the sky130A-based projects with rv32i toolchain.

⁠How To Build Locally?

Run the following command:

sh build-docker.sh

⁠How To download?

Run the following command:

docker pull efabless/dv_setup:latest

⁠How to Run?

Run the follwing commands:

export PDK_PATH= <The full pdk path, i.e.: /home/aag/test_pdk/sky130A or based on the preference>
export TARGET_PATH= <The target project path>
docker run -it -v $TARGET_PATH:$TARGET_PATH -v $PDK_PATH:$PDK_PATH -e TARGET_PATH=$TARGET_PATH -e PDK_PATH=$PDK_PATH  -u $(id -u $USER):$(id -g $USER) efabless/dv_setup:latest

Tag summary

Content type

Image

Digest

Size

4.6 GB

Last updated

over 5 years ago

docker pull efabless/dv_setup