I am working on verifying the stream crossbar using formal verification. There is too much confusion regarding the stream_xbar.sv file. Is there any proper documentation available for the stream_xbar.sv file?
Hi @hayat10x, unfortunately, we do not have any documentation beyond the comments in the source code. Feel free to open an issue if you have any specific questions.
I am working on verifying the stream crossbar using formal verification. There is too much confusion regarding the stream_xbar.sv file. Is there any proper documentation available for the stream_xbar.sv file?