Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Computer architecture --- Ordinateurs --- Architecture --- 681.3*B12 --- 681.3*B22 --- 681.3*B63 --- 681.3*C10 --- Control structure performance analysis and design aids: automatic synthesis; formal models; simulation --- Performance analysis and design aids: simulation; verification; worst-case analysis (Arithmetic and logic structures) --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Computerwetenschap--?*C10 --- Theses --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- 681.3*B22 Performance analysis and design aids: simulation; verification; worst-case analysis (Arithmetic and logic structures) --- 681.3*B12 Control structure performance analysis and design aids: automatic synthesis; formal models; simulation