7 citations · 13 across the 4 of their papers we have counts for
1 paper · 1 filter
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…