You just read:

Mentor Graphics Announces New Chief Human Resources Officer

News provided by

Mentor Graphics

Apr 17, 2015, 05:30 ET