system-level modeling of programmable packet
processing systems