I wish there was a way to formally verify, that the gateware design I put in the middle of a laser control feedback loop was correct. But at the moment we don't even know, if our model of the physics of that particular modelocking that's to be controlled, is not wrong.
-
-
-
Heck, I can't even "simulate" the laser and the DACs and ADCs attached in Verilator (requires a couple of GFLOP just to simulate one ns of laser behavior).
End of conversation
New conversation -
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.