Software for Digital Integrated Circuit Design