Borrione, Dominique From HDL descriptions to guaranteed correct circuit designs. / Borrione, Dominique Dewey Class. No.: 621.38153 F92