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).
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.