HDLRuby 2.5.1 → 2.6.8

data/lib/HDLRuby/sim/hruby_sim_vcd.c

@@ -357,6 +357,7 @@ static void vcd_print_header() {
 }
 
 
+
 /* The configuration and initialization of the vcd vizualizer. */
 
 
@@ -365,15 +366,18 @@ static void vcd_print_header() {
 extern void init_vcd_visualizer(char* name) {
     /* Open the resulting file with name: <name>.vcd */
     char filename[256];
-    strncpy(filename,name,256);
-    strncat(filename,".vcd",256);
+    strncpy(filename,name,255);
+    strncat(filename,".vcd",255);
     vcd_file = fopen(filename,"w");
 
     /* Initialize the vizualizer printer engine. */
     init_visualizer(&vcd_print_time,
                     &vcd_print_full_name,
                     &vcd_print_value,
-                    &vcd_print_signal_fvalue);
+                    &vcd_print_signal_fvalue,
+                    &default_print_string,
+                    &default_print_name,
+                    &default_print_value);
 
     /* Prints the header of the vcd file. */
     vcd_print_header();

data/lib/HDLRuby/sim/hruby_sim_vizualize.c

@@ -16,15 +16,22 @@ PrinterS printer;
  *  @param print_time the time printer
  *  @param print_name the name printer
  *  @param print_value the value printer
- *  @param print_signal the signal state printer. */
+ *  @param print_signal the signal state printer
+ *  @param print_string the string printer. */
 void init_visualizer(void (*print_time)(unsigned long long), 
                      void (*print_name)(Object),
                      void (*print_value)(Value),
-                     void (*print_signal)(SignalI)) {
+                     void (*print_signal)(SignalI),
+                     void (*print_string)(const char*),
+                     void (*print_string_name)(Object),
+                     void (*print_string_value)(Value)) {
     printer.print_time = print_time; 
     printer.print_name = print_name; 
     printer.print_value = print_value; 
     printer.print_signal = print_signal; 
+    printer.print_string = print_string;
+    printer.print_string_name = print_string_name;
+    printer.print_string_value = print_string_value;
 }
 
                     
@@ -34,7 +41,7 @@ void init_visualizer(void (*print_time)(unsigned long long),
 
 /** Prints the time.
  *  @param time the time to show. */
-static void default_print_time(unsigned long long time) {
+void default_print_time(unsigned long long time) {
     printf("# %llups",time);
 }
 
@@ -47,7 +54,7 @@ static void default_println_time(unsigned long long time) {
 
 /** Prints the name of an object.
  *  @param object the object to print the name. */
-static void default_print_name(Object object) {
+void default_print_name(Object object) {
     /* Recurse on the owner if any. */
     // printf("owner=%p\n",object->owner);
     if (object->owner != NULL) {
@@ -73,7 +80,7 @@ static void default_print_name(Object object) {
 
 /** Prints a value.
  *  @param value the value to print */
-static void default_print_value(Value value) {
+void default_print_value(Value value) {
     if (value->numeric) {
         unsigned long long width = type_width(value->type);
         unsigned long long mask = 1ULL << (width-1);
@@ -100,6 +107,12 @@ static void default_print_value(Value value) {
     }
 }
 
+/** Prints a string.
+ *  @param str the string to print. */
+void default_print_string(const char* str) {
+    printf("%s", str);
+}
+
 /** Prints a signal.
  *  @param signal the signal to show */
 static void default_print_signal(SignalI signal) {
@@ -126,5 +139,8 @@ void init_default_visualizer(char* name) {
     init_visualizer(&default_println_time,
                     &default_print_name,
                     &default_print_value,
-                    &default_println_signal);
+                    &default_println_signal,
+                    &default_print_string,
+                    &default_print_name,
+                    &default_print_value);
 }

data/lib/HDLRuby/std/fixpoint.rb

@@ -65,6 +65,15 @@ module HDLRuby::High::Std
                                 (left.as([isize+fsize*2]) << fsize) / right
                             end
                         end
+                        # Define the removal of the point.
+                        typ.define_singleton_method(:no_point) do
+                            if (typ.signed?) then
+                                signed[typ.width]
+                            else
+                                bit[typ.width]
+                            end
+                        end
+                        # Return the resulting typ.
                         typ
                     end
                 end

data/lib/HDLRuby/std/function_generator.rb

@@ -0,0 +1,139 @@
+##
+# Standard HDLRuby::High library: universal generic function generator
+# based on the work of Ryota Sakai from NN4H
+# 
+########################################################################
+
+
+module HDLRuby::High::Std
+
+    # Module describing a function generator using linear approximation between
+    # fixed precalculated values.
+    # Generic parameters:
+    # +func+   procedure generating the discret values of the functions.
+    # +ityp+   the type of the input
+    # +otyp+   the type of the output
+    # +awidth+ width of the address bus for accessing the discret values
+    # +xrange+ the range for x values when computing the function
+    # +yrange+ the range for y values when computing the function
+    system :function_generator do |func, ityp, otyp, awidth, xrange, yrange|
+        # Check the generic parameters.
+        func = func.to_proc
+        ityp = ityp.to_type
+        otyp = otyp.to_type
+        awidth = awidth.to_i
+        xrange = xrange.first.to_f..xrange.last.to_f
+        yrange = yrange.first.to_f..yrange.last.to_f
+
+        # Declare the interface of the generator.
+        ityp.input :x
+        otyp.output :y
+
+        # Discrete values used for interpolating.
+        otyp.inner :base, :next_data
+
+        # Address
+        [awidth].inner :address
+        # Remainder
+        ityp.inner :remaining
+        x
+        # Compute the address and the remainder from the input.
+        address <= x[(ityp.width-1)..(ityp.width-awidth)]
+        remaining <= [[_b1b0] * awidth, x[(ityp.width-1-awidth)..0]]
+
+        # Instantiate the lut holding the discrete values.
+        lut(func,ityp,otyp,awidth,xrange,yrange).(:my_lut).(address,base,next_data)
+
+        # Instantiate the interpolator.
+        interpolator(ityp,otyp,awidth).(:my_iterpolator).(base,next_data, remaining, y)
+    end
+
+
+    # The LUT containing the discre values.
+    system :lut do |func,ityp, otyp, awidth, xrange, yrange|
+        # Check the generic arguments.
+        func = func.to_proc
+        ityp = ityp.to_type
+        otyp = otyp.to_type
+        awidth = awidth.to_i
+        xrange = xrange.first.to_f..xrange.last.to_f
+        yrange = yrange.first.to_f..yrange.last.to_f
+
+        # lut_size = 2 ** address_width
+        # Compute the size of the lut.
+        lut_size = 2 ** awidth
+
+        # Declare the input and output of the lut.
+        [awidth].input :address
+        otyp.output :base, :next_data
+
+        # Declare the lut
+        otyp[-lut_size].constant lut: 
+            initialize_lut(func,otyp,awidth,xrange,yrange)
+
+        # Assign the base discret value.
+        base <= lut[address]
+
+        # Assign the next_data discrete value.
+        next_data <= lut[address+1]
+    end
+
+
+    # compute tanh
+    # LUTの点の間の値を計算するモジュール
+    # system :interpolator do |typ, integer_width, address_width|
+    # Module making linear interpolation between two discrete values.
+    # Generic parameters:
+    # +ityp+: the function input value type
+    # +otyp+: the function output value type
+    # +width+: the step width between discrete values
+    system :interpolator do |ityp,otyp,width|
+        # Check the generic arguments
+        ityp = ityp.to_type
+        otyp = otyp.to_type
+        width = width.to_i
+        # Compute the scale factor and convert it to a shift value.
+        shift_bits = ityp.width - width
+
+        # Declare the input and outputs.
+        otyp.input :base, :next_data
+        ityp.input :remaining
+        otyp.output :interpolated_value
+
+        if (otyp.signed?) then
+            signed[otyp.width+ityp.width].inner :diff
+        else
+            bit[otyp.width+ityp.width].inner :diff
+        end
+
+        # Make the interpolation.
+        diff <= (next_data-base).as(diff.type) * remaining
+        if(otyp.signed?) then
+            interpolated_value <= base + 
+                ([[diff[diff.type.width-1]]*shift_bits,
+                  diff[diff.type.width-1..shift_bits]]).to_expr
+        else
+            interpolated_value <= base + (diff >> shift_bits)
+        end
+    end
+
+    # Make an array consists of a point of any activation function.
+    # @param [Integer] lut_size the lut_size of LUT
+    # @return [Array] table an array consists of a point of tanh
+    def initialize_lut(func, otyp, awidth, xrange, yrange)
+        # Compute the x step between discret values.
+        xstep = (xrange.last-xrange.first)/(2 ** awidth)
+
+        # Generate the discrete set of x values.
+        x_values = xrange.step(xstep)
+        # Generate the table.
+        table = x_values.map do |x_value|
+            ((func.call(x_value)-yrange.first)/(yrange.last-yrange.first)*
+             2**otyp.width).to_i.to_expr.as(otyp)
+        end
+
+        return table
+    end
+
+
+end

data/lib/HDLRuby/std/hruby_unit.rb

@@ -0,0 +1,75 @@
+require "HDLRuby/hruby_high"
+
+
+
+##
+# Library for building unit test systems.
+#
+########################################################################
+module HDLRuby::Unit
+
+    ## The HDLRuby unit test error class.
+    class UnitError < ::StandardError
+    end
+
+    # The set of the unit systems by name.
+    @@unit_systems = {}
+
+
+    # Declares system +name+ for unit testing.
+    # The system is built by executing +ruby_block+.
+    #
+    # NOTE: the name of the system is not registered within the HDLRuby
+    #       namespace since it is not meant to be used directly.
+    def self.system(name,&ruby_block)
+        # Ensure name is a symbol.
+        name = name.to_s.to_sym unless name.is_a?(Symbol)
+        # Check if the name is already used or not.
+        if @@unit_systems.key?(name) then
+            raise UnitError, "Unit test system #{name} already declared."
+        end
+        # @@unit_systems[name] = HDLRuby::High.system(&ruby_block)
+        @@unit_systems[name] = ruby_block
+    end
+
+
+    # Create a system named +test_name+ executing the unit tests given from
+    # +names+.
+    def self.test(test_name = :test, *names)
+        # If there is no name given, use all the test systems.
+        names = @@unit_systems.each_key if names.empty?
+        # Declare the system.
+        HDLRuby::High.system test_name do
+
+            # The timed block that contains the bench execurtion code.
+            @@tester = timed {}
+
+            # Generate the test code for each selected test units.
+            names.each do |name|
+                name = name.to_s.to_sym unless name.is_a?(Symbol)
+                unless @@unit_systems.key?(name) then
+                    raise UnitError, "Unit test #{name} does not exist."
+                end
+                sub(name) do
+                    @@myself = self
+                    instance_exec do
+                        # Define the test command that insert code of
+                        # the current test unit to the tester timed block.
+                        def test(&ruby_block)
+                            @@tester.block.open do
+                                # Here the signals are to be taken from
+                                # the test unit and not the timed block.
+                                set_this(@@myself)
+                                ruby_block.call
+                                # Go back to the default current this.
+                                set_this
+                            end
+                        end
+                    end
+                    # Process the test unit.
+                    instance_exec(&@@unit_systems[name])
+                end
+            end
+        end
+    end
+end

data/lib/HDLRuby/version.rb

@@ -1,3 +1,3 @@
 module HDLRuby
-  VERSION = "2.5.1"
+  VERSION = "2.6.8"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: HDLRuby
 version: !ruby/object:Gem::Version
-  version: 2.5.1
+  version: 2.6.8
 platform: ruby
 authors:
 - Lovic Gauthier
-autorequire: 
+autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-03-16 00:00:00.000000000 Z
+date: 2021-07-04 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -83,15 +83,19 @@ files:
 - lib/HDLRuby/hdr_samples/alu.rb
 - lib/HDLRuby/hdr_samples/bstr_bench.rb
 - lib/HDLRuby/hdr_samples/calculator.rb
+- lib/HDLRuby/hdr_samples/comparison_bench.rb
+- lib/HDLRuby/hdr_samples/constant_in_function.rb
 - lib/HDLRuby/hdr_samples/counter_bench.rb
 - lib/HDLRuby/hdr_samples/dff.rb
 - lib/HDLRuby/hdr_samples/dff_bench.rb
 - lib/HDLRuby/hdr_samples/dff_counter.rb
 - lib/HDLRuby/hdr_samples/dff_properties.rb
 - lib/HDLRuby/hdr_samples/dff_unit.rb
+- lib/HDLRuby/hdr_samples/huge_rom.rb
 - lib/HDLRuby/hdr_samples/include.rb
 - lib/HDLRuby/hdr_samples/instance_open.rb
 - lib/HDLRuby/hdr_samples/linear_test.rb
+- lib/HDLRuby/hdr_samples/logic_bench.rb
 - lib/HDLRuby/hdr_samples/make_multi_channels_v.rb
 - lib/HDLRuby/hdr_samples/make_multi_channels_vcd.rb
 - lib/HDLRuby/hdr_samples/mei8.rb
@@ -99,6 +103,9 @@ files:
 - lib/HDLRuby/hdr_samples/memory_test.rb
 - lib/HDLRuby/hdr_samples/multer_gen.rb
 - lib/HDLRuby/hdr_samples/multer_seq.rb
+- lib/HDLRuby/hdr_samples/multi_timed_bench.rb
+- lib/HDLRuby/hdr_samples/music.rb
+- lib/HDLRuby/hdr_samples/named_sub.rb
 - lib/HDLRuby/hdr_samples/neg_arith_bench.rb
 - lib/HDLRuby/hdr_samples/neural/a.rb
 - lib/HDLRuby/hdr_samples/neural/a_sub.rb
@@ -128,6 +135,7 @@ files:
 - lib/HDLRuby/hdr_samples/sw_encrypt_cpusim_bench.rb
 - lib/HDLRuby/hdr_samples/system_open.rb
 - lib/HDLRuby/hdr_samples/tuple.rb
+- lib/HDLRuby/hdr_samples/type_minmax_bench.rb
 - lib/HDLRuby/hdr_samples/with_channel.rb
 - lib/HDLRuby/hdr_samples/with_class.rb
 - lib/HDLRuby/hdr_samples/with_connector.rb
@@ -135,12 +143,14 @@ files:
 - lib/HDLRuby/hdr_samples/with_decoder.rb
 - lib/HDLRuby/hdr_samples/with_fixpoint.rb
 - lib/HDLRuby/hdr_samples/with_fsm.rb
+- lib/HDLRuby/hdr_samples/with_function_generator.rb
 - lib/HDLRuby/hdr_samples/with_linear.rb
 - lib/HDLRuby/hdr_samples/with_loop.rb
 - lib/HDLRuby/hdr_samples/with_memory.rb
 - lib/HDLRuby/hdr_samples/with_memory_rom.rb
 - lib/HDLRuby/hdr_samples/with_multi_channels.rb
 - lib/HDLRuby/hdr_samples/with_reconf.rb
+- lib/HDLRuby/hdr_samples/with_to_array.rb
 - lib/HDLRuby/hdrcc.rb
 - lib/HDLRuby/high_samples/_adder_fault.rb
 - lib/HDLRuby/high_samples/_generic_transmission2.rb
@@ -208,6 +218,7 @@ files:
 - lib/HDLRuby/hruby_high.rb
 - lib/HDLRuby/hruby_low.rb
 - lib/HDLRuby/hruby_low2c.rb
+- lib/HDLRuby/hruby_low2hdr.rb
 - lib/HDLRuby/hruby_low2high.rb
 - lib/HDLRuby/hruby_low2seq.rb
 - lib/HDLRuby/hruby_low2sym.rb
@@ -232,7 +243,6 @@ files:
 - lib/HDLRuby/hruby_serializer.rb
 - lib/HDLRuby/hruby_tools.rb
 - lib/HDLRuby/hruby_types.rb
-- lib/HDLRuby/hruby_unit.rb
 - lib/HDLRuby/hruby_values.rb
 - lib/HDLRuby/hruby_verilog.rb
 - lib/HDLRuby/hruby_verilog_name.rb
@@ -293,6 +303,8 @@ files:
 - lib/HDLRuby/std/decoder.rb
 - lib/HDLRuby/std/fixpoint.rb
 - lib/HDLRuby/std/fsm.rb
+- lib/HDLRuby/std/function_generator.rb
+- lib/HDLRuby/std/hruby_unit.rb
 - lib/HDLRuby/std/linear.rb
 - lib/HDLRuby/std/loop.rb
 - lib/HDLRuby/std/memory.rb
@@ -315,7 +327,7 @@ homepage: https://github.com/civol/HDLRuby
 licenses:
 - MIT
 metadata: {}
-post_install_message: 
+post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -332,7 +344,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubygems_version: 3.0.8
-signing_key: 
+signing_key:
 specification_version: 4
 summary: HDLRuby is a library for describing and simulating digital electronic systems.
 test_files: []