As a federal employee, I also get that 1% times high-3.
There are a couple of caveats not yet mentioned, though. While I only pay a meager 0.8% in exchange for this benefit, all feds hired after 2014 pay 4.4% Even that sounds like it might be a good deal, until you realize how depressed federal salaries are compared to equivalent private sector jobs, in which case it suddenly looks like I'm paying closer to 25% of my salary for this benefit.
But the biggest problem with my pension, and a concern for any early retiree, is the inflation adjustments. My pension pays out 1% of my high-3 salary starting at age 62, but the salary it is based on is the number of dollars I earned when I last worked. If I retire at age 42 and then collect at age 62, I will have 20 years of inflation eating away at that pension. That typically reduces it's value by at least half, which means in terms of equivalent purchasing power I'm really getting closer to half a percent per year of service.
The military pension is a much better deal, as it pays out age 62 based on the then-current pay grade of your highest rank. As the rank's pay scale is inflated every year (by more than the civilian wage inflation, I might add) you never lose purchasing power no matter how much time elapses between leaving the military and collecting your pension. They are equivalent if you retire at age 62, but unlike the military the federal civilian pension penalizes the early retiree.