UVM/UVM Tutorial for Candy Lovers/Register Access Methods - История изменений

ANA в 14:20, 15 ноября 2014

2014-11-15T14:20:28Z

ANA: /* Properties of uvm_reg_field */

2014-11-15T10:43:17Z

‎Properties of uvm_reg_field

ANA: /* Properties of uvm_reg_field */

2014-11-15T09:55:12Z

‎Properties of uvm_reg_field

ANA: /* Properties of uvm_reg_field */

2014-11-15T09:45:24Z

‎Properties of uvm_reg_field

ANA в 08:53, 15 ноября 2014

2014-11-15T08:53:52Z

Внесённые изменения

ANA: Новая страница: «{{UVM TOC}} The register abstraction layer (RAL) of UVM provides several methods to access registers. This post will explain how the register-access methods work…»

2014-10-25T19:10:52Z

Новая страница: «{{UVM TOC}} The register abstraction layer (RAL) of UVM provides several methods to access registers. This post will explain how the register-access methods work…»

Новая страница

{{UVM TOC}}

The register abstraction layer (RAL) of UVM provides several methods to access registers. This post will explain how the register-access methods work. In Register Abstraction, we introduced the overview of RAL and explained how to define registers. In this post, we will cover how to access the registers.

Регистр уровень абстракции (RAL) из УВМ предоставляет несколько методов для доступа к регистрам. Это сообщение будет объяснить, как методы регистров доступа работать. Регистрация Абстракция, мы ввели обзор RAL и объяснил, как определить регистры. В этой статье мы рассмотрим, как получить доступ к регистрам.

@@ Строка 60: / Строка 60: @@
 Если аргумент <code>has_reset</code> равен <code>1</code>, то значение аргумента  <code>reset</code> задаётся в как значение <code>"HARD"</code> сброса. Если же <code>has_reset</code> равень <code>0</code>, то значение аргумента <code>reset</code> игнорируется. Значение  <code>reset</code> должно совпадать с состоянием DUT. Если же необходимо изменить значение сброса после конфигурации, то можно использовать метод  <code>set_reset()</code>.
-<big><big><source lang="verilog">flavor.set_reset( .value( 0 ), .kind( "HARD" ) ); // kind == "HARD" by default</source></big></big>
+<big><big><source lang="verilog">
@@ Строка 116: / Строка 118: @@
-=== randomize() ===
+=== Метод randomize() ===
 The <code>randomize()</code> method is a SystemVerilog method. It randomizes the <code>value</code> property of a register-field object. After the randomization, the <code>post_randomize()</code> method copies the value of the <code>value</code> property to the <code>m_desired</code> property. Note that the <code>pre_randomize()</code> method copies the value of the <code>m_desired</code> to the <code>value</code> property if the <code>rand_mode</code> of the <code>value</code> property is <code>OFF</code>.
-assert( flavor.randomize() );
+<big><big><source lang="verilog">assert( flavor.randomize() );</source></big></big>
@@ Строка 130: / Строка 132: @@
-=== write() ===
+=== Метод write() ===
 The <code>write()</code> method actually writes a value to the DUT.
-<div>
+<big><big><source lang="verilog">
-{|
+uvm_status_e status;
-|-
-| <pre>uvm_status_e status;
-−
 flavor.write( .status( status ), .value( 1 ) );</pre>
-|}
+</source></big></big>
-</div>
 The <code>write()</code> method involves multiple steps.
@@ Строка 163: / Строка 161: @@
-=== read() ===
+=== Метод read() ===
 The read() method actually reads a register value from the DUT.
-<div>
+<big><big><source lang="verilog">
-{|
+uvm_status_e   status;
-|-
-| <pre>uvm_status_e   status;
 uvm_reg_data_t value;
-−
-flavor.read( .status( status ), .value( value ) );</pre>
+flavor.read( .status( status ), .value( value ) );
-|}
+</source></big></big>
-</div>
 Similarly to the <code>write()</code> method, the <code>read()</code> method involves multiple steps.
@@ Строка 199: / Строка 194: @@
-=== update() ===
+=== Метод update() ===
 The <code>update()</code> method actually writes a register value to the DUT. The <code>update()</code> method belongs to the <code>uvm_reg</code> class. The <code>uvm_reg_field</code> class does not have the <code>update()</code> method.
-<div>
+<big><big><source lang="verilog">
-{|
+uvm_status_e status;
-|-
-| <pre>uvm_status_e status;
-jb_recipe_reg.update( .status( status ) );</pre>
+jb_recipe_reg.update( .status( status ) );
-|}
+</source></big></big>
-</div>
 The differences between the <code>write()</code> method and the <code>update()</code> method are:
@@ Строка 227: / Строка 219: @@
 The <code>update()</code> method internally calls the <code>write( .value( m_desired ) )</code>. Because of this, the value of the <code>m_mirrored</code> will be updated as well, after the update.
-After the update() is executed
+{| align=center
-</div>
+!<html><img alt="After the update() is executed" src="http://cluelogic.com/wp-content/uploads/2013/01/jb16_after_update.png" width="800" /></html>
-=== mirror() ===
+=== Метод mirror() ===
 The <code>mirror()</code> method actually reads a register from the DUT.
-<div>
+<big><big><source lang="verilog">
-{|
+uvm_status_e status;
-|-
-| <pre>uvm_status_e status;
-flavor.mirror( .status( status ), .check( UVM_CHECK ) );</pre>
+flavor.mirror( .status( status ), .check( UVM_CHECK ) );
-|}
+</source></big></big>
-</div>
 The differences between the <code>read()</code> method and the <code>mirror()</code> method are:
@@ Строка 261: / Строка 252: @@
-=== predict() ===
+=== Метод predict() ===
 The <code>predict()</code> method updates the mirrored value.
-<div>
+<big><big><source lang="verilog">
-{|
+flavor.predict( .value( 1 ) );
-|-
+</source></big></big>
-| <pre>flavor.predict( .value( 1 ) );</pre>
-|}
-</div>
 The <code>predict()</code> method also updates the <code>value</code> and the <code>m_desired</code> properties.
@@ Строка 282: / Строка 270: @@
-=== Summary ===
+== Summary ==
 The table below summarizes how each method updates the properties of the register-field object.
@@ Строка 395: / Строка 383: @@
 |}
 </div>
 In this post, we only covered so-called front-door access. We will cover back-door access in a separate post. I hope this tutorial helped you to understand the register access methods.

@@ Строка 88: / Строка 88: @@
 The <code>set()</code> method sets the desired value of a register field. The <code>set()</code> method '''does not''' set the value to a register in the DUT. It only sets the value to the <code>m_desired</code> and the <code>value</code> properties of a register-field object. To actually set the value to the register in the DUT, use <code>write()</code> or <code>update()</code> method. These methods will be explained later.
-<div>
+<big><big><source lang="verilog">flavor.set( .value( 1 ) );</source></big></big>
-{|
-|-
-| <pre>flavor.set( .value( 1 ) );</pre>
-|}
@@ Строка 106: / Строка 102: @@
 The <code>get()</code> method gets the desired value of a register field. The <code>get()</code> method '''does not''' get the value from a register in the DUT. It only gets the value of the <code>m_desired</code> property. To actually get the value from the DUT, use <code>read()</code> or <code>mirror()</code> methods. These methods will be explained later. Similarly to the <code>get()</code> method, there are two more ''getters'' to access the local properties. The <code>get_reset()</code> retrieves the value of the <code>m_reset[kind]</code> property, while the <code>get_mirrored_value()</code> method retrieves the value of the <code>m_mirrored</code> property.
-{|
+<big><big><source lang="verilog">
-|-
+uvm_reg_data_t desired_value  = flavor.get();
-| <pre>uvm_reg_data_t desired_value  = flavor.get();
 uvm_reg_data_t reset_value    = flavor.get_reset( .kind( "HARD" ) ); // kind == "HARD" by default
-uvm_reg_data_t mirrored_value = flavor.get_mirrored_value();</pre>
+uvm_reg_data_t mirrored_value = flavor.get_mirrored_value();
-|}
+</source></big></big>
@@ Строка 125: / Строка 120: @@
 The <code>randomize()</code> method is a SystemVerilog method. It randomizes the <code>value</code> property of a register-field object. After the randomization, the <code>post_randomize()</code> method copies the value of the <code>value</code> property to the <code>m_desired</code> property. Note that the <code>pre_randomize()</code> method copies the value of the <code>m_desired</code> to the <code>value</code> property if the <code>rand_mode</code> of the <code>value</code> property is <code>OFF</code>.
-{|
+assert( flavor.randomize() );
-|-
-| <pre>assert( flavor.randomize() );</pre>
-|}

@@ Строка 29: / Строка 29: @@
-{|
+{| align=center
 !<html><img alt="Properties of uvm_reg_field" src="http://cluelogic.com/wp-content/uploads/2013/01/jb16_reg_field_properties.png" width="800" />
 </html>
@@ Строка 63: / Строка 63: @@
-{|
+{| align=center
 !<html><img src="http://cluelogic.com/wp-content/uploads/2013/02/jb16_configure.png" width="800" /></html>
 |-
-! How configure() and set_reset() methods work
+! Как действуют методы configure() и set_reset()
 |}
@@ Строка 74: / Строка 74: @@
 The <code>reset()</code> method resets the properties of a register field, if the <code>m_reset[kind]</code> exists. The default <code>kind</code> is <code>"HARD"</code>. If the <code>m_reset[kind]</code> does not exist, the <code>reset()</code> method does nothing. Note that the <code>reset()</code> method '''does not''' reset a register in the DUT. It only resets the properties of a register-field object.
-<div>
+<big><big><source lang="verilog">flavor.reset( .kind( "HARD" ) ); // kind == "HARD" by default</source></big></big>
-{|
-|-
-| <pre>flavor.reset( .kind( "HARD" ) ); // kind == "HARD" by default</pre>
-|}
-</div>
-</div>
+{| align=center
 {|
 !<html><img src="http://cluelogic.com/wp-content/uploads/2013/01/jb16_reset.png" width="800" /></html>
 |-
@@ Строка 89: / Строка 83: @@
 |}
 === set() ===
 The <code>set()</code> method sets the desired value of a register field. The <code>set()</code> method '''does not''' set the value to a register in the DUT. It only sets the value to the <code>m_desired</code> and the <code>value</code> properties of a register-field object. To actually set the value to the register in the DUT, use <code>write()</code> or <code>update()</code> method. These methods will be explained later.
@@ Строка 100: / Строка 95: @@
-{|
+{| align=center
 !<html><img alt="How the set() method works" src="http://cluelogic.com/wp-content/uploads/2013/01/jb16_set.png" width="800" /></html>
 |-
-! How the set() method works
+! Как действует метод set()
 |}
-=== get() ===
+=== Метод get() ===
 The <code>get()</code> method gets the desired value of a register field. The <code>get()</code> method '''does not''' get the value from a register in the DUT. It only gets the value of the <code>m_desired</code> property. To actually get the value from the DUT, use <code>read()</code> or <code>mirror()</code> methods. These methods will be explained later. Similarly to the <code>get()</code> method, there are two more ''getters'' to access the local properties. The <code>get_reset()</code> retrieves the value of the <code>m_reset[kind]</code> property, while the <code>get_mirrored_value()</code> method retrieves the value of the <code>m_mirrored</code> property.
@@ Строка 119: / Строка 114: @@
-{|
+{| align=center
 !<html><img alt="How the get(), get_reset(), and get_mirrored_value() methods work" src="http://cluelogic.com/wp-content/uploads/2013/01/jb16_get.png" width="800" /></html>
 |-
@@ Строка 136: / Строка 131: @@
-{|
+{| align=center
 !<html><img alt="How the randomize() method works" src="http://cluelogic.com/wp-content/uploads/2013/01/jb16_randomize.png" width="800" /></html>
 |-
@@ Строка 169: / Строка 164: @@
-{|
+{|  align=center
 !<html><img alt="How the write() method works" src="http://cluelogic.com/wp-content/uploads/2013/01/jb16_write.png" width="800" /></html>
 |-
@@ Строка 205: / Строка 200: @@
-{|
+{| align=center
 !<html><img alt="How the read() method works" src="http://cluelogic.com/wp-content/uploads/2013/01/jb16_read.png" width="800" /></html>
 |-
@@ Строка 231: / Строка 226: @@
-{|
+{| align=center
 !<html><img alt="Before the update() is executed" src="http://cluelogic.com/wp-content/uploads/2013/01/jb16_before_update.png" width="800" /></html>
 |-
@@ Строка 267: / Строка 262: @@
-{|
+{| align=center
 !<html><img alt="How the mirror() method works" src="http://cluelogic.com/wp-content/uploads/2013/01/jb16_mirror.png" width="800" /></html>
 |-
@@ Строка 288: / Строка 283: @@
-{|
+{| align=center
 !<html><img alt="How the predict() method works" src="http://cluelogic.com/wp-content/uploads/2013/01/jb16_predict.png" width="800" /></html>
 |-

← Предыдущая		Версия 09:45, 15 ноября 2014
Строка 7:		Строка 7:
	== Properties of uvm_reg_field ==		== Properties of uvm_reg_field ==

		+	<!--
	Before diving into the register-access methods, let’s look at how a register value is stored. As seen in [http://cluelogic.com/2012/10/uvm-tutorial-for-candy-lovers-register-abstraction/ Register Abstraction], <code>uvm_reg_field</code> is the lowest register-abstraction layer which represents the bits of a register. The <code>uvm_reg_field</code> uses several properties to store a variety of register-field values:		Before diving into the register-access methods, let’s look at how a register value is stored. As seen in [http://cluelogic.com/2012/10/uvm-tutorial-for-candy-lovers-register-abstraction/ Register Abstraction], <code>uvm_reg_field</code> is the lowest register-abstraction layer which represents the bits of a register. The <code>uvm_reg_field</code> uses several properties to store a variety of register-field values:
		+	-->
		+	Перед рассмотрением методов доступа к регистрам (регистровой модели), необходимо рассмотреть как значение регистра хранится. Как рассмотрено в статье [http://cluelogic.com/2012/10/uvm-tutorial-for-candy-lovers-register-abstraction/ Register Abstraction], Класс поля <code>uvm_reg_field</code> является наименьшим (в иерархии) слоем в регистровой модели, который представляет биты регистра. Класс <code>uvm_reg_field</code> использует некоторые свойства для сохранения множества значений поля регистра:

		+	<!--
	* <code>m_reset["HARD"]</code> stores a hard reset value. Note that the <code>m_reset</code> is an associative array with a kind of reset as the key.		* <code>m_reset["HARD"]</code> stores a hard reset value. Note that the <code>m_reset</code> is an associative array with a kind of reset as the key.
	* <code>m_mirrored</code> stores the value of what we ''think'' in our design under test (DUT).		* <code>m_mirrored</code> stores the value of what we ''think'' in our design under test (DUT).
	* <code>m_desired</code> stores the value of what we ''want'' to set to the DUT.		* <code>m_desired</code> stores the value of what we ''want'' to set to the DUT.
	* <code>value</code> stores the value to be sampled in a functional coverage, or the value to be constrained when the field is randomized.		* <code>value</code> stores the value to be sampled in a functional coverage, or the value to be constrained when the field is randomized.
		+	-->
		+	* <code>m_reset["HARD"]</code> хранит значение HARD (системного) сброса. Следует заметить, что <code>m_reset</code> является ассоциативным массивом с типом сброса в качестве ключа.
		+	* <code>m_mirrored</code> хранит значение того, что мы «думаем» в нашем DUT`е.
		+	* <code>m_desired</code> хранит значение того, что мы «хотим» установить в DUT`е.
		+	* <code>value</code> хранит значение для учета его в функциональном покрытии, или значение законстрейненное (to be constrained) когда поле рандомизируется.

		+	<!--
	Note that among these properties, only the <code>value</code> property is public. The other properties are local, thus we cannot access them directly from the out side of the class. We will show you how to access these local properties using register-access methods later.		Note that among these properties, only the <code>value</code> property is public. The other properties are local, thus we cannot access them directly from the out side of the class. We will show you how to access these local properties using register-access methods later.
		+	-->
		+	Заметим что среди этих свойств только свойство <code>value</code> является public. Остальные свойства являются локальными, The other properties are local, таким образом мы не можем к ним обратиться напрямую вне данного класса. Далее будет рассмотрено как обратиться к этим локальным свойствам используя методы доступа к регистровой модели.


Строка 21:		Строка 33:
	</html>		</html>
	\|-		\|-
−	!~~Properties of~~ uvm_reg_field	+	! Свойства класса <code>uvm_reg_field</code>
	\|}		\|}


−	=== configure() ===	+	=== Метод configure() ===

		+	<!--
	The first thing we do after creating a <code>uvm_reg_field</code> is configuring it. In [http://cluelogic.com/2012/10/uvm-tutorial-for-candy-lovers-register-abstraction/ Register Abstraction], we configured the <code>flavor</code> field as follows. Note that in [http://cluelogic.com/2012/10/uvm-tutorial-for-candy-lovers-register-abstraction/ Register Abstraction], we defined the <code>flavor</code> field as <code>"WO"</code> (write-only), but we defined it as <code>"RW"</code> (read/write) here to make the field more generic.		The first thing we do after creating a <code>uvm_reg_field</code> is configuring it. In [http://cluelogic.com/2012/10/uvm-tutorial-for-candy-lovers-register-abstraction/ Register Abstraction], we configured the <code>flavor</code> field as follows. Note that in [http://cluelogic.com/2012/10/uvm-tutorial-for-candy-lovers-register-abstraction/ Register Abstraction], we defined the <code>flavor</code> field as <code>"WO"</code> (write-only), but we defined it as <code>"RW"</code> (read/write) here to make the field more generic.
		+	-->
		+	Первое что делается после создания класса <code>uvm_reg_field</code> это его настройка. В статье [http://cluelogic.com/2012/10/uvm-tutorial-for-candy-lovers-register-abstraction/ Register Abstraction] настаивалось/конфигурировалось поле <code>flavor</code> как отмечено ниже. Заметим, что в статье [http://cluelogic.com/2012/10/uvm-tutorial-for-candy-lovers-register-abstraction/ Register Abstraction], задавалось поле <code>flavor</code> как <code>"WO"</code> (write-only), но здесь зададим его <code>"RW"</code> (read/write), чтобы сделать поле более типовым.

−	<~~div~~>	+	<big><big><source lang="verilog" line=1>flavor = uvm_reg_field::type_id::create( "flavor" );
−	{\|	+
−	\|-	+
−	\| <~~pre~~>1	+
−	2	+
−	3	+
−	4	+
−	5	+
−	6	+
−	7	+
−	8	+
−	9	+
−	10	+
−	~~</pre>~~	+
−	~~\| <pre~~>flavor = uvm_reg_field::type_id::create( "flavor" );	+
	flavor.configure( .parent ( this ),		flavor.configure( .parent ( this ),
	.size ( 3 ),		.size ( 3 ),
Строка 52:		Строка 53:
	.has_reset ( 1 ),		.has_reset ( 1 ),
	.is_rand ( 1 ),		.is_rand ( 1 ),
−	.individually_accessible( 0 ) );</~~pre~~>	+	.individually_accessible( 0 ) );</source></big></big>
−	\|}	+
−	</~~div~~>	+

		+	<!--
	If the <code>has_reset</code> argument is <code>1</code>, the value of <code>reset</code> argument is taken as the <code>"HARD"</code> reset value. If the <code>has_reset</code> value is <code>0</code>, the value of <code>reset</code> is ignored. The value of <code>reset</code> should match the reset state of the DUT. If you want to modify the reset value after the configuration, you can use <code>set_reset()</code> method.		If the <code>has_reset</code> argument is <code>1</code>, the value of <code>reset</code> argument is taken as the <code>"HARD"</code> reset value. If the <code>has_reset</code> value is <code>0</code>, the value of <code>reset</code> is ignored. The value of <code>reset</code> should match the reset state of the DUT. If you want to modify the reset value after the configuration, you can use <code>set_reset()</code> method.
		+	-->
		+	Если аргумент <code>has_reset</code> равен <code>1</code>, то значение аргумента <code>reset</code> задаётся в как значение <code>"HARD"</code> сброса. Если же <code>has_reset</code> равень <code>0</code>, то значение аргумента <code>reset</code> игнорируется. Значение <code>reset</code> должно совпадать с состоянием DUT. Если же необходимо изменить значение сброса после конфигурации, то можно использовать метод <code>set_reset()</code>.

−	<~~div~~>	+	<big><big><source lang="verilog">flavor.set_reset( .value( 0 ), .kind( "HARD" ) ); // kind == "HARD" by default</source></big></big>
−	{\|	+
−	\|-	+
−	\| <~~pre~~>flavor.set_reset( .value( 0 ), .kind( "HARD" ) ); // kind == "HARD" by default</~~pre~~>	+
−	\|}	+
−	</~~div~~>	+


Строка 73:		Строка 70:


−	=== reset() ===	+	=== Метод reset() ===

	The <code>reset()</code> method resets the properties of a register field, if the <code>m_reset[kind]</code> exists. The default <code>kind</code> is <code>"HARD"</code>. If the <code>m_reset[kind]</code> does not exist, the <code>reset()</code> method does nothing. Note that the <code>reset()</code> method '''does not''' reset a register in the DUT. It only resets the properties of a register-field object.		The <code>reset()</code> method resets the properties of a register field, if the <code>m_reset[kind]</code> exists. The default <code>kind</code> is <code>"HARD"</code>. If the <code>m_reset[kind]</code> does not exist, the <code>reset()</code> method does nothing. Note that the <code>reset()</code> method '''does not''' reset a register in the DUT. It only resets the properties of a register-field object.