It looks like you're looking for a guide on how to download a specific file:
Veripool.org content Copyright 2025 by Wilson Snyder. Visit Veripool for open-sourced Verilog and EDA software.