Title: A PASCAL based hardware and software description system