No, it's more like 150mm per year from the DoD. the 1.8B number makes sense if you are talking about a decade worth of funding. They also get some funding from private industry.

Seems like not many people from the FFRDC community read or post on HN.

https://ncsesdata.nsf.gov/datatables/ffrdcrd/2016/html/FFRDC...