SYSTEM-LEVEL MODELING OF PROGRAMMABLE PACKET PROCESSING SYSTEMS