search

freechipsproject / ip-contributions

For contributions of Chisel IP to the chisel community.
55 stars 9 forks source link

packet tracker from chiseltest.formal #25

Open schoeberl opened 2 years ago

schoeberl commented 2 years ago

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

ekiwi commented 1 year ago

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.