Domanda di colloquio di AMD

System verilog constraint and assertion