VERA Concurrency Control

	Example : fork join
	Simulation : fork join

	Example : shadow variable
	Simulation : shadow variable

	Example : wait_var
	Simulation : wait_var

	sync()
	Trigger

	Example : semaphore
	Simulation : semaphore

	Example : regions
	Simulation : regions

	Example : mailbox
	Simulation : mailbox

	Example : timeout
	Simulation : timeout

Do you have any Comment? mail me at:deepak@asic-world.com