uvm 形式验证_UVM中Register的验证方法-Access

前面两篇文章介绍了ral_model的生成，今天介绍一下如何使用ral_model访问register。

对于register的访问，无外乎读写，但是由于ral

model的存在，register的操作会灵活一些，比如，uvm提供了多种register的操作，set/get,

write/read, poke/peek,

update，以及backdoor的操作，field的操作等。​在UVM中这些操作都对user开放，用法相对灵活，同时，如果user乱用，也会造成Testbench的杂乱，根据多年的经验，对些用法及应用场景总结如下：

1)

除非必须，最好不要用backdoor。backdoor的做法其实是反常规，在真实的IC上不会这样用，由于它不存在timing的消耗，在真实的IC上，无论如何也做不到无timing消耗，就能完成register操作。建议，user只能在checker中，想直接拿到某一个register的值，又不想用hierarchy的方式，可以少量使用该方法。除此之外，最好不要用。

2)如果只对某一个register中的某一个或者某几个field操作，可以使用field，会省点事。对于software在真实IC上的用法，通常会把整个register值读出来，然后再更改对应field的值，最后把更改后的值写入整个register中，达到只更改部分field的目的。由于ral

model中有mirror的概念，可以省去读register的操作，就能很方便拿到r