modeling of digital processors 290763