freechipsproject/ip-contributions

packet tracker from chiseltest.formal

Opened this issue · 1 comments

schoeberl commented

Should we use the MagicPacketTracker from the formal library and drop it from the FIFO test?

ekiwi commented

We should do that once ip-contributions depends on version 0.6.x of chiseltest. The old 0.5.x version does not have this VIP.