Title: From HDL descriptions to guaranteed correct circuit designs
Subjects: Circuits, Congresses, Design and construction, Electronic circuit design, Electronic digital computers, Electric circuits