IEEE Transactions on Computer-Aided Design Donald O. Pederson