Computer logic design