Describir: Návrh a analýza procedúr založených na využití grafov pre digitálne systémy