Describir: Návrh a verifikácia E1 frameru/deframeru