Top-down modeling of RISC processors in VHDL | IEEE Conference Publication | IEEE Xplore