Major Microprocessors: A Unified Approach Using CALM