Testable data path synthesis with integer linear programming allocation - Harmanani, H.M. (1991)
N/A