SMS versenden: Syntéza a analýza obvodových blokov v jazyku Verilog