Difference between revisions of "ATC"

From Vlsiwiki
Jump to: navigation, search
(Using Packages)
(Using Packages)
Line 69: Line 69:
 
   ,input int data2              // Every port member requires a type, 1 bit members can be BoolType (package scoore::*)
 
   ,input int data2              // Every port member requires a type, 1 bit members can be BoolType (package scoore::*)
 
   ,output int out
 
   ,output int out
   );                            // After ending port definitions for the top verilog file, the ATC does no further parsing
+
   );                            // After ending port definitions for the top verilog file, the ATC does no further parsing of this file
 
     always_comb begin
 
     always_comb begin
 
         out = data1 + data2;
 
         out = data1 + data2;

Revision as of 21:43, 3 August 2009

Automatic Testbench Creator (ATC)




The ATC is a VPI testbench creator, it processes a verilog topfile, which is the device under test (DUT).
By processing the DUT, the ATC creates an object with inputs and outputs which are exactly the same as the DUT.

alu.v

module alu
(input int data1,
 input int data2,
 output int out);
   always_comb begin
      out = data1 + data2;
   end
end module


The ATC created testbench will give access to data1, data2 and out, which is the complete interface of alu.v

==Implementation:==
The ATC is integrated into rake. To use it, edit the xml file in your top directory of the module.

  • In the testbench xml tag, add the ttb attribute, and set it to the name of your DUT.
    This assumes that the dut.v file is relative to rtl/dut.v, and the output of the ATC will be to tests/


  • alu.xml (Excerpt taken)

<testbench base="alu_tb" suite="vcs" ttb="alu.v">
   <verilog>
     tests/alu_tb.v
   </verilog>
   <source>
     tests/alu_tb.cpp
     tests/alu_ttb.cpp
   </source>
   <tab>tests/alu_tb.tab</tab>
 </testbench>

  • This will create the complete interface for your testbench int the tests/ directory
  • Note that both tb.cpp and ttb.cpp files have to be in the xml file for VCS to compile them. Order does not matter.

  1. dut_tb.v - The verilog testbench, VCS will run this (Autogenerated every time your run rake)
  2. dut_tb.cpp - Your VPI testbench, C++ (Autogenerated only if file doesn't exist)
  3. dut_tb.h - Any vars / stuff you need for your tb (Autogenerated only if file doesn't exist)
  4. dut_ttb.h - VPI definitions, defines object that you use to communicate to ports of DUT (Autogenerated every time your run rake)
  5. dut_ttb.cpp - VPI Testbench backend, communication with VCS... (Autogenerated every time your run rake)
  6. dut_ttb.tab - VCS file that correlates verilog functions with C++ VPI functions (Autogenerated every time your run rake, deprecated)

</p>


Using Packages

External packages are automatically parsed by the ATC. The top verilog file is parsed for imports::, and each import is processed.
The ATC requires very strict lexical standards in the following areas:

  • module input / output declarations
  • All struct, const and typedefs.


  1. Module inputs / outputs

Example:

import scoore::*;               // Automatically include package scoore, ATC will find and parse all imported packages
module alu
 (input BoolType clk            // Notice where the ( is, and the no space between it and the first port
 ,input int data1               // Notice the comma is before the input / output keyword
 ,input int data2               // Every port member requires a type, 1 bit members can be BoolType (package scoore::*)
 ,output int out
 );                             // After ending port definitions for the top verilog file, the ATC does no further parsing of this file
    always_comb begin
       out = data1 + data2;
    end
end module



  1. Packages: structs, consts, and typedefs


package scoore;
const int SCOORE_ADDR_BITS            = 32; // Example const: make sure a space is present between the = and both name and value
const L1MemReqType L1MEMREQ_READLINE  = 3'b000; // bit sizes are fine, the ATC ignores the size, and converts hex or binary value to integer
typedef logic [3-1:0]                 ALUSelectType; // Example typedef: make sure a space is present between logic keyword and size
typedef struct packed{                          // Example struct definition
  ALUSelectType                          alu_type;
}ALUStateType;                                // Notice the end struct bracket and struct name have no space
endpackage




Running the initially created tb




[agolubev@mascd2 atcexample]$rake test:atcexample_tb
(in /mada/users/agolubev/scoore)
cd /mada/users/agolubev/scoore/projects/scoore/atcexample

Warning-[ACC_CLI_ON] ACC/CLI capabilities enabled
ACC/CLI capabilities have been enabled for the entire design. For faster
performance enable module specific capability in pli.tab file

50 modules and 0 UDP read.
However, due to incremental compilation, no re-compilation is necessary.
g++ -pipe -Wno-write-strings -I/mada/software/synopsys/vcs//include -I/mada/users/agolubev/scoore/projects/scoore/synthesis/rtl
-I/mada/users/agolubev/scoore/storage/rtl -I/mada/users/agolubev/scoore/memcell/rtl -I/mada/users/agolubev/scoore/projects/scoore/common/rtl
-I/mada/users/agolubev/scoore/projects/scoore/atcexample/rtl -O -I/mada/software/synopsys/vcs/include -c ../tests/atcexample_tb.cpp
g++ -pipe -Wno-write-strings -I/mada/software/synopsys/vcs//include -I/mada/users/agolubev/scoore/projects/scoore/synthesis/rtl
-I/mada/users/agolubev/scoore/storage/rtl -I/mada/users/agolubev/scoore/memcell/rtl -I/mada/users/agolubev/scoore/projects/scoore/common/rtl
-I/mada/users/agolubev/scoore/projects/scoore/atcexample/rtl -O -I/mada/software/synopsys/vcs/include -c ../tests/atcexample_ttb.cpp
../simv up to date
full clock set to 10ns

                       Testbench Seeded with 1247602844

@D atcexample_tb check(): tb_cycle[0]
@D atcexample_tb check(): tb_cycle[1]
@D atcexample_tb check(): tb_cycle[2]
@D atcexample_tb check(): tb_cycle[3]
@D atcexample_tb check(): tb_cycle[4]
@D atcexample_tb check(): tb_cycle[5]
@D atcexample_tb check(): tb_cycle[6]
@D atcexample_tb check(): tb_cycle[7]
@D atcexample_tb check(): tb_cycle[8]
@D atcexample_tb check(): tb_cycle[9]

10 Clock Cycles Total atcexample_tb FINISHED



When the tb is first run, the check() fn prints out a variable, (num_total_ops) which corresponds to the clock cycle count.

Note: clock cycle count starts at 0

The tb also has a verilog variable tb_cycle, that one may add to the wave viewer. This is to aid debugging.
In the example above, the check() fn prints out the tb_cycle variable, which is set in the set() fn.

Troubleshooting:


 

Q: Error-[ITSFM] Illegal `timescale for module

  /mada/users/agolubev/scoore/projects/scoore/l0d/rtl/SRAM_1W_1R_3x64test.v, 25  
Module "SRAM_1W_1R_3x64test_v" has `timescale but previous module(s) do not.v
Please refer LRM 1364-2001 section 19.8.

A: As of verilog 2001, we do not use the `timescale directive.

  This is set in the _ttb.v file, so that we can parametrize it and test for power.    

The following command inline removes all `timescale directives. Use with caution, but is tested.
sed -i 's/`timescale.*//' rtl/*.v


WORK IN PROGRESS