7 citations · 13 across the 4 of their papers we have counts for
1 paper · 2 filters
Bernard van Gastel, Julien Schmaltz
Communication fabrics play a key role in the correctness and performance of modern multi-core processors and systems-on-chip. To enable formal verification, a recent trend is to us…