- analysis and modeling of digital systems