Verification #41 · 2026-11-03 · rand_mode · Easy · about 10 min

The pinned address that pins everything

bus_txn in pinned.sv is a transaction that can hold its address fixed while the rest is randomized:

• After pin_addr(a), every randomize() leaves addr at a and still randomizes data and size (which stays in 0 to 3).
• After unpin_addr(), addr is randomized again.

With addr pinned, data is the same on every call. Fix pinned.sv.

Write and run your answer in the browser. The hidden tests check it, and it’s free.