/chip_design/
../
chip_design.z3