HDLRuby 2.8.1 → 2.10.3

data/lib/HDLRuby/hdr_samples/with_delay.rb

@@ -0,0 +1,72 @@
+require 'std/delays.rb'
+
+include HDLRuby::High::Std
+
+# System descending for delayp for adding a reset.
+system :delayp_rst do |num|
+    include(delayp(num))
+
+    input :rst
+
+    par(clk.posedge) do
+        hif(rst) { state <= 0 }
+    end
+end
+
+
+# System testing delay, delayp and the new delayp_rst.
+system :with_delays do
+    num = 10
+
+    # The clock and reset signals
+    inner :clk,:rst
+    # The request signals.
+    inner :req, :reqp, :reqp_rst
+    # The ack signals.
+    inner :ack, :ackp, :ackp_rst
+
+    # Instantiate the delays.
+    delay(num).(:delayI).(clk,req,ack)
+    delayp(num).(:delaypI).(clk,reqp,ackp)
+    delayp_rst(num).(:delaypI_rst).(rst,clk,reqp_rst,ackp_rst)
+
+    # Test the delays.
+    timed do
+        clk <= 0
+        rst <= 0
+        !10.ns
+        clk <= 1
+        !10.ns
+        clk <= 0
+        req <= 1
+        reqp <= 1
+        reqp_rst <= 1
+        !10.ns
+        clk <= 1
+        !10.ns
+        req <= 0
+        clk <= 0
+        rst <= 1
+        !10.ns
+        clk <= 1
+        !10.ns
+        clk <= 0
+        rst <= 0
+        !10.ns
+        clk <= 1
+        !10.ns
+        clk <= 0
+        reqp <= 0
+        !10.ns
+        clk <= 1
+        !10.ns
+        clk <= 0
+        reqp_rst <= 0
+        10.times do
+            !10.ns
+            clk <= 1
+            !10.ns
+            clk <= 0
+        end
+    end
+end

data/lib/HDLRuby/hdr_samples/with_handshake.rb

@@ -0,0 +1,110 @@
+require 'std/handshakes.rb'
+
+include HDLRuby::High::Std
+
+
+# System using a handshake for summing inputs.
+system :hs_adder do
+    input :clk
+    [8].input :x,:y
+    [8].output :z
+
+    inner :read, :write
+
+    include(hs_pipe(clk.posedge,read,write))
+
+    par(clk.posedge) do
+        hif(read) do
+            z <= x + y
+            write <= 1
+        end
+        hif(ackO) do
+            z <= _zzzzzzzz
+            write <= 0
+        end
+    end
+end
+
+
+# System testing handshakes.
+system :with_handshake do
+
+    # The clock signal.
+    inner :clk
+    # The request and acknoledge signals.
+    inner :reqI,:ackI,:reqO,:ackO
+
+    # The input and output values.
+    [8].inner :x, :y, :z
+
+    # Instantiate the handshake adder.
+    hs_adder.(:adderI).(clk: clk, x: x, y: y, z: z,
+                        reqI: reqI, ackI: ackI, reqO: reqO, ackO: ackO)
+
+    # Test the handshake adder.
+    timed do
+        clk  <= 0
+        x    <= 0
+        y    <= 0
+        reqI <= 0
+        ackO <= 0
+        !10.ns
+        clk  <= 1
+        !10.ns
+        clk  <= 0
+        x    <= 1
+        y    <= 2
+        !10.ns
+        clk  <= 1
+        !10.ns
+        clk  <= 0
+        reqI <= 1
+        !10.ns
+        clk  <= 1
+        !10.ns
+        clk  <= 0
+        reqI <= 0
+        !10.ns
+        clk  <= 1
+        !10.ns
+        clk  <= 0
+        ackO <= 1
+        !10.ns
+        clk  <= 1
+        !10.ns
+        clk  <= 0
+        !10.ns
+        clk  <= 1
+        !10.ns
+        clk  <= 0
+        !10.ns
+        clk  <= 1
+        !10.ns
+        clk  <= 0
+        ackO <= 0
+        !10.ns
+        clk  <= 0
+        x    <= 3
+        y    <= 4
+        !10.ns
+        clk  <= 1
+        !10.ns
+        clk  <= 0
+        reqI <= 1
+        !10.ns
+        clk  <= 1
+        !10.ns
+        clk  <= 0
+        reqI <= 0
+        !10.ns
+        clk  <= 1
+        !10.ns
+        clk  <= 0
+        ackO <= 1
+        !10.ns
+        clk  <= 1
+        !10.ns
+        clk  <= 0
+        ackO <= 0
+    end
+end

data/lib/HDLRuby/hdr_samples/with_of.rb

@@ -0,0 +1,51 @@
+# Some abstract system.
+system :sysA do
+    input :clk,:rst
+    input :d
+    output :q
+end
+
+# Some inheriting system.
+system :sysH, sysA do
+    par(clk.posedge, rst.posedge) do
+        hprint("sys1\n")
+        q <= d & ~rst
+    end
+end
+
+# Another system that have nothing to see with the others.
+# Some abstract system.
+system :sysO do
+    input :clk,:rst
+    input :d
+    output :q
+
+    par(clk.posedge, rst.posedge) do
+        hprint("sys1\n")
+        q <= d & ~rst
+    end
+end
+
+
+# A system for testing inheritance and of?
+system :with_reconf do
+    input :clk,:rst
+    input :d
+    output :q
+
+    # Instantiate the abstract system.
+    sysA(:my_dffA).(clk,rst,d,q)
+
+    # Test the of?
+    puts "my_dffA.systemT.of?(sysA)=#{my_dffA.systemT.of?(sysA)}"
+    puts "my_dffA.systemT.of?(sysH)=#{my_dffA.systemT.of?(sysH)}"
+    puts "my_dffA.systemT.of?(sysO)=#{my_dffA.systemT.of?(sysO)}"
+
+    # Instantiate the inheriting system.
+    sysH(:my_dffH).(clk,rst,d,q)
+
+    # Test the of?
+    puts "my_dffH.systemT.of?(sysH)=#{my_dffH.systemT.of?(sysH)}"
+    puts "my_dffH.systemT.of?(sysA)=#{my_dffH.systemT.of?(sysA)}"
+    puts "my_dffH.systemT.of?(sysO)=#{my_dffH.systemT.of?(sysO)}"
+end

data/lib/HDLRuby/hdr_samples/with_reconf.rb

@@ -1,8 +1,3 @@
-require 'std/reconf.rb'
-
-include HDLRuby::High::Std
-
-
 
 # Some system that can be used for reconfiguration.
 system :sys0 do

data/lib/HDLRuby/hdrcc.rb

@@ -1,5 +1,41 @@
 #!/usr/bin/ruby
 
+
+# Check if run in interactive mode.
+if ARGV.include?("-I") || ARGV.include?("--interactive") then
+    # Yes, first check which repl to use.
+    idx = ARGV.index("-I")
+    idx = ARGV.index("--interactive") unless idx
+    if ARGV[idx+1] == "irb" || ARGV[idx+1] == nil then
+        repl = :irb
+    elsif ARGV[idx+1] == "pry" then
+        repl = :pry
+    else 
+        raise "Unknown repl: #{ARGV[idx+1]}"
+    end
+    # Look for the interactive Ruby library.
+    libpath = ""
+    $:.each do |dir|
+        if File.exist?(dir + "/hdrlib.rb") then
+            libpath = dir + "/hdrlib.rb"
+            break
+        end
+    end
+    ARGV.clear
+    ARGV.concat(['-r', libpath])
+    case repl
+    when :irb
+        require 'irb'
+        IRB.start
+    when :pry
+        require 'pry'
+        require libpath
+        # Pry.start(binding)
+        Pry.start()
+    end
+    abort
+end
+
 require 'fileutils'
 require 'tempfile'
 require 'HDLRuby'
@@ -267,6 +303,9 @@ def which(cmd)
 end
 
 
+# Used standalone, check the files given in the standard input.
+include HDLRuby
+
 
 if __FILE__ == $0 then
     # From hdrcc.rb
@@ -278,9 +317,6 @@ else
 end
 
 require 'optparse'
-# Used standalone, check the files given in the standard input.
-include HDLRuby
-
 # Process the command line options
 $options = {}
 $optparse = OptionParser.new do |opts|
@@ -293,7 +329,10 @@ $optparse = OptionParser.new do |opts|
     opts.separator "* `<output file>` is the output file"
     opts.separator ""
     opts.separator "Options:"
-    
+
+    opts.on("-I", "--interactive") do |repl|
+        raise "Internal error: the --interactive option should have been processed earlier."
+    end
     opts.on("-y", "--yaml", "Output in YAML format") do |y|
         $options[:yaml] = y
     end