Sollicitatievraag bij AMD

System verilog constraint and assertion