In which case task abc_2 will execute semaphore sem = new(2); task abc_1(); sem.get(2) // DO sem.put(1) endtask task abc_2(); sem.get(1) // DO sem.put(1) endtask CASE 1: initial fork abc_1(); abc_1(); abc_1(); abc_2(); join CASE 2: initial begin abc_1(); abc_1(); abc_1(); abc_2(); end

SystemVerilog guarantees that abc_2 will not execute in CASE 2 because there is a defined execution ordering of statements within a begin/end block, and it will get stuck during the second call to abc_1. However, there is no defined execution ordering of statements within a fork/join block. You mig…

IMPORTANT NOTICE: Please be advised that the Verification Academy Forums will be offline for scheduled maintenance on Sunday, November 9th at 1:00 AM US/Pacific.

Verification Academy

Semaphores with multiple keys

SystemVerilog

ayush_jain August 2, 2014, 7:38pm 3

In reply to dave_59:

Thanks…I understood…