Design techniques for logic systems; emphasis on higher-level CAD tools such as hardware description languages and functional modeling.