Design, synthesis, testing and verification of digital systems

VLSI system design

Computer-aided design of digital systems

Computer arithmetic

Image and data compression