[update] picker demo code and dockerfile.full

Author: SFangYy

docker/Dockerfile.full

@@ -3,11 +3,18 @@ FROM ghcr.io/xs-mlvp/envbase:latest
 USER user
 WORKDIR /workspace
 
-RUN mkdir tutorial && \
-    cd tutorial && \
-    pip3 install pytoffee && \
-    git clone https://github.com/SFangYy/tutorial_code.git --depth=1 
+RUN pip3 install pytoffee && \
+    git clone https://github.com/XS-MLVP/tutorial-records.git --depth=1 && \
+    mv tutorial-records/tutorials/code-samples . && \
+    cd .. && \
+    rm -rf tutorial-records
+   
 
-RUN git clone https://github.com/OpenXiangShan/XSPdb.git --depth=1 && \
-    cd XSPdb && \
-    make init
+RUN cd code-samples && \
+    git clone https://github.com/OpenXiangShan/XSPdb.git --depth=1 xspdb && \
+    cd xspdb && \
+    make init && \
+    rm -rf XSPython example && \
+    wget https://github.com/XS-MLVP/tutorial-records/releases/download/v1.0.0/xspdb_with_bug.tar.gz && \
+    tar zxvf xspdb_with_bug.tar.gz && \
+    rm -rf xspdb_with_bug.tar.gz    

tutorials/code-samples/picker/Adder/example.py

@@ -5,34 +5,26 @@
 def random_int():
     return random.randint(-(2**127), 2**127 - 1) & ((1 << 128) - 1)
 
+def as_uint(x,nbits):
+    return x & ((1 << nbits) - 1)
 
 def main():
-    dut = DUTAdder()  # Assuming USE_VERILATOR
-    
+    dut = DUTAdder()  # Assuming USE_VERILATOR 
     print("Initialized UTAdder")
-    
+
     for c in range(11451):
-        dut.a.value, dut.b.value, dut.cin.value  = random_int(), random_int(), random_int() & 1        
-        #dut.Step(1)
-       # def dut_cal():
-        #    dut.a.value, dut.b.value, dut.cin.value = i.a, i.b, i.cin
-        #    dut.Step(1)
-        #    o_dut.sum = dut.sum.value
-        #    o_dut.cout = dut.cout.value
-        
-        #dut_cal()
-        #ref_cal()
-        
-        print(f"[cycle {dut.xclock.clk}] a=0x{dut.a.value:x}, b=0x{dut.b.value:x}, cin=0x{dut.cin.value:x}")
-        dut.Step(1) 
-        #print(f"DUT: sum=0x{o_dut.sum:x}, cout=0x{o_dut.cout:x}")
-        #print(f"REF: sum=0x{o_ref.sum:x}, cout=0x{o_ref.cout:x}")
-        
-        #assert o_dut.sum == o_ref.sum, "sum mismatch"
+        a, b, cin = random_int(), random_int(), random_int() & 1
+        dut.a.value, dut.b.value, dut.cin.value  = a, b, cin
+
+        dut.Step(1)
+        print(f"[cycle {dut.xclock.clk}] a=0x{dut.a.value:x}, b=0x{dut.b.value:x}, cin=0x{dut.cin.value:x}, sum {as_uint(a+b+cin,128)}, dut_sum {as_uint(dut.sum.value,128)}")
+        assert as_uint(dut.sum.value,128) == as_uint(a + b + cin, 128), "sum mismatch"
 
     print("Test Passed, destroy UTAdder")
     dut.Finish() # When using VCS, DUT.Finish() will exit the program, so it should be the last line of the program
 
-
 if __name__ == "__main__":
     main()
+~                                                                                                                                                                                                                                             
+~                                                                                                                                                                                                                                             
+~