Updated formal check environment for fifo_c
Changed fifo_c to use same memory array as fifo_s.

Updated behave2p_mem to support a registered/unregistered read
parameter.
Added multiple stages of interal registering for sd_crossbar
lint clean-up for Cavium flow
Updated sd2vc and vc2sd to use wake-up protocol.

Also updated vc2sd to use external FIFO (expected sd_fifo_c) instead
of internal version.