Use resource reservation to prevent over-committing static shared resources when scheduling.
You configured licenses for the Verilog application as a resource called verilog_lic. To submit a job to run on a host when there is a license available:
bsub -R "select[defined(verilog_lic)] rusage[verilog_lic=1]" myjob
If the job can be placed, the license it uses are reserved until the job completes.