Integer linear programming-based synthesis of skewed logic circuits
Trace-driven rapid pipeline architecture evaluation scheme for ASIP design