Low-Power Verification at Gate Level for Zen Microprocessor Core Author(s): Baosheng Wang, Keerthi Mullangi, Raluca Stan, and Diana Irimia Download