Found some other big bugs, for example the divide instruction wasn't waiting for the multiply instruction to complete before issue. (Why would any one follow a multiply immediately with a divide?--wasn't in my test bench) I added these to the list in http://zipcpu.com/blog/2018/04/02/formal-cpu-bugs.html …
-
This Tweet is unavailable.
-
Thanks. I’m clearly going to have to get my head around this properly and try it myself. Is http://www.clifford.at/papers/2017/smtbmc-sby/slides.pdf … a good place to start?
I like to think so. It has some nice examples that should help get you started.
-
-
There's also a variety of articles on http://zipcpu.com discussing FV, starting from an introduction, and then moving to properties of a WB bus, a simple prefetch, a more complex prefetch, and an exercise illustrating how induction does (or doesn't) work.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.