Logic design with pascal : computer-aided design techniques. - Downs, Thomas; Schulz, Mark F.