read -formal ../top.v
read -incdir ../include_dir