Digital system design automation : languages, simulation & data base