You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
They will to have papers, more likely they will reuse yosys, or in this case maybe just focus on chisel generated verilog. Phd Students can not graduate just with infrastructure, they will be forced to do something beyond this.
DARPA is funding the implementation of the proposed work. The proposed work in this case seems to be re-implementing functionality that's already there in Yosys. (Yosys has RTLIL, they implement their CoreIR, Yosys has write_smt2 and yosys-smtbmc, they create their CoSA, etc.)
It may very well be that the student working on that has to do something beyond that to graduate. (That may or may not be part of DARPA funding. We don't know.) But that doesn't explain why DARPA is giving money to those unis to just re-implement existing Yosys functionality.
If the focus is actually new research then I see no reason why they can't do that ontop of the existing infrastructure that we already provide. (Except that they probably can't charge DARPA 6 Mio USD if they can't claim they have to build everything from scratch.)
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
