Circuit optimization for digital circuits.  John Peter Stevenson, Stanford.
                                                                           
LargeRegFile is a matrix representing an optimization problem.             
Specifically, it is a geometric program, a kind of convex optimization     
problem.  The matrix entries are the exponents found in the geometric      
program constraints; specifically, this matrix is a portion of the         
input required by mskexpopt:                                               
http://docs.mosek.com/6.0/capi/node008.html                                
                                                                           
This matrix represents a digital circuit.  The circuit is a large          
register file: 256 registers, 64 bits each, 2 read ports, 1 write port.    
The optimization problem is to minimize circuit delay, subject to          
constraints on energy cost and area cost. The optimization variables       
are the transistor size, the supply voltage, and the threshold voltage.    
The circuit optimization method is described by Patil, et. al.: Robust     
energy-efficient adder topologies. In ARITH07: Proceedings of the 18th     
IEEE Symposium on Computer Arithmetic, pages 16-28, Washington, DC,        
USA, 2007. IEEE Computer Society.