Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Computer architecture. Operating systems --- 681.3*B52 --- 681.3*B63 --- 681.3*B72 --- 681.3*D11 --- 681.3*D31 --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; verification (Register-transfer-level implementation) --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Design aids: graphics; layout; placement and routing; simulation; verification (Integrated circuits) --- Applicative (functional) programming --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D11 Applicative (functional) programming --- 681.3*B72 Design aids: graphics; layout; placement and routing; simulation; verification (Integrated circuits) --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- 681.3*B52 Design aids: automatic synthesis; hardware description languages; optimization; simulation; verification (Register-transfer-level implementation) --- Electronics. --- Logic design. --- Computer science. --- Electronics and Microelectronics, Instrumentation. --- Logic Design. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Programming Techniques. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Electrical engineering --- Physical sciences --- Digital integrated circuits --- Stream (computer hardware description language)