checking package dependencies compiling TestSyn.bs code generation for mkStack starts Verilog file created: mkStack.v All packages are up to date.