Write a constraint for polindrome (say 32 bit)?

SystemVerilog
,
3

In reply to nikhilverif:

Now that you’ve given the interview/homework problem away, here’s the simple version:

constraint palindrome { dummy2 == {<<{dummy2}}; }

Ref: 11.4.14.2 Re-ordering of the generic stream

2 Likes