Designing a high complexity microprocessor using the Alliance CAD system | IEEE Conference Publication | IEEE Xplore