Proceedings of 1993 International Conference on Computer Aided Design (ICCAD)