Publisher's Synopsis
These volumes contains the proceedings of the Euromicro 2000 Conference. Topics covered include: system design; design validation using formal methods; DFT and testing; FPGA-based processors; high-speed processing; multimedia system architecture; database and digital libraries; and more.