Analog performance space exploration by Fourier-Motzkin elimination with application to hierarchical sizing.