HDLRuby 2.5.1 → 2.6.8

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 53e83131d2fb3a3f03c085a3139a69d70f4422ade7be950d009e97e17bb92490
-  data.tar.gz: dcbbcbf3bd1e5aa43ac359e502dc0da6dec886d115371f3b2fceead01bcaa9d3
+  metadata.gz: 01f27a3801dbe93fa55cba40a6a66b91f94df070e255689ac9d73f894b006bd0
+  data.tar.gz: 911aadbbb04317300946682df515527e72602d36aacb792bc2c3f80ea88fa14d
 SHA512:
-  metadata.gz: 1656a5763fef86bd1b8c01eff8d377cc94ff3145889fd486fac99ac7d86b6f6671a30e040679f81da6a76bc08ee09ff5babd11cae72fc8adb721f0258e724fb9
-  data.tar.gz: 8f83372948477da9374abf302ab3910d73b434b22aa020b25071f2ed9127dc7ee95b3c6959952bd9ec008f1ff17327c7edc9e1b9584d1437a530a753b0886f4d
+  metadata.gz: ea09062dfce477be1db11be382672323711d6fa996cb2f3716cd43692ba1063f9ccd651b6b870a09b319fbd8374b82635075a72b00b89a8e305385adf72c097b
+  data.tar.gz: 0ecc3b863e4e41ed3f25083dcf579b014a2a6d04dfb41cd71262d45d115b4efb23d8d869c714508ada05b0a239afd484143733a16343f9fd8738375bbf871dbe

data/lib/HDLRuby/hdr_samples/adder.rb

@@ -3,5 +3,5 @@ system :adder do
     [15..0].input :x,:y
     [16..0].output :s
 
-    s <= x + y
+    s <= x.as(bit[17]) + y
 end

data/lib/HDLRuby/hdr_samples/adder_bench.rb

@@ -3,7 +3,7 @@ system :adder do
     [15..0].input :x,:y
     [16..0].output :s
 
-    s <= x + y
+    s <= x.as(bit[17]) + y
 end
 
 # A benchmark for the adder.

data/lib/HDLRuby/hdr_samples/adder_gen.rb

@@ -3,5 +3,5 @@ system :adder do |w|
     [(w-1)..0].input :x,:y
     [w..0].output :s
 
-    s <= x + y
+    s <= x.as(bit[w+1]) + y
 end

data/lib/HDLRuby/hdr_samples/comparison_bench.rb

@@ -0,0 +1,40 @@
+# Test the comparison operators.
+
+# A benchmark for the adder.
+system :adder_bench do
+    [8].inner :x, :y
+    signed[8].inner :u,:v
+    inner :ue, :ult, :ule, :ugt, :uge
+    inner :se, :slt, :sle, :sgt, :sge
+
+    par do
+        ue  <= (x == y)
+        ult <= (x < y)
+        ule <= (x <= y)
+        ugt <= (x > y)
+        uge <= (x >= y)
+
+        se  <= (u == v)
+        slt <= (u < v)
+        sle <= (u <= v)
+        sgt <= (u > v)
+        sge <= (u >= v)
+    end
+
+    timed do
+        x <= 0
+        y <= 0
+        u <= 0
+        v <= 0
+        !10.ns
+        x <= 1
+        u <= 1
+        !10.ns
+        y <= 2
+        v <= 2
+        !10.ns
+        x <= 2
+        u <= -2
+        !10.ns
+    end
+end

data/lib/HDLRuby/hdr_samples/constant_in_function.rb

@@ -0,0 +1,27 @@
+# Sample for testing constant declaration in function.
+
+
+function :func do |addr|
+    bit[4][-4].constant tbl: [ _0000, _0001, _0010, _0011 ]
+    
+    tbl[addr]
+end
+
+
+system :with_func do
+    [4].inner :addr, :val
+
+    val <= func(addr)
+    # val <= 1
+
+    timed do
+        addr <= 0
+        !10.ns
+        addr <= 1
+        !10.ns
+        addr <= 2
+        !10.ns
+        addr <= 3
+        !10.ns
+    end
+end

data/lib/HDLRuby/hdr_samples/dff_unit.rb

@@ -1,9 +1,9 @@
 # Testing HDLRuby unit test.
-# require 'hruby_unit.rb' 
+# require 'std/hruby_unit.rb' 
 
 # Declare multiple simple dff-systems and their corresponding test.
 
-1.times do |i|
+3.times do |i|
 
     # A simple D-FF
     system:"dff#{i}" do
@@ -21,7 +21,7 @@
 
         send(:"dff#{i}",:dffI).(clk,rst,d,q,qb)
 
-        timed do
+        test do
             clk <= 0
             rst <= 0
             d   <= 0

data/lib/HDLRuby/hdr_samples/huge_rom.rb

@@ -0,0 +1,25 @@
+# Describes an 8-bit data 16-bit address ROM.
+system :huge_rom do
+    [15..0].input :addr
+    [7..0].output :data
+
+    bit[7..0][-65536].constant content: 65536.times.to_a
+
+    data <= content[addr]
+end
+
+
+
+system :test_rom do
+    [15..0].inner :addr
+    [7..0].inner :data
+
+    huge_rom(:my_rom).(addr,data)
+
+    timed do
+        8.times do |i|
+            addr <= i
+            !10.ns
+        end
+    end
+end

data/lib/HDLRuby/hdr_samples/logic_bench.rb

@@ -0,0 +1,21 @@
+
+# A benchmark for the logic operations.
+system :logic_bench do
+    [3].inner :x,:y
+    [3].inner :s_not, :s_and, :s_or, :s_xor, :s_nxor
+
+    timed do
+        8.times do |i|
+            8.times do |j|
+                x      <= i
+                y      <= j
+                s_not  <= ~x
+                s_and  <= x & y
+                s_or   <= x | y
+                s_xor  <= x ^ y
+                s_nxor <= (x == y)
+                !10.ns
+            end
+        end
+    end
+end

data/lib/HDLRuby/hdr_samples/mei8_bench.rb

@@ -28,7 +28,7 @@ system :mei8 do |prog_file = "./prog.obj"|
         bit[7..0][-256].constant mem: # The content of the memory
             ( File.readlines(prog_file).map {|l| l.split[0] }.select do |l|
             ["0","1"].include?(l[2])
-        end.map {|l| l[2..9] } )
+        end.map {|l| l[2..9].to_i(2) } )
         instr <= mem[addr]       # The access procedure
     end
 

data/lib/HDLRuby/hdr_samples/multi_timed_bench.rb

@@ -0,0 +1,54 @@
+# Test the execution of multiple timed behaviors
+system :multi_timed do
+    inner :clk1, :clk2, :rst, :button
+    [8].inner :counter1, :counter2 
+
+    # The process controlling counter1.
+    par(clk1.posedge) do
+        hif(rst) { counter1 <= 0 }
+        helsif(button) { counter1 <= counter1 + 1 }
+    end
+
+    # The process controlling counter2.
+    par(clk2.posedge) do
+        hif(rst) { counter2 <= 0 }
+        helsif(button) { counter2 <= counter2 + 1 }
+    end
+
+    # The process for clk1
+    timed do
+        50.times do
+            clk1 <= 0
+            !10.ns
+            clk1 <= 1
+            !10.ns
+        end
+    end
+
+    # The process for clk2
+    timed do
+        80.times do
+            clk2 <= 0
+            !3.ns
+            clk2 <= 1
+            !3.ns
+        end
+    end
+
+    # The control process
+    timed do
+        rst <= 0
+        button <= 0
+        !10.ns
+        rst <= 1
+        !20.ns
+        rst <= 0
+        !10.ns
+        10.times do
+            button <= 1
+            !20.ns
+            button <= 0
+            !20.ns
+        end
+    end
+end

data/lib/HDLRuby/hdr_samples/music.rb

@@ -0,0 +1,79 @@
+# require "std/fixpoint.rb"
+# require_relative "activation_function.rb"
+require 'std/function_generator.rb'
+
+include HDLRuby::High::Std
+
+system :music do
+
+   input :clk, :rst
+   [24].output :sound 
+   
+   # func_sin = proc { |i| Math.sin(i) }
+   # More efficient:
+   func_sin = Math.method(:sin)
+
+   # bit[8,8].inner :time
+   # signed[2,22].inner :sin_val0
+   # signed[2,22].inner :sin_val1
+   bit[8].inner :time
+   signed[24].inner :sin_val0
+   signed[24].inner :sin_val1
+
+   # activation_function(func_sin,signed[2,22],8,8,16).(:func_sin0_generator).(time,sin_val0)
+   # activation_function(func_sin,signed[2,22],8,8,16).(:func_sin1_generator).(time/2,sin_val1)
+   function_generator(func_sin,bit[8],signed[24],4,-Math::PI..Math::PI,-2..2).(:func_sin0_generator).(time,sin_val0)
+   function_generator(func_sin,bit[8],signed[24],4,-Math::PI*2..Math::PI*2,-2..2).(:func_sin1_generator).(time/2,sin_val1)
+
+   # signed[2,22].inner :sound0
+   signed[48].inner :sound0
+
+   sound0 <= sin_val0.as(signed[24]) * sin_val1
+
+   sound <= sound0[47..24]
+
+   par(clk.posedge) do
+      hif(rst) { time <= 0 }
+      helse do
+        # time <= time + _0000000000000001
+        time <= time + _00000001
+      end
+   end
+
+end
+
+
+
+
+system :music_test do
+
+    inner :clk,:rst
+    [24].inner :sound
+
+    music(:my_music).(clk,rst,sound)
+
+    timed do
+        clk <= 0
+        rst <= 0
+        !10.ns
+        clk <= 1
+        !10.ns
+        clk <= 0
+        rst <= 1
+        !10.ns
+        clk <= 1
+        !10.ns
+        clk <= 0
+        !10.ns
+        clk <= 1
+        !10.ns
+        clk <= 0
+        rst <= 0
+        256.times do
+            !10.ns
+            clk <= 1
+            !10.ns
+            clk <= 0
+        end
+    end
+end

data/lib/HDLRuby/hdr_samples/named_sub.rb

@@ -0,0 +1,42 @@
+## 
+#  Sample testing named sub
+#######################################
+
+
+# A simple circuit with named sub
+system :named_sub do
+    input  :x, :y
+    output :s
+
+    sub :somesub do
+        inner :sig
+    end
+
+    seq do
+        somesub.sig <= x | y
+        s <= ~somesub.sig
+    end
+
+end
+
+# A benchmark for the circuit.
+system :named_sub_bench do
+    inner :x, :y, :s
+
+    named_sub(:my_named_sub).(x,y,s)
+
+    timed do
+        x <= 0
+        y <= 0
+        !10.ns
+        x <= 1
+        y <= 0
+        !10.ns
+        x <= 0
+        y <= 1
+        !10.ns
+        x <= 1
+        y <= 1
+        !10.ns
+    end
+end

data/lib/HDLRuby/hdr_samples/rom.rb

@@ -14,3 +14,19 @@ system :rom4_8 do
     data1 <= content1[addr]
     data2 <= content2[addr]
 end
+
+
+
+system :test_rom do
+    [2..0].inner :addr
+    [7..0].inner :data0,:data1,:data2
+
+    rom4_8(:my_rom).(addr,data0,data1,data2)
+
+    timed do
+        8.times do |i|
+            addr <= i
+            !10.ns
+        end
+    end
+end

data/lib/HDLRuby/hdr_samples/type_minmax_bench.rb

@@ -0,0 +1,37 @@
+# Test the type method min and max
+
+# A benchmark for the adder.
+system :adder_bench do
+    [32].inner :x
+    signed[32].inner :y
+
+    timed do
+        x <= 0
+        y <= 0
+        !10.ns
+        x <= bit[8].max
+        y <= signed[8].max
+        !10.ns
+        x <= bit[8].min
+        y <= signed[8].min
+        !10.ns
+        x <= bit[10].max
+        y <= signed[10].max
+        !10.ns
+        x <= bit[10].min
+        y <= signed[10].min
+        !10.ns
+        x <= bit[16].max
+        y <= signed[16].max
+        !10.ns
+        x <= bit[16].min
+        y <= signed[16].min
+        !10.ns
+        x <= bit[32].max
+        y <= signed[32].max
+        !10.ns
+        x <= bit[32].min
+        y <= signed[32].min
+        !10.ns
+    end
+end

data/lib/HDLRuby/hdr_samples/with_function_generator.rb

@@ -0,0 +1,25 @@
+require 'std/function_generator.rb'
+
+include HDLRuby::High::Std
+
+# System for testing the function generator standard library.
+system :with_function_generator do
+    # signed[8].inner :x
+    # signed[32].inner :y
+    bit[8].inner :x
+    signed[8].inner :y
+
+    # function_generator(Math.method(:sin).to_proc,
+    #                    signed[8],signed[32],4,-Math::PI..Math::PI,-2..2).
+    function_generator(Math.method(:sin).to_proc,
+                       bit[8],signed[8],4,-Math::PI..Math::PI,-2..2).
+    (:my_sin).(x,y)
+
+    timed do
+        # (-128..127).each do |i|
+        (0..255).each do |i|
+            x <= i
+            !10.ns
+        end
+    end
+end