HDLRuby 2.4.27 → 2.6.2

data/lib/HDLRuby/hruby_low_without_select.rb

@@ -162,6 +162,19 @@ module HDLRuby::Low
             return selects
         end
     end
+
+    ## Extends the String class with functionality for converting select
+    #  expressions to case statements.
+    class Print
+        # Extract the Select expressions.
+        def extract_selects!
+            selects = []
+            self.map_args! do |arg|
+                arg.extract_selects_to!(selects)
+            end
+            return selects
+        end
+    end
     
     ## Extends the If class with functionality for converting select
     #  expressions to case statements.

data/lib/HDLRuby/hruby_tools.rb

@@ -1,4 +1,3 @@
-
 module HDLRuby
 
 ##
@@ -40,4 +39,15 @@ module HDLRuby
         end
     end
 
+
+    # Module for adding prefixes to names.
+    module HDLRuby::Prefix
+
+        # Get the prefix 
+        def prefix
+            return self.name + "#"
+        end
+
+    end
+
 end

data/lib/HDLRuby/hruby_verilog.rb

@@ -14,146 +14,147 @@ module HDLRuby::Low
     # The list of base types used both in verilog and HDLRuby
     VERILOG_BASE_TYPES = ["signed"]
 
+    # The list of signals that are actually verilog regs.
+    VERILOG_REGS = []
+
+    ## Converts string +str+ to a Verilog-compatible string.
+    def self.v_string(str)
+        str = str.gsub(/\n/,"\\n")
+        str.gsub!(/\t/,"\\t")
+        return str
+    end
+
+
+    # Sample of very handy for programming.
+    # puts "class=#{self.yes.class}"       # Confirm class of self.yes.
+    # puts "methods=#{self.right.methods}" # Confirm method of self.right.
+    # puts  "outputs=#{outputs}"           # Confirm outputs
+
+    # each. do |*arg|                      # I forgot this.
+    #    puts args
+    # end
 
-# Sample of very handy for programming.
-# puts "class=#{self.yes.class}"       # Confirm class of self.yes.
-# puts "methods=#{self.right.methods}" # Confirm method of self.right.
-# puts  "outputs=#{outputs}"           # Confirm outputs
-
-# each. do |*arg|                      # I forgot this.
-#    puts args
-# end
-
-# Global variable used for indentation and structure (temporary).
-$space_count = 0   # Count used for increasing indent by if statement. (temporary)
-$vector_reg = ""   # For storing signal type at structure declaration. (temporary)
-$vector_cnt = 0    # For allocating numbers at structure declaration.  (temporary)
-
-# class Fixnum
-#     def to_verilog
-#         to_s
-#     end
-# end
-class ::Integer
-    def to_verilog
-        to_s
+    # Global variable used for indentation and structure (temporary).
+    $vector_reg = ""   # For storing signal type at structure declaration. (temporary)
+    $vector_cnt = 0    # For allocating numbers at structure declaration.  (temporary)
+
+    class ::Integer
+        def to_verilog
+            to_s
+        end
     end
-end
 
-# Class summarizing "hash" used for "par" or "seq" conversion.
-class Fm
-    attr_reader :fm_seq, :fm_par, :rep, :rep_sharp
-    def initialize
-        @fm_seq = {}      # Used to seq -> par.
-        @fm_par = {}      # Used to par -> seq.
-        @rep = {}         # Used to give ' to variables
-        @rep_sharp = {}   # Used to give # to variables
+    # Class summarizing "hash" used for "par" or "seq" conversion.
+    class Fm
+        attr_reader :fm_seq, :fm_par, :rep, :rep_sharp
+        def initialize
+            @fm_seq = {}      # Used to seq -> par.
+            @fm_par = {}      # Used to par -> seq.
+            @rep = {}         # Used to give ' to variables
+            @rep_sharp = {}   # Used to give # to variables
+        end
     end
-end
 
-# Declaration of fm to manage each hash.
-$fm = Fm.new
+    # Declaration of fm to manage each hash.
+    $fm = Fm.new
 
-# A class that translates the left-hand side, operator, and right-hand side into form of expression.
-class Binary
-    # Converts the system to Verilog code.
-    def to_verilog
-        return "(#{self.left.to_verilog} #{self.operator} #{self.right.to_verilog})"
-    end
+    # A class that translates the left-hand side, operator, and right-hand side into form of expression.
+    class Binary
+        # Converts the system to Verilog code.
+        def to_verilog
+            return "(#{self.left.to_verilog} #{self.operator} #{self.right.to_verilog})"
+        end
 
-    # Method called when two or more expression terms are present.
-    # When translating par into seq mode = seq, when translating seq to par mode = par.
-    # Search recursively and replace if hash matches identifier.
-    def to_change(mode)
-        # Recursively search the left side and the right side, check the identifier and replace it.
-        if self.left.is_a? (Binary) then
-            # If there is an expression on the left side of the right side, to_chang is executed again.
-            left = self.left.to_change(mode)
-        else
-            # If you need to replace the variable, replace it. Otherwise we will get a clone.
-            if $fm.fm_par.has_key?(self.left.to_verilog) && mode == :par then
-                left = $fm.fm_par["#{self.left.to_verilog}"]
-            elsif $fm.fm_seq.has_key?(self.left.to_verilog) && mode == :seq then
-                left = $fm.fm_seq["#{self.left.to_verilog}"]
+        # Method called when two or more expression terms are present.
+        # When translating par into seq mode = seq, when translating seq to par mode = par.
+        # Search recursively and replace if hash matches identifier.
+        def to_change(mode)
+            # Recursively search the left side and the right side, check the identifier and replace it.
+            if self.left.is_a? (Binary) then
+                # If there is an expression on the left side of the right side, to_chang is executed again.
+                left = self.left.to_change(mode)
             else
-                left = self.left.clone
+                # If you need to replace the variable, replace it. Otherwise we will get a clone.
+                if $fm.fm_par.has_key?(self.left.to_verilog) && mode == :par then
+                    left = $fm.fm_par["#{self.left.to_verilog}"]
+                elsif $fm.fm_seq.has_key?(self.left.to_verilog) && mode == :seq then
+                    left = $fm.fm_seq["#{self.left.to_verilog}"]
+                else
+                    left = self.left.clone
+                end
             end
-        end
-        if self.right.is_a? (Binary) then
-            # Recursively search the right side and the right side, check the identifier and replace it.
-            right = self.right.to_change(mode)
-        else
-            # If you need to replace the variable, replace it. Otherwise we will get a clone.
-            if $fm.fm_par.has_key?(self.right.to_verilog) && mode == :par then
-                right = $fm.fm_par["#{self.right.to_verilog}"]
-            elsif $fm.fm_seq.has_key?(self.right.to_verilog) && mode == :seq then
-                right = $fm.fm_seq["#{self.right.to_verilog}"]
+            if self.right.is_a? (Binary) then
+                # Recursively search the right side and the right side, check the identifier and replace it.
+                right = self.right.to_change(mode)
             else
-                right = self.right.clone
+                # If you need to replace the variable, replace it. Otherwise we will get a clone.
+                if $fm.fm_par.has_key?(self.right.to_verilog) && mode == :par then
+                    right = $fm.fm_par["#{self.right.to_verilog}"]
+                elsif $fm.fm_seq.has_key?(self.right.to_verilog) && mode == :seq then
+                    right = $fm.fm_seq["#{self.right.to_verilog}"]
+                else
+                    right = self.right.clone
+                end
             end
+            # After confirmation, we create and return an expression.
+            return Binary.new(self.type,self.operator,left.clone,right.clone)
         end
-        # After confirmation, we create and return an expression.
-        return Binary.new(self.type,self.operator,left.clone,right.clone)
     end
-end
 
-# class of Represent blocking substitution or nonblocking assignment.
-# Enhance Transmit with generation of verilog code.
-class Transmit
-    # Converts the system to Verilog code.
-    def to_verilog(mode = nil)
-        # Determine blocking assignment or nonblocking substitution from mode and return it.
-        code = "#{self.left.to_verilog} #{mode == "seq" ? "=" : "<="} #{self.right.to_verilog};\n"
-        return code
+    # class of Represent blocking substitution or nonblocking assignment.
+    # Enhance Transmit with generation of verilog code.
+    class Transmit
+        # Converts the system to Verilog code.
+        def to_verilog(spc = 3)
+            # Determine blocking assignment or nonblocking substitution from mode and return it.
+            code = "#{" " * spc}#{self.left.to_verilog} #{self.block.mode == :seq ? "=" : "<="} #{self.right.to_verilog};"
+            return code
+        end
     end
-end
 
-# To scheduling to the Block.
-# Enhance Block with generation of verilog code.
-class Block
-    # Converts the system to Verilog code.
-    def to_verilog(mode = nil)
-        # No translation is done in this class.
-        puts "Block to_verilog not found" # For debugging
+    # Enhance Print with generation of verilog code.
+    class Print
+        # Converts the system to Verilog code.
+        def to_verilog(spc = 3)
+            code = "#{" " * spc}$write(#{self.each_arg.map do |arg|
+            arg.to_verilog
+            end.join(",") });"
+            return code
+        end
     end
 
-    # Extract and convert to verilog the TimeRepeat statements.
-    # NOTE: work only on the current level of the block (should be called
-    # through each_block_deep).
-    def repeat_to_verilog!
-        code = ""
-        # Gather the TimeRepeat statements.
-        repeats = self.each_statement.find_all { |st| st.is_a?(TimeRepeat) }
-        # Remove them from the block.
-        repeats.each { |st| self.delete_statement!(st) }
-        # Generate them separately in timed always processes.
-        repeats.each do |st|
-            code << "   always #{st.delay.to_verilog} begin\n"
-
-            # Perform "scheduling" using the method "flatten".
-            block = st.statement.flatten(st.statement.mode.to_s)
-
+    # To scheduling to the Block.
+    # Enhance Block with generation of verilog code.
+    class Block
+
+        # Converts the system to Verilog code adding 'spc' spaces at the begining
+        # of each line.
+        def to_verilog(spc = 3)
+            code = "begin"
+            if self.name && !self.name.empty? then
+                vname = name_to_verilog(self.name)
+                code << " : #{vname}"
+                self.properties[:verilog_name] = vname
+            end
+            code << "\n" if block.each_inner.any?
             # Declaration of "inner" part within "always".
             block.each_inner do |inner|
-                # if regs.include?(inner.name) then
-                if regs.include?(inner.to_verilog) then
-                    code << "      reg"
+                if HDLRuby::Low::VERILOG_REGS.include?(inner.to_verilog) then
+                    # code << "      reg"
+                    code << "#{" " * (spc+3)}reg"
                 else
-                    code << "      wire"
+                    code << "#{" " * (spc+3)}wire"
                 end
 
                 # Variable has "base", but if there is width etc, it is not in "base".
                 # It is determined by an if.
                 if inner.type.base? 
                     if inner.type.base.base? 
-                        # code << "#{inner.type.base.to_verilog} #{inner.to_verilog} #{inner.type.to_verilog};\n"
                         code << "#{inner.type.base.to_verilog} #{inner.to_verilog} #{inner.type.to_verilog}"
                     else
-                        # code << "#{inner.type.to_verilog} #{inner.to_verilog};\n"
                         code << "#{inner.type.to_verilog} #{inner.to_verilog}"
                     end
                 else
-                    # code << " #{inner.type.to_verilog}#{inner.to_verilog};\n"
                     code << " #{inner.type.to_verilog}#{inner.to_verilog}"
                 end
                 if inner.value then
@@ -165,40 +166,187 @@ class Block
 
             # Translate the block that finished scheduling.
             block.each_statement do |statement|
-                code  << "\n      #{statement.to_verilog(block.mode.to_s)}"
+                # puts "#{statement.to_verilog(spc+3)}"
+                if statement.is_a?(Block) then
+                    code << "\n#{" " * (spc+3)}#{statement.to_verilog(spc+3)}"
+                else
+                    code  << "\n#{statement.to_verilog(spc+3)}"
+                end
             end
+            # Close the block."
+            code << "\n#{" "*spc}end"
+            return code
+        end
 
-            $fm.fm_par.clear()
 
-            code << "\n   end\n\n"
-        end
-        return code
-    end
 
 
-    # Process top layer of Block.
-    # Determine whether there is a block under block and convert it.
-    def flatten(mode = nil)
-        if self.is_a?(TimeBlock) then
-            new_block = TimeBlock.new(self.mode,"")
-        else
-            new_block  = Block.new(self.mode,"") # A new block to store the converted statement.
+
+        # Extract and convert to verilog the TimeRepeat statements.
+        # NOTE: work only on the current level of the block (should be called
+        # through each_block_deep).
+        def repeat_to_verilog!
+            code = ""
+            # Gather the TimeRepeat statements.
+            repeats = self.each_statement.find_all { |st| st.is_a?(TimeRepeat) }
+            # Remove them from the block.
+            repeats.each { |st| self.delete_statement!(st) }
+            # Generate them separately in timed always processes.
+            repeats.each do |st|
+                code << "   always #{st.delay.to_verilog} begin\n"
+
+                # Perform "scheduling" using the method "flatten".
+                block = st.statement.flatten(st.statement.mode.to_s)
+
+                # Declaration of "inner" part within "always".
+                block.each_inner do |inner|
+                    # if regs.include?(inner.name) then
+                    if HDLRuby::Low::VERILOG_REGS.include?(inner.to_verilog) then
+                        code << "      reg"
+                    else
+                        code << "      wire"
+                    end
+
+                    # Variable has "base", but if there is width etc, it is not in "base".
+                    # It is determined by an if.
+                    if inner.type.base? 
+                        if inner.type.base.base? 
+                            code << "#{inner.type.base.to_verilog} #{inner.to_verilog} #{inner.type.to_verilog}"
+                        else
+                            code << "#{inner.type.to_verilog} #{inner.to_verilog}"
+                        end
+                    else
+                        code << " #{inner.type.to_verilog}#{inner.to_verilog}"
+                    end
+                    if inner.value then
+                        # There is an initial value.
+                        code << " = #{inner.value.to_verilog}"
+                    end
+                    code << ";\n"
+                end
+
+                # Translate the block that finished scheduling.
+                block.each_statement do |statement|
+                    code  << "\n      #{statement.to_verilog(block.mode.to_s)}"
+                end
+
+                $fm.fm_par.clear()
+
+                code << "\n   end\n\n"
+            end
+            return code
         end
-        list = []                            # A list for confirming that variable declarations do not overlap.
 
-        # Is block in the statement?
-        if (self.each_statement.find {|stmnt| stmnt.is_a?(Block)}) then
-            # Process for each type of statement in block.
-            self.each_statement do |statement|
 
+        # Process top layer of Block.
+        # Determine whether there is a block under block and convert it.
+        def flatten(mode = nil)
+            if self.is_a?(TimeBlock) then
+                new_block = TimeBlock.new(self.mode,"")
+            else
+                new_block  = Block.new(self.mode,"") # A new block to store the converted statement.
+            end
+            list = []                            # A list for confirming that variable declarations do not overlap.
+
+            # Is block in the statement?
+            if (self.each_statement.find {|stmnt| stmnt.is_a?(Block)}) then
+                # Process for each type of statement in block.
+                self.each_statement do |statement|
+                    # If statement is case, there is a block for each default and when, so translate each.      
+                    if statement.is_a?(Case) then
+                        if statement.default.is_a?(Block)
+                            default = statement.default.flatten
+                            new_default = Block.new(default.mode,"")
+
+                            default.each_inner do |inner|          
+                                # I read inner, but when I am par, I delete all '.
+                                unless (list.include?(inner.name.to_s)) then
+                                    if (self.mode == :seq) || (inner.name.to_s.include? "#") then
+                                        list << inner.name.to_s
+                                        new_block.add_inner(inner.clone)
+                                    end            
+                                end
+                            end
 
-                # If statement is case, there is a block for each default and when, so translate each.      
-                if statement.is_a?(Case) then
-                    if statement.default.is_a?(Block)
-                        default = statement.default.flatten
-                        new_default = Block.new(default.mode,"")
+                            default.each_statement do |statement|
+                                # If statement is Transmit, it is an expression and should be processed.
+                                if statement.is_a?(Transmit) then
+                                    # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
+                                    unless (res_name(statement.left).name.to_s.include? "'") || default.mode == :par then
+                                        # Prepare a new signal with the # on the variable on the left side using the att_signal method.
+                                        new_signal = att_signal(statement.left, "#")
+                                        # Check list and add new variables to inner if they do not duplicate.
+                                        unless (list.include?(new_signal.name.to_s)) then
+                                            list << new_signal.name.to_s
+                                            new_block.add_inner(new_signal)
+                                        end
+
+                                        new_statement = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
+
+                                        $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
+
+                                        $fm.fm_par["#{statement.left.to_verilog}"] = new_statement.left
+                                        new_default.add_statement(new_statement.clone)
+                                    else
+                                        new_default.add_statement(statement.clone)
+                                    end 
+                                else
+                                    new_default.add_statement(statement.clone)
+                                end
+                            end     
+                        end
 
-                        default.each_inner do |inner|          
+                        new_statement = Case.new(statement.value.clone,statement.default ? new_default.clone : nil,[])
+
+                        statement.each_when do |whens|
+                            when_smt = whens.statement.flatten
+                            new_when_smt = Block.new(when_smt.mode,"")
+
+                            when_smt.each_statement do |statement|
+                                # If statement is Transmit, it is an expression and should be processed.
+                                if statement.is_a?(Transmit) then
+                                    # # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
+                                    unless (res_name(statement.left).name.to_s.include? "'") || when_smt.mode == :par then
+                                        # # Prepare a new signal with the # on the variable on the left side using the att_signal method.
+                                        new_signal = att_signal(statement.left, "#")
+                                        # Check list and add new variables to inner if they do not duplicate.
+                                        unless (list.include?(new_signal.name.to_s)) then
+                                            list << new_signal.name.to_s
+                                            new_block.add_inner(new_signal)
+                                        end
+
+                                        new_smt = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
+
+                                        $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
+
+                                        $fm.fm_par["#{statement.left.to_verilog}"] = new_smt.left
+                                        new_when_smt.add_statement(new_smt.clone)
+                                    else
+                                        new_when_smt.add_statement(statement.clone)
+                                    end 
+                                else
+                                    new_when_smt.add_statement(statement.clone)
+                                end
+                            end
+
+                            new_when = When.new(whens.match.clone,new_when_smt.clone)
+                            new_statement.add_when(new_when.clone)
+                        end
+
+                        new_block.add_statement(new_statement)
+
+                        $fm.rep_sharp.each_key do |key|
+                            new_smt = Transmit.new(key.clone,$fm.rep_sharp[key].clone)
+                            new_block.add_statement(new_smt.clone)
+                        end
+                        $fm.rep_sharp.clear() # Deactivate rep that has become obsolete.
+
+                        # If the statement is if, there is a block for each of yes, no, noifs, so translate each.
+                    elsif statement.is_a?(If) then   
+                        yes = statement.yes.flatten       # Smooth yes of if statement. 
+                        new_yes = Block.new(yes.mode,"")  # New yes storage block
+
+                        yes.each_inner do |inner|          
                             # I read inner, but when I am par, I delete all '.
                             unless (list.include?(inner.name.to_s)) then
                                 if (self.mode == :seq) || (inner.name.to_s.include? "#") then
@@ -208,11 +356,12 @@ class Block
                             end
                         end
 
-                        default.each_statement do |statement|
+                        # Check the statements in "yes" in order.
+                        yes.each_statement do |statement|
                             # If statement is Transmit, it is an expression and should be processed.
                             if statement.is_a?(Transmit) then
                                 # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
-                                unless (res_name(statement.left).name.to_s.include? "'") || default.mode == :par then
+                                unless (res_name(statement.left).name.to_s.include? "'") || yes.mode == :par then
                                     # Prepare a new signal with the # on the variable on the left side using the att_signal method.
                                     new_signal = att_signal(statement.left, "#")
                                     # Check list and add new variables to inner if they do not duplicate.
@@ -225,130 +374,188 @@ class Block
 
                                     $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
 
+                                    new_yes.add_statement(new_statement.clone)
+
+
                                     $fm.fm_par["#{statement.left.to_verilog}"] = new_statement.left
-                                    new_default.add_statement(new_statement.clone)
+
                                 else
-                                    new_default.add_statement(statement.clone)
+                                    new_yes.add_statement(statement.clone)
                                 end 
                             else
-                                new_default.add_statement(statement.clone)
+                                new_yes.add_statement(statement.clone)
                             end
-                        end     
-                    end
+                        end
 
-                    new_statement = Case.new(statement.value.clone,statement.default ? new_default.clone : nil,[])
+                        # Confirm that "else" exists and convert it if it exists.
+                        # Because error occurs when trying to convert when "else" does not exist.
+                        if statement.no.is_a? (Block) then
+                            no = statement.no.flatten
+                            new_no = Block.new(no.mode,"")
+
+                            no.each_inner do |inner|          
+                                # I read inner, but when I am par, I delete all '.
+                                unless (list.include?(inner.name.to_s)) then
+                                    if (self.mode == :seq) || (inner.name.to_s.include? "#") then
+                                        list << inner.name.to_s
+                                        new_block.add_inner(inner.clone)
+                                    end            
+                                end
+                            end
 
-                    statement.each_when do |whens|
-                        when_smt = whens.statement.flatten
-                        new_when_smt = Block.new(when_smt.mode,"")
+                            no.each_statement do |statement|
+                                # If statement is Transmit, it is an expression and should be processed.
+                                if statement.is_a?(Transmit) then
+                                    # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
+                                    unless (res_name(statement.left).name.to_s.include? "'") || yes.mode == :par then
 
-                        when_smt.each_statement do |statement|
-                            # If statement is Transmit, it is an expression and should be processed.
-                            if statement.is_a?(Transmit) then
-                                # # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
-                                unless (res_name(statement.left).name.to_s.include? "'") || when_smt.mode == :par then
-                                    # # Prepare a new signal with the # on the variable on the left side using the att_signal method.
-                                    new_signal = att_signal(statement.left, "#")
-                                    # Check list and add new variables to inner if they do not duplicate.
-                                    unless (list.include?(new_signal.name.to_s)) then
-                                        list << new_signal.name.to_s
-                                        new_block.add_inner(new_signal)
-                                    end
+                                        new_signal = att_signal(statement.left, "#")
 
-                                    new_smt = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
+                                        # Double declaration of existing variable can not be done, so it is excluded.
+                                        unless (list.include?(new_signal.name.to_s)) then
+                                            list << new_signal.name.to_s
+                                            new_block.add_inner(new_signal)
+                                        end
 
-                                    $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
+                                        new_statement = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
 
-                                    $fm.fm_par["#{statement.left.to_verilog}"] = new_smt.left
-                                    new_when_smt.add_statement(new_smt.clone)
+                                        $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
+
+                                        $fm.fm_par["#{statement.left.to_verilog}"] = new_statement.left
+                                        new_no.add_statement(new_statement.clone)
+                                    else
+                                        new_no.add_statement(statement.clone)
+                                    end 
                                 else
-                                    new_when_smt.add_statement(statement.clone)
-                                end 
-                            else
-                                new_when_smt.add_statement(statement.clone)
+                                    new_no.add_statement(statement.clone)
+                                end
                             end
                         end
 
-                        new_when = When.new(whens.match.clone,new_when_smt.clone)
-                        new_statement.add_when(new_when.clone)
-                    end
+                        # Rebuild the converted "if" as a new" statement (If)".
+                        new_statement = If.new(statement.condition.clone,new_yes.clone,statement.no ? new_no.clone : nil)
+
+                        # Just like "no", check if "noifs (elsif)" exists and if there is, take one by one and convert.
+                        # After that, add the converted "noif" to "If".
+                        statement.each_noif do |condition, block|
+                            noif = block.flatten
+                            new_noif = Block.new(noif.mode,"")
+
+                            noif.each_inner do |inner|          
+                                # I read inner, but when I am par, I delete all '.
+                                unless (list.include?(inner.name.to_s)) then
+                                    if (self.mode == :seq) || (inner.name.to_s.include? "#") then
+                                        list << inner.name.to_s
+                                        new_block.add_inner(inner.clone)
+                                    end            
+                                end
+                            end
 
-                    new_block.add_statement(new_statement)
 
-                    $fm.rep_sharp.each_key do |key|
-                        new_smt = Transmit.new(key.clone,$fm.rep_sharp[key].clone)
-                        new_block.add_statement(new_smt.clone)
-                    end
-                    $fm.rep_sharp.clear() # Deactivate rep that has become obsolete.
+                            noif.each_statement do |statement|
+                                # If statement is Transmit, it is an expression and should be processed.
+                                if statement.is_a?(Transmit) then
+                                    # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
+                                    unless (res_name(statement.left).name.to_s.include? "'") || yes.mode == :par then
 
-                    # If the statement is if, there is a block for each of yes, no, noifs, so translate each.
-                elsif statement.is_a?(If) then   
-                    yes = statement.yes.flatten       # Smooth yes of if statement. 
-                    new_yes = Block.new(yes.mode,"")  # New yes storage block
+                                        new_signal = att_signal(statement.left, "#")
 
-                    yes.each_inner do |inner|          
-                        # I read inner, but when I am par, I delete all '.
-                        unless (list.include?(inner.name.to_s)) then
-                            if (self.mode == :seq) || (inner.name.to_s.include? "#") then
-                                list << inner.name.to_s
-                                new_block.add_inner(inner.clone)
-                            end            
-                        end
-                    end
+                                        # Double declaration of existing variable can not be done, so it is excluded.
+                                        unless (list.include?(new_signal.name.to_s)) then
+                                            list << new_signal.name.to_s
+                                            new_block.add_inner(new_signal)
+                                        end
 
-                    # Check the statements in "yes" in order.
-                    yes.each_statement do |statement|
-                        # If statement is Transmit, it is an expression and should be processed.
-                        if statement.is_a?(Transmit) then
-                            # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
-                            unless (res_name(statement.left).name.to_s.include? "'") || yes.mode == :par then
-                                # Prepare a new signal with the # on the variable on the left side using the att_signal method.
-                                new_signal = att_signal(statement.left, "#")
-                                # Check list and add new variables to inner if they do not duplicate.
-                                unless (list.include?(new_signal.name.to_s)) then
-                                    list << new_signal.name.to_s
-                                    new_block.add_inner(new_signal)
+                                        new_statement = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
+
+                                        $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
+
+                                        $fm.fm_par["#{statement.left.to_verilog}"] = new_statement.left
+                                        new_noif.add_statement(new_statement.clone)
+                                    else
+                                        new_noif.add_statement(statement.clone)
+                                    end 
+                                else
+                                    new_noif.add_statement(statement.clone)
                                 end
+                            end
 
-                                new_statement = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
+                            new_statement.add_noif(condition.clone,new_noif.clone)
+                        end
 
-                                $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
+                        new_block.add_statement(new_statement.clone)
 
-                                new_yes.add_statement(new_statement.clone)
+                        $fm.rep_sharp.each_key do |key|
+                            new_smt = Transmit.new(key.clone,$fm.rep_sharp[key].clone)
+                            new_block.add_statement(new_smt.clone)
+                        end
+                        $fm.rep_sharp.clear() # Deactivate rep that has become obsolete.
 
+                        # Process when "statement" is "Transmit" (just expression).
+                        # Record the expression in fm_par used for par-> seq and add the expression to new_block which is the "new block".
+                    elsif statement.is_a?(Transmit) then
+                        if self.mode == :seq then
+                            $fm.fm_par["#{statement.left.to_verilog}"] = statement.right
+                        end
+                        new_block.add_statement(statement.clone)
 
-                                $fm.fm_par["#{statement.left.to_verilog}"] = new_statement.left
+                        # When statement is Block (lower layer exists).
+                        # Smooth the lower layer with do_flat.
+                        # Add the added variables (inner) and expressions (statement) to new_block, respectively.
+                    elsif statement.is_a?(Block) then
+                        smt = statement.do_flat(self.mode)
 
-                            else
-                                new_yes.add_statement(statement.clone)
-                            end 
-                        else
-                            new_yes.add_statement(statement.clone)
+                        smt.each_inner do |inner|         
+                            # I read inner, but when I am par, I delete all '.
+                            unless (list.include?(inner.name.to_s)) then
+                                if (self.mode == :seq) || (inner.name.to_s.include? "#") then
+                                    list << inner.name.to_s
+                                    new_block.add_inner(inner.clone)        
+                                end
+                            end
+                        end
+                        smt.each_statement do |tmt|
+                            # Retrieve the RefName of the variable on the left side and store it in this_name.
+                            if ((tmt.is_a? (Transmit)) && (self.mode == :seq)) then
+                                $fm.fm_par["#{tmt.left.to_verilog}"] = tmt.right
+                            end
+                            new_block.add_statement(tmt.clone)           
                         end
+                    else
+                        # Other statements are simply added as is.
+                        new_block.add_statement(statement.clone)
                     end
+                end
 
-                    # Confirm that "else" exists and convert it if it exists.
-                    # Because error occurs when trying to convert when "else" does not exist.
-                    if statement.no.is_a? (Block) then
-                        no = statement.no.flatten
-                        new_no = Block.new(no.mode,"")
+                return new_block # Return the new_block that completed the smoothing.
 
-                        no.each_inner do |inner|          
+                # Processing when there is no block beneath.
+                # Unlike ordinary "if" and "case" blocks come down, we check individually block under block.
+            else
+                self.each_statement do |statement|
+                    # If the if statement, convert it, otherwise add it as is
+                    if statement.is_a?(If) then
+                        # Since yes always exists, it is no problem even if it is converted as it is.
+                        yes = statement.yes.flatten 
+                        new_yes = Block.new(yes.mode,"")
+
+                        yes.each_inner do |inner|          
                             # I read inner, but when I am par, I delete all '.
                             unless (list.include?(inner.name.to_s)) then
-                                if (self.mode == :seq) || (inner.name.to_s.include? "#") then
+                                if (yes.mode == :seq) || (inner.name.to_s.include? "#") then
                                     list << inner.name.to_s
                                     new_block.add_inner(inner.clone)
                                 end            
                             end
                         end
 
-                        no.each_statement do |statement|
+                        # Check the statements in "yes" in order.
+                        yes.each_statement do |statement|
                             # If statement is Transmit, it is an expression and should be processed.
                             if statement.is_a?(Transmit) then
                                 # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
                                 unless (res_name(statement.left).name.to_s.include? "'") || yes.mode == :par then
-
+                                    # Generate a new signal to return #.
                                     new_signal = att_signal(statement.left, "#")
 
                                     # Double declaration of existing variable can not be done, so it is excluded.
@@ -362,320 +569,378 @@ class Block
                                     $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
 
                                     $fm.fm_par["#{statement.left.to_verilog}"] = new_statement.left
-                                    new_no.add_statement(new_statement.clone)
+                                    new_yes.add_statement(new_statement.clone)
                                 else
-                                    new_no.add_statement(statement.clone)
+                                    new_yes.add_statement(statement.clone)
                                 end 
                             else
-                                new_no.add_statement(statement.clone)
+                                new_yes.add_statement(statement.clone)
                             end
                         end
-                    end
 
-                    # Rebuild the converted "if" as a new" statement (If)".
-                    new_statement = If.new(statement.condition.clone,new_yes.clone,statement.no ? new_no.clone : nil)
+                        # Confirm that "else" exists and convert it if it exists.
+                        # Because error occurs when trying to convert when "else" does not exist.
+                        if statement.no.is_a? (Block) then          
+                            no = statement.no.flatten
+                            new_no = Block.new(no.mode,"")
+
+                            no.each_inner do |inner|          
+                                # I read inner, but when I am par, I delete all '.
+                                unless (list.include?(inner.name.to_s)) then
+                                    if (no.mode == :seq) || (inner.name.to_s.include? "#") then
+                                        list << inner.name.to_s
+                                        new_block.add_inner(inner.clone)
+                                    end            
+                                end
+                            end
 
-                    # Just like "no", check if "noifs (elsif)" exists and if there is, take one by one and convert.
-                    # After that, add the converted "noif" to "If".
-                    statement.each_noif do |condition, block|
-                        noif = block.flatten
-                        new_noif = Block.new(noif.mode,"")
+                            no.each_statement do |statement|
+                                # If statement is Transmit, it is an expression and should be processed.
+                                if statement.is_a?(Transmit) then
+                                    # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
+                                    unless (res_name(statement.left).name.to_s.include? "'") || no.mode == :par then
 
-                        noif.each_inner do |inner|          
-                            # I read inner, but when I am par, I delete all '.
-                            unless (list.include?(inner.name.to_s)) then
-                                if (self.mode == :seq) || (inner.name.to_s.include? "#") then
-                                    list << inner.name.to_s
-                                    new_block.add_inner(inner.clone)
-                                end            
+                                        new_signal = att_signal(statement.left, "#")
+
+                                        # Double declaration of existing variable can not be done, so it is excluded.
+                                        unless (list.include?(new_signal.name.to_s)) then
+                                            list << new_signal.name.to_s
+                                            new_block.add_inner(new_signal)
+                                        end
+
+                                        new_statement = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
+
+                                        $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
+
+                                        $fm.fm_par["#{statement.left.to_verilog}"] = new_statement.left
+                                        new_no.add_statement(new_statement.clone)
+                                    else
+                                        new_no.add_statement(statement.clone)
+                                    end 
+                                else
+                                    new_no.add_statement(statement.clone)
+                                end
                             end
                         end
+                        # Rebuild the converted "if" as a new" statement (If)".
+                        new_statement = If.new(statement.condition.clone,new_yes.clone,statement.no ? new_no.clone : nil)
+                        # Just like "no", check if "noifs (elsif)" exists and if there is, take one by one and convert.
+                        # After that, add the converted "noif" to "If".
+                        statement.each_noif do |condition, block|
+
+                            noif = block.flatten
+                            new_noif = Block.new(noif.mode,"")
+
+                            noif.each_inner do |inner|          
+                                # I read inner, but when I am par, I delete all '.
+                                unless (list.include?(inner.name.to_s)) then
+                                    if (noif.mode == :seq) || (inner.name.to_s.include? "#") then
+                                        list << inner.name.to_s
+                                        new_block.add_inner(inner.clone)
+                                    end            
+                                end
+                            end
 
 
-                        noif.each_statement do |statement|
-                            # If statement is Transmit, it is an expression and should be processed.
-                            if statement.is_a?(Transmit) then
-                                # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
-                                unless (res_name(statement.left).name.to_s.include? "'") || yes.mode == :par then
+                            noif.each_statement do |statement|
+                                # If statement is Transmit, it is an expression and should be processed.
+                                if statement.is_a?(Transmit) then
+                                    # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
+                                    unless (res_name(statement.left).name.to_s.include? "'") || noif.mode == :par then
 
-                                    new_signal = att_signal(statement.left, "#")
+                                        new_signal = att_signal(statement.left, "#")
 
-                                    # Double declaration of existing variable can not be done, so it is excluded.
-                                    unless (list.include?(new_signal.name.to_s)) then
-                                        list << new_signal.name.to_s
-                                        new_block.add_inner(new_signal)
-                                    end
+                                        # Double declaration of existing variable can not be done, so it is excluded.
+                                        unless (list.include?(new_signal.name.to_s)) then
+                                            list << new_signal.name.to_s
+                                            new_block.add_inner(new_signal)
+                                        end
 
-                                    new_statement = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
+                                        new_statement = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
 
-                                    $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
+                                        $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
 
-                                    $fm.fm_par["#{statement.left.to_verilog}"] = new_statement.left
-                                    new_noif.add_statement(new_statement.clone)
+                                        $fm.fm_par["#{statement.left.to_verilog}"] = new_statement.left
+                                        new_noif.add_statement(new_statement.clone)
+                                    else
+                                        new_noif.add_statement(statement.clone)
+                                    end 
                                 else
                                     new_noif.add_statement(statement.clone)
-                                end 
-                            else
-                                new_noif.add_statement(statement.clone)
+                                end
                             end
-                        end
 
-                        new_statement.add_noif(condition.clone,new_noif.clone)
-                    end
+                            new_statement.add_noif(condition.clone,new_noif.clone)
+                        end
 
-                    new_block.add_statement(new_statement.clone)
+                        new_block.add_statement(new_statement.clone)
 
-                    $fm.rep_sharp.each_key do |key|
-                        new_smt = Transmit.new(key.clone,$fm.rep_sharp[key].clone)
-                        new_block.add_statement(new_smt.clone)
-                    end
-                    $fm.rep_sharp.clear() # Deactivate rep that has become obsolete.
+                        $fm.rep_sharp.each_key do |key|
+                            new_smt = Transmit.new(key.clone,$fm.rep_sharp[key].clone)
+                            new_block.add_statement(new_smt.clone)
+                        end
+                        $fm.rep_sharp.clear() # Deactivate rep that has become obsolete.
 
-                    # Process when "statement" is "Transmit" (just expression).
-                    # Record the expression in fm_par used for par-> seq and add the expression to new_block which is the "new block".
-                elsif statement.is_a?(Transmit) then
-                    if self.mode == :seq then
-                        $fm.fm_par["#{statement.left.to_verilog}"] = statement.right
-                    end
-                    new_block.add_statement(statement.clone)
+                    elsif statement.is_a?(Case) then
+                        if statement.default.is_a?(Block)
+                            new_default = statement.default.flatten
+                        end
 
-                    # When statement is Block (lower layer exists).
-                    # Smooth the lower layer with do_flat.
-                    # Add the added variables (inner) and expressions (statement) to new_block, respectively.
-                elsif statement.is_a?(Block) then
-                    smt = statement.do_flat(self.mode)
+                        new_statement = Case.new(statement.value.clone,statement.default ? new_default.clone : nil,[])
+                        statement.each_when do |whens|
+                            new_when_statement = whens.statement.flatten
+                            new_when = When.new(whens.match.clone,new_when_statement.clone)
 
-                    smt.each_inner do |inner|         
-                        # I read inner, but when I am par, I delete all '.
-                        unless (list.include?(inner.name.to_s)) then
-                            if (self.mode == :seq) || (inner.name.to_s.include? "#") then
-                                list << inner.name.to_s
-                                new_block.add_inner(inner.clone)        
-                            end
-                        end
-                    end
-                    smt.each_statement do |tmt|
-                        # Retrieve the RefName of the variable on the left side and store it in this_name.
-                        if ((tmt.is_a? (Transmit)) && (self.mode == :seq)) then
-                            $fm.fm_par["#{tmt.left.to_verilog}"] = tmt.right
+                            new_statement.add_when(new_when.clone)
                         end
-                        new_block.add_statement(tmt.clone)           
+
+                        new_block.add_statement(new_statement)
+                    else          
+                        new_block.add_statement(statement.clone)
                     end
+                end    
+                return new_block
+            end
+        end
+
+        def do_flat(mode = nil)
+            flat  = Block.new(self.mode,"")   # Block between lower layers when converting.
+            trans = Block.new(self.mode,"")   # The block used for converting itself.
+            replase = Block.new(self.mode,"") # block to be used for further conversion in case of if statement.
+            list = []
+            rep_list = []
+
+            # If there is a block inside the statement it is not the lowest layer. If there is, it is the lowest layer.      
+            if (self.each_statement.find {|stmnt| stmnt.is_a?(Block)} || (self.each_statement.find {|stmnt| stmnt.is_a?(If)}) || (self.each_statement.find {|stmnt| stmnt.is_a?(Case)}))then
+                # In the case of seq, the lower layer is par. Isolate fm_par so that it is not crosstalked.
+                if(self.mode == :seq) then
+                    fm_buckup = $fm.fm_par.clone
+                    $fm.fm_par.clear()
+
+                    new_block = change_branch(self)
                 else
-                    # Other statements are simply added as is.
-                    new_block.add_statement(statement.clone)
+                    new_block = self.clone      
                 end
-            end
 
-            return new_block # Return the new_block that completed the smoothing.
+                # Process for each statement.
+                new_block.each_statement do |statement|
+                    # If statement is If, convert yes, no, noif and add them to flat.
+                    if statement.is_a?(Case) then
+                        if(self.mode == :seq) then
+                            fm_buckup_if = $fm.fm_par.clone
+                        end
+
+                        if statement.default.is_a?(Block)
+                            default = statement.default.flatten    
+                            new_default = Block.new(default.mode,"")
 
-            # Processing when there is no block beneath.
-            # Unlike ordinary "if" and "case" blocks come down, we check individually block under block.
-        else
-            self.each_statement do |statement|
-                # If the if statement, convert it, otherwise add it as is
-                if statement.is_a?(If) then
-                    # Since yes always exists, it is no problem even if it is converted as it is.
-                    yes = statement.yes.flatten 
-                    new_yes = Block.new(yes.mode,"")
-
-                    yes.each_inner do |inner|          
-                        # I read inner, but when I am par, I delete all '.
-                        unless (list.include?(inner.name.to_s)) then
-                            if (yes.mode == :seq) || (inner.name.to_s.include? "#") then
-                                list << inner.name.to_s
-                                new_block.add_inner(inner.clone)
-                            end            
+                            default.each_statement do |statement|
+                                new_default.add_statement(statement.clone)
+                            end     
                         end
-                    end
 
-                    # Check the statements in "yes" in order.
-                    yes.each_statement do |statement|
-                        # If statement is Transmit, it is an expression and should be processed.
-                        if statement.is_a?(Transmit) then
-                            # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
-                            unless (res_name(statement.left).name.to_s.include? "'") || yes.mode == :par then
-                                # Generate a new signal to return #.
-                                new_signal = att_signal(statement.left, "#")
 
-                                # Double declaration of existing variable can not be done, so it is excluded.
-                                unless (list.include?(new_signal.name.to_s)) then
-                                    list << new_signal.name.to_s
-                                    new_block.add_inner(new_signal)
-                                end
+                        new_statement = Case.new(statement.value.clone,statement.default ? new_default.clone : nil,[])
 
-                                new_statement = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
+                        statement.each_when do |whens|
+                            if(self.mode == :seq) then
+                                fm_buckup_if.each_key do |key|
+                                    $fm.fm_par[key] = fm_buckup_if[key]
+                                end
+                            end
 
-                                $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
+                            when_smt = whens.statement.flatten
+                            new_when = When.new(whens.match.clone,when_smt.clone)
+                            new_statement.add_when(new_when.clone)
+                        end
+                        flat.add_statement(new_statement)
 
-                                $fm.fm_par["#{statement.left.to_verilog}"] = new_statement.left
-                                new_yes.add_statement(new_statement.clone)
-                            else
-                                new_yes.add_statement(statement.clone)
-                            end 
-                        else
-                            new_yes.add_statement(statement.clone)
+                    elsif statement.is_a?(If) then
+                        if(self.mode == :seq) then
+                            fm_buckup_if = $fm.fm_par.clone
                         end
-                    end
 
-                    # Confirm that "else" exists and convert it if it exists.
-                    # Because error occurs when trying to convert when "else" does not exist.
-                    if statement.no.is_a? (Block) then          
-                        no = statement.no.flatten
-                        new_no = Block.new(no.mode,"")
+                        # Since yes always exist, convert without confirming.
+                        new_yes = statement.yes.flatten
 
-                        no.each_inner do |inner|          
-                            # I read inner, but when I am par, I delete all '.
-                            unless (list.include?(inner.name.to_s)) then
-                                if (no.mode == :seq) || (inner.name.to_s.include? "#") then
-                                    list << inner.name.to_s
-                                    new_block.add_inner(inner.clone)
-                                end            
+                        # I do not know whether no (else) exists, so convert it if it is confirmed.
+                        if statement.no.is_a? (Block) then
+
+                            if(self.mode == :seq) then
+                                fm_buckup_if.each_key do |key|
+                                    $fm.fm_par[key] = fm_buckup_if[key]
+                                end
                             end
+
+                            new_no = statement.no.flatten
                         end
+                        # Create a new if statement with converted yes and no.
+                        new_statement = If.new(statement.condition.clone,new_yes.clone,statement.no ? new_no.clone : nil)
+
+                        # Since I do not know whether there is noifs (elsif), I convert it and add it if it is confirmed.
+                        statement.each_noif do |condition, block|
+                            if(self.mode == :seq) then
+                                fm_buckup_if.each_key do |key|
+                                    $fm.fm_par[key] = fm_buckup_if[key]
+                                end
+                            end
 
-                        no.each_statement do |statement|
-                            # If statement is Transmit, it is an expression and should be processed.
-                            if statement.is_a?(Transmit) then
-                                # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
-                                unless (res_name(statement.left).name.to_s.include? "'") || no.mode == :par then
+                            new_noif = block.flatten         
+                            new_statement.add_noif(condition.clone,new_noif.clone)
+                        end
+                        # Add the new statement (if statement) created to flat.
+                        flat.add_statement(new_statement.clone)
 
-                                    new_signal = att_signal(statement.left, "#")
+                        # If statement is Transmit, record the expression in fm_par and add the expression to flat as it is.
+                    elsif statement.is_a?(Transmit) then
+                        if(self.mode == :seq) then
+                            $fm.fm_par["#{statement.left.to_verilog}"] = statement.right.clone
+                        end
 
-                                    # Double declaration of existing variable can not be done, so it is excluded.
-                                    unless (list.include?(new_signal.name.to_s)) then
-                                        list << new_signal.name.to_s
-                                        new_block.add_inner(new_signal)
+                        flat.add_statement(statement.clone)
+                        # If statement is Block, convert it with do_flat and add the returned expression and variable to flat respectively.
+
+                    elsif statement.is_a?(Block) then
+                        smt = statement.do_flat(self.mode)
+                        # If smt has inner, check it separately and add it if it's convenient.
+                        smt.each_inner do |inner|
+                            if self.mode == :seq then
+                                unless (list.include?(inner.name.to_s)) then
+                                    list << inner.name.to_s
+                                    flat.add_inner(inner.clone)
+                                end
+                            else
+                                unless (list.include?(inner.name.to_s)) then
+                                    if(inner.name.to_s.include? "#") then
+                                        list << inner.name.to_s
+                                        flat.add_inner(inner.clone) # It was new_block. why?
                                     end
+                                end            
+                            end
+                        end
+                        # If it is seq, the expression after conversion is also likely to be used, so record the expression.
+                        smt.each_statement do |tmt|
+                            if self.mode == :seq then
+                                $fm.fm_par["#{tmt.left.to_verilog}"] = tmt.right.clone
+                            end
+                            flat.add_statement(tmt.clone)
+                        end         
+                    end
+                end
 
-                                    new_statement = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
+                # Overwrite to restore fm_par which was quarantined.
+                if(self.mode == :seq) then
+                    $fm.fm_par.clear()
+                    fm_buckup.each_key do |key|
+                        $fm.fm_par[key] = fm_buckup[key]
+                    end
+                end
 
-                                    $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
 
-                                    $fm.fm_par["#{statement.left.to_verilog}"] = new_statement.left
-                                    new_no.add_statement(new_statement.clone)
-                                else
-                                    new_no.add_statement(statement.clone)
-                                end 
-                            else
-                                new_no.add_statement(statement.clone)
-                            end
+
+                # Since it is a middle tier itself, it performs flat transformation, shifts inner, and returns the result.
+                trans = flat.to_conversion(mode)
+
+
+                # Write an expression that assigns an identifier that added # to an identifier that has not added.
+                trans.each_statement do |statement|
+                    replase.add_statement(statement.clone)
+                    if statement.is_a?(If)
+                        $fm.rep_sharp.each_key do |key|
+                            new_statement = Transmit.new(key.clone,$fm.rep_sharp[key].clone)
+                            replase.add_statement(new_statement.clone)
                         end
+                        $fm.rep_sharp.clear() # Deactivate rep that has become obsolete.
                     end
-                    # Rebuild the converted "if" as a new" statement (If)".
-                    new_statement = If.new(statement.condition.clone,new_yes.clone,statement.no ? new_no.clone : nil)
-                    # Just like "no", check if "noifs (elsif)" exists and if there is, take one by one and convert.
-                    # After that, add the converted "noif" to "If".
-                    statement.each_noif do |condition, block|
+                end
+
+                # Extract the inner left in flat and add it to replase.
+                flat.each_inner do |inner|
+                    replase.add_inner(inner.clone)
+                end
+
+                # Extract the inner left in trans and add it to replase.
+                trans.each_inner do |inner|
+                    replase.add_inner(inner.clone)
+                end
+
+                return replase
+
+                # Processing when there is no block (reaching the bottom layer).
+            else
+                # Since it is the lowest layer, it does not smooth but converts itself and returns it.
+                flat = self.to_conversion(mode)
+                return flat
+            end
+        end
+
+        def to_conversion(mode = nil, rst = true, rep = true)
+            flat = Block.new(mode,"")      # Block that stores results.
+            new_yes = Block.new(mode,"")   # Block containing the new yes.
+            new_no  = Block.new(mode,"")   # Block containing the new no.
+            new_noif  = Block.new(mode,"") # Block containing the new noif.
+            list = []
+
+            if rst == false then
+                fm_seq_backup = $fm.fm_seq.dup
+            end
+
+            # The statement is divided (since it is the lowest layer, there is only Transmit).
+            self.each_statement do |statement|
+                # Various processing is performed depending on the type of Transmit.
+                # If the mode of the upper layer = its own mode, it compresses as it is.
+
+                if(mode == self.mode) then        
+                    new_statement = statement.clone
+                    # In the case of an If statement, processing of if, else, elsif is performed.
+                elsif statement.is_a?(Case) then
+
+                    if statement.default.is_a?(Block)
+                        rep_buckup = $fm.rep.dup
+                        $fm.rep.clear()
+                        default = statement.default.to_conversion(mode,false,false)
+                        $fm.rep.clear()
+                        rep_buckup.each_key do |key|
+                            $fm.rep[key] = rep_buckup[key]
+                        end
 
-                        noif = block.flatten
-                        new_noif = Block.new(noif.mode,"")
+                        new_default = Block.new(default.mode,"")
 
-                        noif.each_inner do |inner|          
+                        default.each_inner do |inner|          
                             # I read inner, but when I am par, I delete all '.
                             unless (list.include?(inner.name.to_s)) then
-                                if (noif.mode == :seq) || (inner.name.to_s.include? "#") then
+                                if (self.mode == :seq) || (inner.name.to_s.include? "#") then
                                     list << inner.name.to_s
-                                    new_block.add_inner(inner.clone)
+                                    flat.add_inner(inner.clone)
                                 end            
                             end
                         end
 
-
-                        noif.each_statement do |statement|
+                        default.each_statement do |statement|
                             # If statement is Transmit, it is an expression and should be processed.
                             if statement.is_a?(Transmit) then
                                 # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
-                                unless (res_name(statement.left).name.to_s.include? "'") || noif.mode == :par then
-
+                                unless (res_name(statement.left).name.to_s.include? "'") || default.mode == :par then
+                                    # Prepare a new signal with the # on the variable on the left side using the att_signal method.
                                     new_signal = att_signal(statement.left, "#")
-
-                                    # Double declaration of existing variable can not be done, so it is excluded.
+                                    # Check list and add new variables to inner if they do not duplicate.
                                     unless (list.include?(new_signal.name.to_s)) then
                                         list << new_signal.name.to_s
-                                        new_block.add_inner(new_signal)
+                                        flat.add_inner(new_signal)
                                     end
 
-                                    new_statement = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
+                                    new_smt = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
 
                                     $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
 
-                                    $fm.fm_par["#{statement.left.to_verilog}"] = new_statement.left
-                                    new_noif.add_statement(new_statement.clone)
+                                    $fm.fm_par["#{statement.left.to_verilog}"] = new_smt.left
+                                    new_default.add_statement(new_smt.clone)
                                 else
-                                    new_noif.add_statement(statement.clone)
+                                    new_default.add_statement(statement.clone)
                                 end 
                             else
-                                new_noif.add_statement(statement.clone)
+                                new_default.add_statement(statement.clone)
                             end
-                        end
-
-                        new_statement.add_noif(condition.clone,new_noif.clone)
-                    end
-
-                    new_block.add_statement(new_statement.clone)
-
-                    $fm.rep_sharp.each_key do |key|
-                        new_smt = Transmit.new(key.clone,$fm.rep_sharp[key].clone)
-                        new_block.add_statement(new_smt.clone)
-                    end
-                    $fm.rep_sharp.clear() # Deactivate rep that has become obsolete.
-
-                elsif statement.is_a?(Case) then
-                    if statement.default.is_a?(Block)
-                        new_default = statement.default.flatten
-                    end
-
-                    new_statement = Case.new(statement.value.clone,statement.default ? new_default.clone : nil,[])
-                    statement.each_when do |whens|
-                        new_when_statement = whens.statement.flatten
-                        new_when = When.new(whens.match.clone,new_when_statement.clone)
-
-                        new_statement.add_when(new_when.clone)
-                    end
-
-                    new_block.add_statement(new_statement)
-                else          
-                    new_block.add_statement(statement.clone)
-                end
-            end    
-            return new_block
-        end
-    end
-
-    def do_flat(mode = nil)
-        flat  = Block.new(self.mode,"")   # Block between lower layers when converting.
-        trans = Block.new(self.mode,"")   # The block used for converting itself.
-        replase = Block.new(self.mode,"") # block to be used for further conversion in case of if statement.
-        list = []
-        rep_list = []
-
-        # If there is a block inside the statement it is not the lowest layer. If there is, it is the lowest layer.      
-        if (self.each_statement.find {|stmnt| stmnt.is_a?(Block)} || (self.each_statement.find {|stmnt| stmnt.is_a?(If)}) || (self.each_statement.find {|stmnt| stmnt.is_a?(Case)}))then
-            # In the case of seq, the lower layer is par. Isolate fm_par so that it is not crosstalked.
-            if(self.mode == :seq) then
-                fm_buckup = $fm.fm_par.clone
-                $fm.fm_par.clear()
-
-                new_block = change_branch(self)
-            else
-                new_block = self.clone      
-            end
-
-            # Process for each statement.
-            new_block.each_statement do |statement|
-                # If statement is If, convert yes, no, noif and add them to flat.
-                if statement.is_a?(Case) then
-                    if(self.mode == :seq) then
-                        fm_buckup_if = $fm.fm_par.clone
-                    end
-
-                    if statement.default.is_a?(Block)
-                        default = statement.default.flatten    
-                        new_default = Block.new(default.mode,"")
-
-                        default.each_statement do |statement|
-                            new_default.add_statement(statement.clone)
                         end     
                     end
 
@@ -683,1457 +948,1165 @@ class Block
                     new_statement = Case.new(statement.value.clone,statement.default ? new_default.clone : nil,[])
 
                     statement.each_when do |whens|
-                        if(self.mode == :seq) then
-                            fm_buckup_if.each_key do |key|
-                                $fm.fm_par[key] = fm_buckup_if[key]
-                            end
-                        end
-
-                        when_smt = whens.statement.flatten
-                        new_when = When.new(whens.match.clone,when_smt.clone)
-                        new_statement.add_when(new_when.clone)
-                    end
-                    flat.add_statement(new_statement)
-
-                elsif statement.is_a?(If) then
-                    if(self.mode == :seq) then
-                        fm_buckup_if = $fm.fm_par.clone
-                    end
-
-                    # Since yes always exist, convert without confirming.
-                    new_yes = statement.yes.flatten
 
-                    # I do not know whether no (else) exists, so convert it if it is confirmed.
-                    if statement.no.is_a? (Block) then
-
-                        if(self.mode == :seq) then
-                            fm_buckup_if.each_key do |key|
-                                $fm.fm_par[key] = fm_buckup_if[key]
-                            end
+                        rep_buckup = $fm.rep.dup
+                        $fm.rep.clear()
+                        when_smt = whens.statement.to_conversion(mode,false,false)
+                        $fm.rep.clear()
+                        rep_buckup.each_key do |key|
+                            $fm.rep[key] = rep_buckup[key]
                         end
 
-                        new_no = statement.no.flatten
-                    end
-                    # Create a new if statement with converted yes and no.
-                    new_statement = If.new(statement.condition.clone,new_yes.clone,statement.no ? new_no.clone : nil)
-
-                    # Since I do not know whether there is noifs (elsif), I convert it and add it if it is confirmed.
-                    statement.each_noif do |condition, block|
-                        if(self.mode == :seq) then
-                            fm_buckup_if.each_key do |key|
-                                $fm.fm_par[key] = fm_buckup_if[key]
-                            end
-                        end
+                        new_when_smt = Block.new(when_smt.mode,"")
 
-                        new_noif = block.flatten         
-                        new_statement.add_noif(condition.clone,new_noif.clone)
-                    end
-                    # Add the new statement (if statement) created to flat.
-                    flat.add_statement(new_statement.clone)
+                        when_smt.each_statement do |statement|
+                            # If statement is Transmit, it is an expression and should be processed.
+                            if statement.is_a?(Transmit) then
+                                # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
+                                unless (res_name(statement.left).name.to_s.include? "'") || when_smt.mode == :par then
+                                    # Prepare a new signal with the # on the variable on the left side using the att_signal method.
+                                    new_signal = att_signal(statement.left, "#")
+                                    # Check list and add new variables to inner if they do not duplicate.
+                                    unless (list.include?(new_signal.name.to_s)) then
+                                        list << new_signal.name.to_s
+                                        flat.add_inner(new_signal)
+                                    end
 
-                    # If statement is Transmit, record the expression in fm_par and add the expression to flat as it is.
-                elsif statement.is_a?(Transmit) then
-                    if(self.mode == :seq) then
-                        $fm.fm_par["#{statement.left.to_verilog}"] = statement.right.clone
-                    end
+                                    new_smt = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
 
-                    flat.add_statement(statement.clone)
-                    # If statement is Block, convert it with do_flat and add the returned expression and variable to flat respectively.
+                                    $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
 
-                elsif statement.is_a?(Block) then
-                    smt = statement.do_flat(self.mode)
-                    # If smt has inner, check it separately and add it if it's convenient.
-                    smt.each_inner do |inner|
-                        if self.mode == :seq then
-                            unless (list.include?(inner.name.to_s)) then
-                                list << inner.name.to_s
-                                flat.add_inner(inner.clone)
+                                    $fm.fm_par["#{statement.left.to_verilog}"] = new_smt.left
+                                    new_when_smt.add_statement(new_smt.clone)
+                                else
+                                    new_when_smt.add_statement(statement.clone)
+                                end 
+                            else
+                                new_when_smt.add_statement(statement.clone)
                             end
-                        else
-                            unless (list.include?(inner.name.to_s)) then
-                                if(inner.name.to_s.include? "#") then
-                                    list << inner.name.to_s
-                                    flat.add_inner(inner.clone) # It was new_block. why?
-                                end
-                            end            
-                        end
-                    end
-                    # If it is seq, the expression after conversion is also likely to be used, so record the expression.
-                    smt.each_statement do |tmt|
-                        if self.mode == :seq then
-                            $fm.fm_par["#{tmt.left.to_verilog}"] = tmt.right.clone
                         end
-                        flat.add_statement(tmt.clone)
-                    end         
-                end
-            end
-
-            # Overwrite to restore fm_par which was quarantined.
-            if(self.mode == :seq) then
-                $fm.fm_par.clear()
-                fm_buckup.each_key do |key|
-                    $fm.fm_par[key] = fm_buckup[key]
-                end
-            end
 
-
-
-            # Since it is a middle tier itself, it performs flat transformation, shifts inner, and returns the result.
-            trans = flat.to_conversion(mode)
-
-
-            # Write an expression that assigns an identifier that added # to an identifier that has not added.
-            trans.each_statement do |statement|
-                replase.add_statement(statement.clone)
-                if statement.is_a?(If)
-                    $fm.rep_sharp.each_key do |key|
-                        new_statement = Transmit.new(key.clone,$fm.rep_sharp[key].clone)
-                        replase.add_statement(new_statement.clone)
+                        new_when = When.new(whens.match.clone,new_when_smt.clone)
+                        new_statement.add_when(new_when.clone)
                     end
-                    $fm.rep_sharp.clear() # Deactivate rep that has become obsolete.
-                end
-            end
 
-            # Extract the inner left in flat and add it to replase.
-            flat.each_inner do |inner|
-                replase.add_inner(inner.clone)
-            end
-
-            # Extract the inner left in trans and add it to replase.
-            trans.each_inner do |inner|
-                replase.add_inner(inner.clone)
-            end
-
-            return replase
-
-            # Processing when there is no block (reaching the bottom layer).
-        else
-            # Since it is the lowest layer, it does not smooth but converts itself and returns it.
-            flat = self.to_conversion(mode)
-            return flat
-        end
-    end
-
-    def to_conversion(mode = nil, rst = true, rep = true)
-        flat = Block.new(mode,"")      # Block that stores results.
-        new_yes = Block.new(mode,"")   # Block containing the new yes.
-        new_no  = Block.new(mode,"")   # Block containing the new no.
-        new_noif  = Block.new(mode,"") # Block containing the new noif.
-        list = []
-
-        if rst == false then
-            fm_seq_backup = $fm.fm_seq.dup
-        end
-
-        # The statement is divided (since it is the lowest layer, there is only Transmit).
-        self.each_statement do |statement|
-            # Various processing is performed depending on the type of Transmit.
-            # If the mode of the upper layer = its own mode, it compresses as it is.
-
-            if(mode == self.mode) then        
-                new_statement = statement.clone
-                # In the case of an If statement, processing of if, else, elsif is performed.
-            elsif statement.is_a?(Case) then
+                elsif statement.is_a?(If) then
 
-                if statement.default.is_a?(Block)
                     rep_buckup = $fm.rep.dup
                     $fm.rep.clear()
-                    default = statement.default.to_conversion(mode,false,false)
+                    yes = statement.yes.to_conversion(mode, false,false)
                     $fm.rep.clear()
                     rep_buckup.each_key do |key|
                         $fm.rep[key] = rep_buckup[key]
                     end
 
-                    new_default = Block.new(default.mode,"")
-
-                    default.each_inner do |inner|          
-                        # I read inner, but when I am par, I delete all '.
+                    yes.each_inner do |inner|
                         unless (list.include?(inner.name.to_s)) then
-                            if (self.mode == :seq) || (inner.name.to_s.include? "#") then
+                            if (yes.mode == :seq) || (inner.name.to_s.include? "#") then
                                 list << inner.name.to_s
-                                flat.add_inner(inner.clone)
+                                flat.add_inner(inner.clone) # It was new_block. why?
                             end            
                         end
                     end
 
-                    default.each_statement do |statement|
-                        # If statement is Transmit, it is an expression and should be processed.
-                        if statement.is_a?(Transmit) then
-                            # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
-                            unless (res_name(statement.left).name.to_s.include? "'") || default.mode == :par then
-                                # Prepare a new signal with the # on the variable on the left side using the att_signal method.
-                                new_signal = att_signal(statement.left, "#")
-                                # Check list and add new variables to inner if they do not duplicate.
-                                unless (list.include?(new_signal.name.to_s)) then
-                                    list << new_signal.name.to_s
-                                    flat.add_inner(new_signal)
-                                end
+                    yes.each_statement do |smt|
+                        if(yes.mode == :seq) then
+                            new_signal = att_signal(smt.left, "#")
+
+                            unless (list.include?(new_signal.name.to_s)) then
+                                list << new_signal.name.to_s
+                                flat.add_inner(new_signal)
+                            end
 
-                                new_smt = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
+                            yes_statement = Transmit.new(search_refname(smt.left,"#"),smt.right.clone)
 
-                                $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
+                            $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
 
-                                $fm.fm_par["#{statement.left.to_verilog}"] = new_smt.left
-                                new_default.add_statement(new_smt.clone)
-                            else
-                                new_default.add_statement(statement.clone)
-                            end 
+                            $fm.fm_par["#{smt.left.to_verilog}"] = yes_statement.left
+                            new_yes.add_statement(yes_statement)
                         else
-                            new_default.add_statement(statement.clone)
+                            new_yes.add_statement(smt.clone)
                         end
-                    end     
-                end
-
-
-                new_statement = Case.new(statement.value.clone,statement.default ? new_default.clone : nil,[])
+                    end
 
-                statement.each_when do |whens|
+                    if statement.no.is_a? (Block) then
+                        rep_buckup = $fm.rep.dup
+                        $fm.rep.clear()
+                        no = statement.no.to_conversion(mode,false,false)
+                        $fm.rep.clear()
+                        rep_buckup.each_key do |key|
+                            $fm.rep[key] = rep_buckup[key]
+                        end
 
-                    rep_buckup = $fm.rep.dup
-                    $fm.rep.clear()
-                    when_smt = whens.statement.to_conversion(mode,false,false)
-                    $fm.rep.clear()
-                    rep_buckup.each_key do |key|
-                        $fm.rep[key] = rep_buckup[key]
-                    end
+                        no.each_inner do |inner|
+                            unless (list.include?(inner.name.to_s)) then
+                                if (no.mode == :seq) || (inner.name.to_s.include? "#") then
+                                    list << inner.name.to_s
+                                    flat.add_inner(inner.clone) # It was new_block. why?
+                                end            
+                            end
+                        end
 
-                    new_when_smt = Block.new(when_smt.mode,"")
+                        no.each_statement do |smt|
+                            if(no.mode == :seq) then
+                                new_signal = att_signal(smt.left, "#")
 
-                    when_smt.each_statement do |statement|
-                        # If statement is Transmit, it is an expression and should be processed.
-                        if statement.is_a?(Transmit) then
-                            # If you add a # to the one with 'on the left side, the shape of the formula will collapse and it will be removed.
-                            unless (res_name(statement.left).name.to_s.include? "'") || when_smt.mode == :par then
-                                # Prepare a new signal with the # on the variable on the left side using the att_signal method.
-                                new_signal = att_signal(statement.left, "#")
-                                # Check list and add new variables to inner if they do not duplicate.
                                 unless (list.include?(new_signal.name.to_s)) then
                                     list << new_signal.name.to_s
                                     flat.add_inner(new_signal)
                                 end
 
-                                new_smt = Transmit.new(search_refname(statement.left,"#"),statement.right.clone)
+                                no_statement = Transmit.new(search_refname(smt.left,"#"),smt.right.clone)
 
                                 $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
 
-                                $fm.fm_par["#{statement.left.to_verilog}"] = new_smt.left
-                                new_when_smt.add_statement(new_smt.clone)
+                                $fm.fm_par["#{smt.left.to_verilog}"] = no_statement.left
+                                new_no.add_statement(no_statement)
                             else
-                                new_when_smt.add_statement(statement.clone)
-                            end 
-                        else
-                            new_when_smt.add_statement(statement.clone)
+                                new_no.add_statement(smt.clone)
+                            end
                         end
                     end
 
-                    new_when = When.new(whens.match.clone,new_when_smt.clone)
-                    new_statement.add_when(new_when.clone)
-                end
-
-            elsif statement.is_a?(If) then
-
-                rep_buckup = $fm.rep.dup
-                $fm.rep.clear()
-                yes = statement.yes.to_conversion(mode, false,false)
-                $fm.rep.clear()
-                rep_buckup.each_key do |key|
-                    $fm.rep[key] = rep_buckup[key]
-                end
-
-                yes.each_inner do |inner|
-                    unless (list.include?(inner.name.to_s)) then
-                        if (yes.mode == :seq) || (inner.name.to_s.include? "#") then
-                            list << inner.name.to_s
-                            flat.add_inner(inner.clone) # It was new_block. why?
-                        end            
-                    end
-                end
+                    new_statement = If.new(statement.condition.clone,new_yes.clone,statement.no ? new_no.clone : nil)
 
-                yes.each_statement do |smt|
-                    if(yes.mode == :seq) then
-                        new_signal = att_signal(smt.left, "#")
+                    statement.each_noif do |condition, block|
+                        rep_buckup = $fm.rep.dup
+                        $fm.rep.clear()
+                        noif = block.to_conversion(mode,false,false)
+                        $fm.rep.clear()
+                        rep_buckup.each_key do |key|
+                            $fm.rep[key] = rep_buckup[key]
+                        end
 
-                        unless (list.include?(new_signal.name.to_s)) then
-                            list << new_signal.name.to_s
-                            flat.add_inner(new_signal)
+                        noif.each_inner do |inner|
+                            unless (list.include?(inner.name.to_s)) then
+                                if (noif.mode == :seq) || (inner.name.to_s.include? "#") then
+                                    list << inner.name.to_s
+                                    flat.add_inner(inner.clone) # It was new_block. why?
+                                end            
+                            end
                         end
 
-                        yes_statement = Transmit.new(search_refname(smt.left,"#"),smt.right.clone)
+                        noif.each_statement do |smt|
+                            if(noif.mode == :seq) then
+                                new_signal = att_signal(smt.left, "#")
 
-                        $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
+                                unless (list.include?(new_signal.name.to_s)) then
+                                    list << new_signal.name.to_s
+                                    flat.add_inner(new_signal)
+                                end
 
-                        $fm.fm_par["#{smt.left.to_verilog}"] = yes_statement.left
-                        new_yes.add_statement(yes_statement)
-                    else
-                        new_yes.add_statement(smt.clone)
-                    end
-                end
+                                noif_statement = Transmit.new(search_refname(smt.left,"#"),smt.right.clone)
 
-                if statement.no.is_a? (Block) then
-                    rep_buckup = $fm.rep.dup
-                    $fm.rep.clear()
-                    no = statement.no.to_conversion(mode,false,false)
-                    $fm.rep.clear()
-                    rep_buckup.each_key do |key|
-                        $fm.rep[key] = rep_buckup[key]
-                    end
+                                $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
 
-                    no.each_inner do |inner|
-                        unless (list.include?(inner.name.to_s)) then
-                            if (no.mode == :seq) || (inner.name.to_s.include? "#") then
-                                list << inner.name.to_s
-                                flat.add_inner(inner.clone) # It was new_block. why?
-                            end            
+                                $fm.fm_par["#{smt.left.to_verilog}"] = noif_statement.left
+                                new_noif.add_statement(no_statement)
+                            else
+                                new_noif.add_statement(smt.clone)
+                            end
                         end
-                    end
 
-                    no.each_statement do |smt|
-                        if(no.mode == :seq) then
-                            new_signal = att_signal(smt.left, "#")
+                        new_statement.add_noif(condition.clone,new_noif.clone)
+                    end
 
-                            unless (list.include?(new_signal.name.to_s)) then
-                                list << new_signal.name.to_s
-                                flat.add_inner(new_signal)
+                    # Otherwise, it is necessary to process par-> seq or seq-> par.
+                else       
+                    # Make sure the right side is a formula (Binary).
+                    if statement.right.is_a?(Binary) then
+                        # Check the right side and the left side, and if they are variables, check the corresponding expressions and replace them.
+                        # If it is not a variable, it calls the method to be searched.
+                        if statement.right.left.is_a? (Ref) then               
+                            if (mode == :par && self.mode == :seq) && $fm.fm_seq.has_key?(statement.right.left.to_verilog) then
+                                statement_left = $fm.fm_seq["#{statement.right.left.to_verilog}"]
+                            elsif (mode == :seq && self.mode == :par) && $fm.fm_par.has_key?(statement.right.left.to_verilog) then
+                                statement_left = $fm.fm_par["#{statement.right.left.to_verilog}"]
+                            else
+                                statement_left = statement.right.left.clone
                             end
-
-                            no_statement = Transmit.new(search_refname(smt.left,"#"),smt.right.clone)
-
-                            $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
-
-                            $fm.fm_par["#{smt.left.to_verilog}"] = no_statement.left
-                            new_no.add_statement(no_statement)
+                        elsif statement.right.left.is_a? (Binary) then  
+                            statement_left = statement.right.left.to_change(self.mode)
                         else
-                            new_no.add_statement(smt.clone)
+                            statement_left = statement.right.left.clone
                         end
-                    end
-                end
-
-                new_statement = If.new(statement.condition.clone,new_yes.clone,statement.no ? new_no.clone : nil)
 
-                statement.each_noif do |condition, block|
-                    rep_buckup = $fm.rep.dup
-                    $fm.rep.clear()
-                    noif = block.to_conversion(mode,false,false)
-                    $fm.rep.clear()
-                    rep_buckup.each_key do |key|
-                        $fm.rep[key] = rep_buckup[key]
-                    end
-
-                    noif.each_inner do |inner|
-                        unless (list.include?(inner.name.to_s)) then
-                            if (noif.mode == :seq) || (inner.name.to_s.include? "#") then
-                                list << inner.name.to_s
-                                flat.add_inner(inner.clone) # It was new_block. why?
-                            end            
+                        if statement.right.right.is_a? (Ref) then
+                            if (mode == :par && self.mode == :seq) && $fm.fm_seq.has_key?(statement.right.right.to_verilog) then
+                                statement_right = $fm.fm_seq["#{statement.right.right.to_verilog}"]
+                            elsif (mode == :seq && self.mode == :par) && $fm.fm_par.has_key?(statement.right.right.to_verilog) then
+                                statement_right = $fm.fm_par["#{statement.right.right.to_verilog}"]
+                            else
+                                statement_right = statement.right.right.clone
+                            end
+                        elsif statement.right.right.is_a? (Binary) then
+                            statement_right = statement.right.right.to_change(self.mode)
+                        else
+                            statement_right = statement.right.right.clone
+                        end   
+                        new_right = Binary.new(statement.right.type,statement.right.operator,statement_left.clone,statement_right.clone)
+                        # Confirm whether it is a variable.
+                    elsif statement.right.is_a?(Ref) then
+                        if (mode == :par && self.mode == :seq) && $fm.fm_seq.has_key?(statement.right.to_verilog) then
+                            new_right = $fm.fm_seq["#{statement.right.to_verilog}"].clone
+                        elsif (mode == :seq && self.mode == :par) && $fm.fm_par.has_key?(statement.right.to_verilog) then
+                            new_right = $fm.fm_par["#{statement.right.to_verilog}"].clone
+                        else
+                            new_right = statement.right.clone
                         end
+                        # Because it is not a number. Put it in as it is.
+                    else
+                        new_right = statement.right.clone
                     end
 
-                    noif.each_statement do |smt|
-                        if(noif.mode == :seq) then
-                            new_signal = att_signal(smt.left, "#")
+                    if (mode == :par && self.mode == :seq) then
+                        # Dock the existing left hand side and the replaced right hand side to create a new expression.
+                        # Record the expression after conversion to hash to continue seq-> par.
+                        new_statement = Transmit.new(statement.left.clone,new_right)
+                        $fm.fm_seq["#{statement.left.to_verilog}"] = new_right
+                    elsif (mode == :seq && self.mode == :par) && (rep) then
+                        unless (res_name(statement.left).name.to_s.include? "#")
+                            # Search the variable on the left side and give 'to the name.
+                            new_signal = att_signal(statement.left,"'")
 
                             unless (list.include?(new_signal.name.to_s)) then
                                 list << new_signal.name.to_s
                                 flat.add_inner(new_signal)
                             end
 
-                            noif_statement = Transmit.new(search_refname(smt.left,"#"),smt.right.clone)
-
-                            $fm.rep_sharp[statement.left] = search_refname(statement.left,"#")
+                            new_statement = Transmit.new(search_refname(statement.left,"'"),new_right)
 
-                            $fm.fm_par["#{smt.left.to_verilog}"] = noif_statement.left
-                            new_noif.add_statement(no_statement)
-                        else
-                            new_noif.add_statement(smt.clone)
+                            $fm.rep[statement.left] = new_statement     
                         end
-                    end
-
-                    new_statement.add_noif(condition.clone,new_noif.clone)
-                end
-
-                # Otherwise, it is necessary to process par-> seq or seq-> par.
-            else       
-                # Make sure the right side is a formula (Binary).
-                if statement.right.is_a?(Binary) then
-                    # Check the right side and the left side, and if they are variables, check the corresponding expressions and replace them.
-                    # If it is not a variable, it calls the method to be searched.
-                    if statement.right.left.is_a? (Ref) then               
-                        if (mode == :par && self.mode == :seq) && $fm.fm_seq.has_key?(statement.right.left.to_verilog) then
-                            statement_left = $fm.fm_seq["#{statement.right.left.to_verilog}"]
-                        elsif (mode == :seq && self.mode == :par) && $fm.fm_par.has_key?(statement.right.left.to_verilog) then
-                            statement_left = $fm.fm_par["#{statement.right.left.to_verilog}"]
-                        else
-                            statement_left = statement.right.left.clone
-                        end
-                    elsif statement.right.left.is_a? (Binary) then  
-                        statement_left = statement.right.left.to_change(self.mode)
                     else
-                        statement_left = statement.right.left.clone
-                    end
-
-                    if statement.right.right.is_a? (Ref) then
-                        if (mode == :par && self.mode == :seq) && $fm.fm_seq.has_key?(statement.right.right.to_verilog) then
-                            statement_right = $fm.fm_seq["#{statement.right.right.to_verilog}"]
-                        elsif (mode == :seq && self.mode == :par) && $fm.fm_par.has_key?(statement.right.right.to_verilog) then
-                            statement_right = $fm.fm_par["#{statement.right.right.to_verilog}"]
-                        else
-                            statement_right = statement.right.right.clone
-                        end
-                    elsif statement.right.right.is_a? (Binary) then
-                        statement_right = statement.right.right.to_change(self.mode)
-                    else
-                        statement_right = statement.right.right.clone
-                    end   
-                    new_right = Binary.new(statement.right.type,statement.right.operator,statement_left.clone,statement_right.clone)
-                    # Confirm whether it is a variable.
-                elsif statement.right.is_a?(Ref) then
-                    if (mode == :par && self.mode == :seq) && $fm.fm_seq.has_key?(statement.right.to_verilog) then
-                        new_right = $fm.fm_seq["#{statement.right.to_verilog}"].clone
-                    elsif (mode == :seq && self.mode == :par) && $fm.fm_par.has_key?(statement.right.to_verilog) then
-                        new_right = $fm.fm_par["#{statement.right.to_verilog}"].clone
-                    else
-                        new_right = statement.right.clone
-                    end
-                    # Because it is not a number. Put it in as it is.
-                else
-                    new_right = statement.right.clone
+                        new_statement = Transmit.new(statement.left.clone,new_right)
+                    end          
                 end
+                # Add the converted statement to flat (because par -> par or seq -> seq will be added until then).
 
-                if (mode == :par && self.mode == :seq) then
-                    # Dock the existing left hand side and the replaced right hand side to create a new expression.
-                    # Record the expression after conversion to hash to continue seq-> par.
-                    new_statement = Transmit.new(statement.left.clone,new_right)
-                    $fm.fm_seq["#{statement.left.to_verilog}"] = new_right
-                elsif (mode == :seq && self.mode == :par) && (rep) then
-                    unless (res_name(statement.left).name.to_s.include? "#")
-                        # Search the variable on the left side and give 'to the name.
-                        new_signal = att_signal(statement.left,"'")
-
-                        unless (list.include?(new_signal.name.to_s)) then
-                            list << new_signal.name.to_s
-                            flat.add_inner(new_signal)
-                        end
-
-                        new_statement = Transmit.new(search_refname(statement.left,"'"),new_right)
-
-                        $fm.rep[statement.left] = new_statement     
+                if new_statement.is_a?(Transmit) then
+                    unless (mode == :par && self.mode == :seq) && (res_name(new_statement.left).name.to_s.include? "'") then
+                        flat.add_statement(new_statement.clone)
                     end
                 else
-                    new_statement = Transmit.new(statement.left.clone,new_right)
-                end          
-            end
-            # Add the converted statement to flat (because par -> par or seq -> seq will be added until then).
-
-            if new_statement.is_a?(Transmit) then
-                unless (mode == :par && self.mode == :seq) && (res_name(new_statement.left).name.to_s.include? "'") then
                     flat.add_statement(new_statement.clone)
                 end
-            else
-                flat.add_statement(new_statement.clone)
-            end
 
-            if (rep)
-                $fm.rep_sharp.each_key do |key|
-                    new_smt = Transmit.new(key.clone,$fm.rep_sharp[key].clone)
-                    flat.add_statement(new_smt.clone)
+                if (rep)
+                    $fm.rep_sharp.each_key do |key|
+                        new_smt = Transmit.new(key.clone,$fm.rep_sharp[key].clone)
+                        flat.add_statement(new_smt.clone)
+                    end
+                    $fm.rep_sharp.clear() # Deactivate rep that has become obsolete.
                 end
-                $fm.rep_sharp.clear() # Deactivate rep that has become obsolete.
             end
-        end
-        # Add an expression after paragraph based on rep.
-        # A complement expression like x = x '.
-        $fm.rep.each_key do |key|
-            new_statement = Transmit.new(key.clone,$fm.rep[key].left.clone)
-            flat.add_statement(new_statement.clone)
-        end
-        $fm.rep.clear() # Deactivate rep that has become obsolete.
+            # Add an expression after paragraph based on rep.
+            # A complement expression like x = x '.
+            $fm.rep.each_key do |key|
+                new_statement = Transmit.new(key.clone,$fm.rep[key].left.clone)
+                flat.add_statement(new_statement.clone)
+            end
+            $fm.rep.clear() # Deactivate rep that has become obsolete.
 
 
-        # Since seq -> par is the end, fm_par is deleted.
-        if (mode == :par && self.mode == :seq) then
-            $fm.fm_seq.clear()
-        end
+            # Since seq -> par is the end, fm_par is deleted.
+            if (mode == :par && self.mode == :seq) then
+                $fm.fm_seq.clear()
+            end
 
-        # In case of if statement (when rst == false) you can not convert no or else if you delete the contents of fm_seq.
-        # Therefore, in this case restore the backup to restore.
-        # This means that it is necessary to erase fm_seq once obtained in the if statement once.
-        if(rst == false) then
-            $fm.fm_seq.clear()
-            fm_seq_backup.each_key do |key|
-                $fm.fm_seq[key] = fm_seq_backup[key]
+            # In case of if statement (when rst == false) you can not convert no or else if you delete the contents of fm_seq.
+            # Therefore, in this case restore the backup to restore.
+            # This means that it is necessary to erase fm_seq once obtained in the if statement once.
+            if(rst == false) then
+                $fm.fm_seq.clear()
+                fm_seq_backup.each_key do |key|
+                    $fm.fm_seq[key] = fm_seq_backup[key]
+                end
             end
-        end
 
-        return flat # Return flat finished checking.
-    end
+            return flat # Return flat finished checking.
+        end
 
 
-    def change_branch(block)
-        flat  = Block.new(self.mode,"")     # Store the expression until if is found.
-        trans = Block.new(self.mode,"")     # A block that stores the expression after if is found.
-        new_block = Block.new(self.mode,"") # Block storing each converted expression.
+        def change_branch(block)
+            flat  = Block.new(self.mode,"")     # Store the expression until if is found.
+            trans = Block.new(self.mode,"")     # A block that stores the expression after if is found.
+            new_block = Block.new(self.mode,"") # Block storing each converted expression.
 
-        has_branch = false                  # It is true if there is an if in the block.
-        more_has_branch = false             # It is true if there are two or more if in the block.
+            has_branch = false                  # It is true if there is an if in the block.
+            more_has_branch = false             # It is true if there are two or more if in the block.
 
-        # Search each expression for if.
-        block.each_statement do |statement|
-            if (has_branch)
-                trans.add_statement(statement.clone)
-                if statement.is_a?(If) || statement.is_a?(Case) then
-                    more_has_branch = true
-                end        
-            else
-                if statement.is_a?(If) || statement.is_a?(Case) then
-                    flat.add_statement(statement.clone)     
-                    has_branch = true          
+            # Search each expression for if.
+            block.each_statement do |statement|
+                if (has_branch)
+                    trans.add_statement(statement.clone)
+                    if statement.is_a?(If) || statement.is_a?(Case) then
+                        more_has_branch = true
+                    end        
                 else
-                    flat.add_statement(statement.clone)
+                    if statement.is_a?(If) || statement.is_a?(Case) then
+                        flat.add_statement(statement.clone)     
+                        has_branch = true          
+                    else
+                        flat.add_statement(statement.clone)
+                    end
                 end
             end
-        end
 
-        # If there are two or more if, recursively process if.
-        if(more_has_branch) then
-            conversion_block = change_branch(trans)
-        else
-            conversion_block = trans.clone
-        end
+            # If there are two or more if, recursively process if.
+            if(more_has_branch) then
+                conversion_block = change_branch(trans)
+            else
+                conversion_block = trans.clone
+            end
 
-        # Store "trans" contents for "if" and "case" in "flat".
-        flat.each_statement do |statement|
-            # Since case statements include defaulu and when, we store the expressions saved in each case.
-            if statement.is_a?(Case) then
-                if statement.default.is_a?(Block)
-                    new_default = statement.default.clone 
-                    conversion_block.each_statement do |smt|
-                        new_default.add_statement(smt.clone)
-                    end         
-                end
+            # Store "trans" contents for "if" and "case" in "flat".
+            flat.each_statement do |statement|
+                # Since case statements include defaulu and when, we store the expressions saved in each case.
+                if statement.is_a?(Case) then
+                    if statement.default.is_a?(Block)
+                        new_default = statement.default.clone 
+                        conversion_block.each_statement do |smt|
+                            new_default.add_statement(smt.clone)
+                        end         
+                    end
+
+                    new_statement = Case.new(statement.value.clone,statement.default ? new_default.clone : nil,[])
 
-                new_statement = Case.new(statement.value.clone,statement.default ? new_default.clone : nil,[])
+                    statement.each_when do |whens|
+                        new_when = whens.clone
 
-                statement.each_when do |whens|
-                    new_when = whens.clone
+                        conversion_block.each_statement do |smt|
+                            new_when.statement.add_statement(smt.clone)
+                        end      
+                        new_statement.add_when(new_when.clone)
+                    end
 
+                    new_block.add_statement(new_statement.clone)
+                    # Because there are yes, no and noifs in the if statement, store the expression saved in each.
+                elsif statement.is_a?(If) then
+                    new_yes = statement.yes.clone
                     conversion_block.each_statement do |smt|
-                        new_when.statement.add_statement(smt.clone)
-                    end      
-                    new_statement.add_when(new_when.clone)
-                end
-
-                new_block.add_statement(new_statement.clone)
-                # Because there are yes, no and noifs in the if statement, store the expression saved in each.
-            elsif statement.is_a?(If) then
-                new_yes = statement.yes.clone
-                conversion_block.each_statement do |smt|
-                    new_yes.add_statement(smt.clone)
-                end
+                        new_yes.add_statement(smt.clone)
+                    end
 
-                if statement.no.is_a? (Block) then
-                    new_no = statement.no.clone
-                    conversion_block.each_statement do |smt|
-                        new_no.add_statement(smt.clone)
+                    if statement.no.is_a? (Block) then
+                        new_no = statement.no.clone
+                        conversion_block.each_statement do |smt|
+                            new_no.add_statement(smt.clone)
+                        end
                     end
-                end
 
-                # Make new if with converted yes and no.
-                new_statement = If.new(statement.condition.clone,new_yes.clone,statement.no ? new_no.clone : nil)
+                    # Make new if with converted yes and no.
+                    new_statement = If.new(statement.condition.clone,new_yes.clone,statement.no ? new_no.clone : nil)
 
 
-                statement.each_noif do |condition, block|
-                    new_noif = block.clone
-                    conversion_block.each_statement do |smt|
-                        new_noif.add_statement(smt.clone)
+                    statement.each_noif do |condition, block|
+                        new_noif = block.clone
+                        conversion_block.each_statement do |smt|
+                            new_noif.add_statement(smt.clone)
+                        end
+                        new_statement.add_noif(condition.clone,new_noif.clone)
                     end
-                    new_statement.add_noif(condition.clone,new_noif.clone)
+                    # Add the new statement (if) created to flat.
+                    new_block.add_statement(new_statement.clone)
+                else
+                    new_block.add_statement(statement.clone)
                 end
-                # Add the new statement (if) created to flat.
-                new_block.add_statement(new_statement.clone)
-            else
-                new_block.add_statement(statement.clone)
             end
-        end
-
-        return new_block # Return block after conversion.
-    end
 
-    # Generate a signal for the variable to which "'" or "#" is added.
-    def att_signal(left,att = "'")
-        this_name = res_name(left)
-        new_name = RefName.new(this_name.type, this_name.ref.clone, this_name.name.to_s + att)
-        new_signal = SignalI.new(new_name.name,new_name.type)
+            return new_block # Return block after conversion.
+        end
 
-        return new_signal
-    end
+        # Generate a signal for the variable to which "'" or "#" is added.
+        def att_signal(left,att = "'")
+            this_name = res_name(left)
+            new_name = RefName.new(this_name.type, this_name.ref.clone, this_name.name.to_s + att)
+            new_signal = SignalI.new(new_name.name,new_name.type)
 
-    # A method that takes a variable from the sent left side and adds "att".
-    def att_sharp(left,att = "'")
-        #if left.is_a?(RefName) then
-        new_left = search_refname(left, att)
-        #elsif left.is_a?(RefIndex) then               
-        #  new_ref = search_refname(left, att)
-        #  new_left = RefIndex.new(left.type, new_ref, left.index.clone)
-        #elsif left.is_a?(RefRange) then
-        #  new_ref = search_refname(left, att)
-        #  my_range = left.range
-        #  new_left = RefRange.new(left.type, new_ref, my_range.first.clone..my_range.last.clone)
-        #end
-
-        # Add new signal to hash.
-        # if(att == "#") then
-        # $fm.rep_sharp[left] = new_left
-        # end
-        return new_left
-    end
+            return new_signal
+        end
 
+        # A method that takes a variable from the sent left side and adds "att".
+        def att_sharp(left,att = "'")
+            new_left = search_refname(left, att)
 
-    # Recursively search, add "att" to RefName and return.
-    def search_refname(me,att = "'")
-        if me.is_a? (RefName) then
-            return RefName.new(me.type, me.ref.clone, me.name.to_s + att)
-        elsif me.ref.is_a? (RefName) then
-            return RefName.new(me.ref.type, me.ref.ref.clone, me.ref.name.to_s + att)
-        elsif me.ref.is_a? (RefIndex) then
-            return RefIndex.new(me.ref.type, search_refname(me.ref), me.ref.index.clone)
-        elsif me.ref.is_a? (RefRange) then
-            my_range = me.ref.range
-            return RefRange.new(me.ref.type, search_refname(me.ref), my_range.first.clone..my_range.last.clone)
+            return new_left
         end
-    end
 
-    # Recursively search, return Refname.
-    def res_name(me)
-        if me.is_a? (RefName) then
-            return me
-        else
-            if me.ref.is_a? (RefName) then
-                return RefName.new(me.ref.type, me.ref.ref.clone, me.ref.name.to_s)
+
+        # Recursively search, add "att" to RefName and return.
+        def search_refname(me,att = "'")
+            if me.is_a? (RefName) then
+                return RefName.new(me.type, me.ref.clone, me.name.to_s + att)
+            elsif me.ref.is_a? (RefName) then
+                return RefName.new(me.ref.type, me.ref.ref.clone, me.ref.name.to_s + att)
             elsif me.ref.is_a? (RefIndex) then
-                return res_name(me.ref)
+                return RefIndex.new(me.ref.type, search_refname(me.ref), me.ref.index.clone)
             elsif me.ref.is_a? (RefRange) then
-                return res_name(me.ref)
+                my_range = me.ref.range
+                return RefRange.new(me.ref.type, search_refname(me.ref), my_range.first.clone..my_range.last.clone)
             end
         end
-    end
-end
 
-# Used to display variable names.
-# Enhance RefName with generation of verilog code.
-class RefName
-    # Converts the system to Verilog code using +renamer+ for producing Verilog-compatible names.
-    def to_verilog
-        # return "#{self.name.to_s}"
-        return "#{name_to_verilog(self.name)}"
+        # Recursively search, return Refname.
+        def res_name(me)
+            if me.is_a? (RefName) then
+                return me
+            else
+                if me.ref.is_a? (RefName) then
+                    return RefName.new(me.ref.type, me.ref.ref.clone, me.ref.name.to_s)
+                elsif me.ref.is_a? (RefIndex) then
+                    return res_name(me.ref)
+                elsif me.ref.is_a? (RefRange) then
+                    return res_name(me.ref)
+                end
+            end
+        end
     end
 
-    # Used for instantiation (emergency procedure).
-    def to_another_verilog
-        return "_#{self.name.to_s}"
-    end
+    # Used to display variable names.
+    # Enhance RefName with generation of verilog code.
+    class RefName
+        # Converts the system to Verilog code using +renamer+ for producing Verilog-compatible names.
+        def to_verilog
+            vname = name_to_verilog(self.name)
+            self.properties[:verilog_name] = vname
+            return "#{vname}"
+        end
+
+        # Used for instantiation (emergency procedure).
+        def to_another_verilog
+            return "_#{self.name.to_s}"
+        end
 
-    def ancestor(my)
-        if my.parent.parent.respond_to? (:mode) then
-            return ancestor(my.parent)
-        else
-            return "#{my.parent.mode.to_s}#{my.mode.to_s}"
+        def ancestor(my)
+            if my.parent.parent.respond_to? (:mode) then
+                return ancestor(my.parent)
+            else
+                return "#{my.parent.mode.to_s}#{my.mode.to_s}"
+            end
         end
     end
-end
 
-# Used to convert an array.
-# Enhance RefIndex with generation of verilog code.
-class RefIndex
-    # Converts the system to Verilog code.
-    def to_verilog
-        return "#{self.ref.to_verilog}[#{self.index.to_verilog}]"
+    # Used to convert an array.
+    # Enhance RefIndex with generation of verilog code.
+    class RefIndex
+        # Converts the system to Verilog code.
+        def to_verilog
+            return "#{self.ref.to_verilog}[#{self.index.to_verilog}]"
+        end
     end
-end
 
 
-# Used to indicate the number of bits.
-# Enhance TypeVector with generation of verilog code.
-class TypeVector
-    # Converts the system to Verilog code.
-    def to_verilog
-        # if self.base.name.to_s != "bit"
-        if VERILOG_BASE_TYPES.include?(self.base.name.to_s)
-            return " #{self.base.name.to_s}[#{self.range.first}:#{self.range.last}]"
+    # Used to indicate the number of bits.
+    # Enhance TypeVector with generation of verilog code.
+    class TypeVector
+        # Converts the system to Verilog code.
+        def to_verilog
+            # if self.base.name.to_s != "bit"
+            if VERILOG_BASE_TYPES.include?(self.base.name.to_s)
+                return " #{self.base.name.to_s}[#{self.range.first}:#{self.range.last}]"
+            end
+            return " [#{self.range.first}:#{self.range.last}]"
         end
-        return " [#{self.range.first}:#{self.range.last}]"
     end
-end
 
-# Necessary for displaying bit width (eg, specify and assign).
-class RefRange
-    # Converts the system to Verilog code.
-    def to_verilog(unknown = false)
-        return "#{self.ref.to_verilog}[#{self.range.first.to_getrange}:#{self.range.last.to_getrange}]"
+    # Necessary for displaying bit width (eg, specify and assign).
+    class RefRange
+        # Converts the system to Verilog code.
+        def to_verilog(unknown = false)
+            return "#{self.ref.to_verilog}[#{self.range.first.to_getrange}:#{self.range.last.to_getrange}]"
+        end
     end
-end
 
-# Use it when collecting references.
-class RefConcat
-    def to_verilog    
-        ref = self.each_ref.to_a
+    # Use it when collecting references.
+    class RefConcat
+        def to_verilog    
+            ref = self.each_ref.to_a
 
-        result = "{"
-        ref[0..-2].each do |ref|
-            result << "#{ref.to_verilog},"
-        end
-        result << "#{ref.last.to_verilog}}"
+            result = "{"
+            ref[0..-2].each do |ref|
+                result << "#{ref.to_verilog},"
+            end
+            result << "#{ref.last.to_verilog}}"
 
-        return result
+            return result
+        end
     end
-end
 
-# Used to output bitstring.
-# Enhance HDLRuby with generation of verilog code.
-class HDLRuby::BitString
-    # Converts the system to Verilog code.
-    def to_verilog
-        return "#{self.to_s}"
+    # Used to output bitstring.
+    # Enhance HDLRuby with generation of verilog code.
+    class HDLRuby::BitString
+        # Converts the system to Verilog code.
+        def to_verilog
+            return "#{self.to_s}"
+        end
     end
-end
 
-# Used for connection using choice.
-# Enhance Select with generation of verilog code.
-class Select
-    # Converts the system to Verilog code.
-    def to_verilog
-        # Outputs the first and second choices (choice (0) and choice (1)).
-        return "#{self.select.to_verilog} == 1 #{self.operator} #{self.get_choice(0).to_verilog} : #{self.get_choice(1).to_verilog}"
+    # Used for connection using choice.
+    # Enhance Select with generation of verilog code.
+    class Select
+        # Converts the system to Verilog code.
+        def to_verilog
+            # Outputs the first and second choices (choice (0) and choice (1)).
+            return "#{self.select.to_verilog} == 1 #{self.operator} #{self.get_choice(0).to_verilog} : #{self.get_choice(1).to_verilog}"
+        end
     end
-end
 
-# Used to output numbers.
-# Enhance Value with generation of verilog code.
-class Value
-    # Converts the system to Verilog code.
-    # If it is bit, it is b, and if it is int, it is represented by d. (Example: 4'b0000, 32'd1)
-    def to_verilog(unknown = nil)
-        if self.type.base.name.to_s == "bit"
-            return "#{self.type.range.first + 1}'b#{self.content.to_verilog}"
-        elsif self.type.name.to_s == "integer"
-            str = self.content.to_verilog
-            if str[0] == "-" then
-                # Negative value.
-                return "-#{self.type.range.first + 1}'d#{str[1..-1]}"
-            else
-                return "#{self.type.range.first + 1}'d#{str}"
+    # Used to output numbers.
+    # Enhance Value with generation of verilog code.
+    class Value
+        # Converts the system to Verilog code.
+        # If it is bit, it is b, and if it is int, it is represented by d. (Example: 4'b0000, 32'd1)
+        def to_verilog(unknown = nil)
+            if self.type.base.name.to_s == "bit"
+                return "#{self.type.range.first + 1}'b#{self.content.to_verilog}"
+            elsif self.type.name.to_s == "integer"
+                str = self.content.to_verilog
+                if str[0] == "-" then
+                    # Negative value.
+                    return "-#{self.type.range.first + 1}'d#{str[1..-1]}"
+                else
+                    return "#{self.type.range.first + 1}'d#{str}"
+                end
             end
+            return "#{self.type.range.first + 1}'b#{self.content.to_verilog}"
+        end
+        # How to use when simply obtaining the width
+        def to_getrange
+            return "#{self.content.to_verilog}"
         end
-        return "#{self.type.range.first + 1}'b#{self.content.to_verilog}"
-    end
-    # How to use when simply obtaining the width
-    def to_getrange
-        return "#{self.content.to_verilog}"
     end
-end
 
-# Used to transrate if.
-# Enhance If with generation of verilog code.
-class If
-    # Converts the system to Verilog code.
-    def to_verilog(mode = nil)
 
-        $blocking = false
+    # Used to transrate if.
+    # Enhance If with generation of verilog code.
+    class If
+        # # Converts the system to Verilog code.
+        # def to_verilog(mode = nil)
+        # Converts to Verilog code, checking adding 'spc' spaces at the begining
+        # of each line.
+        def to_verilog(spc = 3)
 
-        if ($space_count == 0) then
-            result = "   " * ($space_count)  # Indented based on space_count.
-        else
-            result = ""
-        end
-        $space_count += 1                  # Add count to be used for indentation.
+            $blocking = false
 
-        result << "if (#{self.condition.to_verilog}) begin\n"
+            result = " " * spc  # Indented based on space_count.
 
+            result << "if (#{self.condition.to_verilog}) "
 
-        # Check if there is yes (if) and output yes or less.
-        if self.respond_to? (:yes)
-            self.yes.each_statement do |statement|
-                result << "#{"   " * $space_count}      #{statement.to_verilog(mode)}"
+
+            # Check if there is yes (if) and output yes or less.
+            if self.respond_to? (:yes)
+                result << self.yes.to_verilog(spc)
             end
-            result << "#{"   " * $space_count}   end\n"
-        end
 
-        # If noif (else if) exists, it outputs it.
-        # Since noif is directly under, respond_to is unnecessary.
-        self.each_noif do |condition, block|
-            result << "#{"   " * $space_count}   else if (#{condition.to_verilog}) begin\n"
-            block.each_statement do |statement|
-                result << "#{"   " * $space_count}      #{statement.to_verilog(mode)}"
+            # If noif (else if) exists, it outputs it.
+            # Since noif is directly under, respond_to is unnecessary.
+            self.each_noif do |condition, block|
+                result << "\n#{" "*spc}else if (#{condition.to_verilog}) "
+                result << block.to_verilog(spc)
             end
-            result << "#{"   "* $space_count}   end\n"
-        end
 
-        # Check if there is no (else) and output no or less.
-        if self.no.respond_to? (:mode)
-            result << "#{"   " * $space_count}   else begin\n"
-            self.no.each_statement do |statement|
-                result << "#{"   " * $space_count}      #{statement.to_verilog(mode)}"
+            # Check if there is no (else) and output no or less.
+            if self.no.respond_to?(:mode)
+                result << "\n#{" " * spc}else "
+                result << self.no.to_verilog(spc)
             end
-            result << "#{"   " * $space_count}   end\n"
-        end
 
-        $space_count -= 1 # Since the output ends, reduce the count.
-        return result
+            return result
+        end
     end
-end
 
-# Used to translate case
-class Case
-    def to_verilog(mode = nil)
+    # Used to translate case
+    class Case
+        # def to_verilog(mode = nil)
+        #
+        # Converts to Verilog code, checking if variables are register
+        # or wire adding 'spc' spaces at the begining of each line.
+        def to_verilog(spc = 3)
+
+            result = " " * spc # Indented based on space_count.
 
-        if ($space_count == 0) then
-            result = "   " * ($space_count) # Indented based on space_count.
-        else
             result = ""
-        end
-        $space_count += 1                 # Add count to be used for indentation.
-
-        result = ""
-        result << "case(#{self.value.to_verilog})\n"
-
-        # n the case statement, each branch is partitioned by when. Process each time when.
-        self.each_when do |whens| 
-            # Reads and stores the numbers and expressions stored in when.
-            result << "      " + "   " *$space_count + "#{whens.match.to_verilog}: "
-            if whens.statement.each_statement.count > 1 then
-                result << "begin\n"
-                whens.statement.each_statement do |statement|
-                    result << "                  "+ "   " *$space_count +"#{statement.to_verilog}"
-                end
-                result << "             " + "   " *$space_count + "end\n"
-            elsif whens.statement.each_statement.count == 1 then
-                whens.statement.each_statement do |statement|
-                    result << "#{statement.to_verilog}"
+            result << "case(#{self.value.to_verilog})\n"
+
+            # n the case statement, each branch is partitioned by when. Process each time when.
+            self.each_when do |whens| 
+                # Reads and stores the numbers and expressions stored in when.
+                result << " " * (spc+3) + "#{whens.match.to_verilog}: "
+
+                if whens.statement.each_statement.count >= 1 then
+                    result << whens.statement.to_verilog(spc+3)
+                else
+                    result << "\n"
                 end
-            else
-                # Empty statement case.
-                result << "\n"
             end
-        end
-        # The default part is stored in default instead of when. Reads and processes in the same way as when.
-        if self.default then
-            if self.default.each_statement.count > 1 then
-                result << "      " + "   " *$space_count + "default: begin\n"
-                self.default.each_statement do |statement|
-                    result << "                  " + "   " *$space_count + "#{statement.to_verilog}"
-                end
-                result << "                  end\n"
-            elsif self.default.each_statement.count == 1 then
-                result << "      " + "   " *$space_count + "default: "
-                self.default.each_statement do |statement|
-                    result << "#{statement.to_verilog}"
+            if self.default then
+                if self.default.each_statement.count >= 1 then
+                    result << self.default.each_statement.map do |stmnt|
+                        stmnt.to_verilog(spc+3)
+                    end.join("\n")
+                else
+                    result << "\n"
                 end
-            end  
-        end
-        result << "   " + "   " *$space_count + "endcase\n" # Conclusion.
-
-        $space_count -= 1           # Since the output ends, reduce the count.
-        return result               # Return case after translation.
-    end
-end
+            end
+            result << " " * spc + "endcase\n" # Conclusion.
 
-# Translate expression of combination circuit.
-# Enhance Connection with generation of verilog code.
-class Connection
-    # Converts the system to Verilog code.
-
-    # Method used for array.
-    def array_connection(left,right)
-        expression = right.each_expression.to_a
-        result = ""
-        expression[0..-2].each do |expression|
-            result << "   assign #{left.to_verilog}[#{expression.content.to_s}] = #{expression.to_verilog};\n"
+            return result               # Return case after translation.
         end
-        result << "   assign #{left.to_verilog}[#{expression.last.content.to_s}] = #{expression.last.to_verilog};\n"
-        return result
     end
 
-    def to_verilog
-        # Decide whether to assign to array by if.
-        # NOTICE: Now array assignment is done trough constant initialization, will be treated later.
-        # if self.right.respond_to? (:each_expression) 
-        #   array_connection(self.left,self.right);
-        # else
-        cnt = 0  # Use count.
-        bit = -2 # Used to determine the bit width. Since there are 0 and default, -2.
-
-        # Measure the number of choices on the right side (case statement if it is 3 or more).
-        if self.right.respond_to? (:each_choice)
-            choice = self.right.each_choice.to_a
-            choice.each do |choice|
-                bit += 1
-            end
-        end
+    # Translate expression of combination circuit.
+    # Enhance Connection with generation of verilog code.
+    class Connection
+        # Converts the system to Verilog code.
 
-        # Three or more choices.
-        if (bit > 2)
-            # The bit width is obtained by converting the bit into a binary number and obtaining the size.
-            bit = bit.to_s(2).size
-
-            # Create a case statement.
-            result = "   begin\n"
-            result << "      case(#{self.right.select.to_verilog})\n"
-            # Output other than the last one in order.
-            choice[0..-2].each do |choice|
-                result << "         #{bit}'#{cnt}: #{self.left.to_verilog} = #{choice.to_verilog}\n"
-                cnt += 1
+        # Method used for array.
+        def array_connection(left,right)
+            expression = right.each_expression.to_a
+            result = ""
+            expression[0..-2].each do |expression|
+                result << "   assign #{left.to_verilog}[#{expression.content.to_s}] = #{expression.to_verilog};\n"
             end
-            # At the end, it becomes default because it needs default.
-            result << "         default: #{self.left.to_verilog} = #{choice.last.to_verilog}\n"
-            result << "      endcase\n"
-            result << "   end\n"
+            result << "   assign #{left.to_verilog}[#{expression.last.content.to_s}] = #{expression.last.to_verilog};\n"
             return result
         end
 
-        # It is not a case so call it normally.
-        return "   assign #{self.left.to_verilog} = #{self.right.to_verilog};\n"
-        # end
-    end
-end
+        def to_verilog
+            # Decide whether to assign to array by if.
+            # NOTICE: Now array assignment is done trough constant initialization, will be treated later.
+            # if self.right.respond_to? (:each_expression) 
+            #   array_connection(self.left,self.right);
+            # else
+            cnt = 0  # Use count.
+            bit = -2 # Used to determine the bit width. Since there are 0 and default, -2.
+
+            # Measure the number of choices on the right side (case statement if it is 3 or more).
+            if self.right.respond_to? (:each_choice)
+                choice = self.right.each_choice.to_a
+                choice.each do |choice|
+                    bit += 1
+                end
+            end
+
+            # Three or more choices.
+            if (bit > 2)
+                # The bit width is obtained by converting the bit into a binary number and obtaining the size.
+                bit = bit.to_s(2).size
+
+                # Create a case statement.
+                result = "   begin\n"
+                result << "      case(#{self.right.select.to_verilog})\n"
+                # Output other than the last one in order.
+                choice[0..-2].each do |choice|
+                    result << "         #{bit}'#{cnt}: #{self.left.to_verilog} = #{choice.to_verilog}\n"
+                    cnt += 1
+                end
+                # At the end, it becomes default because it needs default.
+                result << "         default: #{self.left.to_verilog} = #{choice.last.to_verilog}\n"
+                result << "      endcase\n"
+                result << "   end\n"
+                return result
+            end
 
-# It could be used for instantiation.
-class RefThis
-    def to_another_verilog
-        return ""
+            # It is not a case so call it normally.
+            return "   assign #{self.left.to_verilog} = #{self.right.to_verilog};\n"
+            # end
+        end
     end
-end
 
-# Used when using "~" for expressions.
-class Unary
-    # Converts the system to Verilog code.
-    def to_verilog
-        return "#{self.operator[0]}#{self.child.to_verilog}"
+    # It could be used for instantiation.
+    class RefThis
+        def to_another_verilog
+            return ""
+        end
     end
-end
 
-# Used when casting expressions.
-class Cast
-    # Converts the system to Verilog code.
-    # NOTE: the cast is rounded up size bit-width cast is not supported
-    #       by traditional verilog.
-    def to_verilog
-        # return "#{self.type.to_verilog}'(#{self.child.to_verilog})"
-        if self.child.is_a?(Value) then
-            return self.child.to_verilog
+    # Used when using "~" for expressions.
+    class Unary
+        # Converts the system to Verilog code.
+        def to_verilog
+            return "#{self.operator[0]}#{self.child.to_verilog}"
         end
-        # Get the type widths, used for computing extensions or truncations.
-        cw = self.child.type.width
-        sw = self.type.width
-        if self.type.signed? then
-            # return "$signed(#{self.child.to_verilog})"
-            if (sw>cw) then
-                # Need to sign extend.
-                return "$signed({{#{sw-cw}{#{self.child.to_verilog}[#{cw-1}]}}," +
-                  "#{self.child.to_verilog}})"
-            elsif (sw<cw) then
-                # Need to truncate
-                return "$signed(#{self.child.to_verilog}[#{sw-1}:0])"
-            else
-                # Only enforce signed.
-                return "$signed(#{self.child.to_verilog})"
+    end
+
+    # Used when casting expressions.
+    class Cast
+        # Converts the system to Verilog code.
+        # NOTE: the cast is rounded up size bit-width cast is not supported
+        #       by traditional verilog.
+        def to_verilog
+            if self.child.is_a?(Value) then
+                return self.child.to_verilog
             end
-        else
-            # return "$unsigned(#{self.child.to_verilog})"
-            if (sw>cw) then
-                # Need to extend.
-                return "$unsigned({{#{sw-cw}{1'b0}},#{self.child.to_verilog}})"
-            elsif (sw<cw) then
-                # Need to truncate
-                return "$unsigned(#{self.child.to_verilog}[#{sw-1}:0])"
+            # Get the type widths, used for computing extensions or truncations.
+            cw = self.child.type.width
+            sw = self.type.width
+            if self.type.signed? then
+                if (sw>cw) then
+                    # Need to sign extend.
+                    return "$signed({{#{sw-cw}{#{self.child.to_verilog}[#{cw-1}]}}," +
+                        "#{self.child.to_verilog}})"
+                elsif (sw<cw) then
+                    # Need to truncate
+                    return "$signed(#{self.child.to_verilog}[#{sw-1}:0])"
+                else
+                    # Only enforce signed.
+                    return "$signed(#{self.child.to_verilog})"
+                end
             else
-                # Only enforce signed.
-                return "$unsigned(#{self.child.to_verilog})"
+                if (sw>cw) then
+                    # Need to extend.
+                    return "$unsigned({{#{sw-cw}{1'b0}},#{self.child.to_verilog}})"
+                elsif (sw<cw) then
+                    # Need to truncate
+                    return "$unsigned(#{self.child.to_verilog}[#{sw-1}:0])"
+                else
+                    # Only enforce signed.
+                    return "$unsigned(#{self.child.to_verilog})"
+                end
             end
         end
     end
-end
 
-# For declaring variables.
-# Enhance SignalI with generation of verilog code.
-class SignalI
-    # Converts the system to Verilog code.
-    def to_verilog
-        # Convert unusable characters and return them.
-        return "#{name_to_verilog(self.name)}"
+    # For declaring variables.
+    # Enhance SignalI with generation of verilog code.
+    class SignalI
+        # Converts the system to Verilog code.
+        def to_verilog
+            # Convert unusable characters and return them.
+            vname = name_to_verilog(self.name)
+            self.properties[:verilog_name] = vname
+            return "#{vname}"
+        end
     end
-end
 
-# If it is signed, it outputs signed.
-# Enhance Type with generation of verilog code.
-class Type
-    # Converts the type to Verilog code.
-    def to_verilog
-        return self.name == :signed ? "#{self.name.to_s} " : ""
+    # If it is signed, it outputs signed.
+    # Enhance Type with generation of verilog code.
+    class Type
+        # Converts the type to Verilog code.
+        def to_verilog
+            return self.name == :signed ? "#{self.name.to_s} " : ""
+        end
     end
-end
 
-# Replace type by refered type.
-class TypeDef
-    # Converts the type to verilog code.
-    def to_verilog
-        return self.def.to_verilog
+    # Replace type by refered type.
+    class TypeDef
+        # Converts the type to verilog code.
+        def to_verilog
+            return self.def.to_verilog
+        end
     end
-end
 
-# Use it when collecting.
-class Concat
-    def to_verilog    
-        expression = self.each_expression.to_a
+    # Use it when collecting.
+    class Concat
+        def to_verilog    
+            expression = self.each_expression.to_a
 
-        result = "{"
-        expression[0..-2].each do |expression|
-            result << "#{expression.to_verilog},"
-        end
-        result << "#{expression.last.to_verilog}}"
+            result = "{"
+            expression[0..-2].each do |expression|
+                result << "#{expression.to_verilog},"
+            end
+            result << "#{expression.last.to_verilog}}"
 
-        return result
+            return result
+        end
     end
-end
 
-# Look at the unit of time, convert the time to ps and output it.
-# One of two people, TimeWait and Delay.
-class TimeWait
-    def to_verilog(mode=nil)
-        return self.delay.to_verilog + "\n"
+    # Look at the unit of time, convert the time to ps and output it.
+    # One of two people, TimeWait and Delay.
+    class TimeWait
+        def to_verilog(spc = 3)
+            return (" " * spc) + self.delay.to_verilog + "\n"
+        end
     end
-end
-class Delay
-    def to_verilog
-        time = self.value.to_s
-        if(self.unit.to_s == "ps") then
-            return "##{time};"
-        elsif(self.unit.to_s == "ns")
-            return "##{time}000;"
-        elsif(self.unit.to_s == "us")
-            return "##{time}000000;"
-        elsif(self.unit.to_s == "ms")
-            return "##{time}000000000;"
-        elsif(self.unit.to_s == "s")
-            return "##{time}000000000000;"
+    class Delay
+        def to_verilog
+            time = self.value.to_s
+            if(self.unit.to_s == "ps") then
+                return "##{time};"
+            elsif(self.unit.to_s == "ns")
+                return "##{time}000;"
+            elsif(self.unit.to_s == "us")
+                return "##{time}000000;"
+            elsif(self.unit.to_s == "ms")
+                return "##{time}000000000;"
+            elsif(self.unit.to_s == "s")
+                return "##{time}000000000000;"
+            end
         end
     end
-end
 
-# Those who disappeared.
-#class SystemI
-#class TypeTuple
-#class Event
-
-# Enhance SystemT with generation of verilog code.
-class SystemT
-    
-    ## Tells if a connection is actually a port connection.
-    def port_output_connection?(connection)
-        return self.each_systemI.find do |systemI|
-            if connection.right.is_a?(RefName) && 
-            connection.right.ref.is_a?(RefName) &&
-            systemI.name == connection.right.ref.name
-                puts "port_connection for right=#{connection.right.name} and systemI=#{systemI.name}"
-                true
-            else
-                false
+    # Those who disappeared.
+    #class SystemI
+    #class TypeTuple
+    #class Event
+
+    # Enhance SystemT with generation of verilog code.
+    class SystemT
+
+        ## Tells if a connection is actually a port connection.
+        def port_output_connection?(connection)
+            return self.each_systemI.find do |systemI|
+                if connection.right.is_a?(RefName) && 
+                        connection.right.ref.is_a?(RefName) &&
+                        systemI.name == connection.right.ref.name
+                    puts "port_connection for right=#{connection.right.name} and systemI=#{systemI.name}"
+                    true
+                else
+                    false
+                end
             end
         end
-    end
 
-    ## Tells if an expression is a reference to port +systemI.signal+.
-    def port_assign?(expr, systemI, signal)
-        return expr.is_a?(RefName) && expr.name == signal.name &&
-            expr.ref.is_a?(RefName) && expr.ref.name == systemI.name
-    end
+        ## Tells if an expression is a reference to port +systemI.signal+.
+        def port_assign?(expr, systemI, signal)
+            return expr.is_a?(RefName) && expr.name == signal.name &&
+                expr.ref.is_a?(RefName) && expr.ref.name == systemI.name
+        end
 
-    ## Extracts the assignments to port +systemI.signal+ and returns
-    #  the resulting reference to a port wire.
-    #
-    #  NOTE: assumes to_upper_space! and with_port! has been called.
-    def extract_port_assign!(systemI,signal)
-        # Extract the assignment.
-        assign = nil
-        self.each_connection.to_a.each do |connection|
-            if self.port_assign?(connection.left,systemI,signal) then
-                # The left is the port.
-                # Delete the connection.
-                self.scope.delete_connection!(connection)
-                # And return a copy of the right.
-                return connection.right.clone
-            elsif self.port_assign?(connection.right,systemI,signal) then
-                # The right is the port.
-                # Delete the connection.
-                self.scope.delete_connection!(connection)
-                # And return a copy of the left.
-                return connection.left.clone
+        ## Extracts the assignments to port +systemI.signal+ and returns
+        #  the resulting reference to a port wire.
+        #
+        #  NOTE: assumes to_upper_space! and with_port! has been called.
+        def extract_port_assign!(systemI,signal)
+            # Extract the assignment.
+            assign = nil
+            self.each_connection.to_a.each do |connection|
+                if self.port_assign?(connection.left,systemI,signal) then
+                    # The left is the port.
+                    # Delete the connection.
+                    self.scope.delete_connection!(connection)
+                    # And return a copy of the right.
+                    return connection.right.clone
+                elsif self.port_assign?(connection.right,systemI,signal) then
+                    # The right is the port.
+                    # Delete the connection.
+                    self.scope.delete_connection!(connection)
+                    # And return a copy of the left.
+                    return connection.left.clone
+                end
             end
+            # No port found, nothing to do
+            return nil
         end
-        # No port found, nothing to do
-        return nil
-    end
 
 
 
-    # Converts the system to Verilog code.
-    def to_verilog
-        # Preprocessing
-        # Force seq block to par: ULTRA TEMPORARY! ICIICI
-        self.each_behavior do |behavior|
-            behavior.each_block_deep do |block|
-                block.set_mode!(:par) unless block.is_a?(TimeBlock)
+        # Converts the system to Verilog code.
+        def to_verilog
+            # Detect the registers
+            HDLRuby::Low::VERILOG_REGS.clear
+            # The left values.
+            self.each_behavior do |behavior|
+                behavior.each_block_deep do |block|
+                    block.each_statement do |statement|
+                        if statement.is_a?(Transmit)
+                            HDLRuby::Low::VERILOG_REGS << statement.left.to_verilog
+                        end
+                    end
+                end
             end
-        end
-        # Detect the registers
-        regs = []
-        # The left values.
-        self.each_behavior do |behavior|
-            # behavior.block.each_statement do |statement|
-            #     regs << statement.left.to_verilog if statement.is_a?(Transmit)
-            # end
-            behavior.each_block_deep do |block|
-                block.each_statement do |statement|
-                    regs << statement.left.to_verilog if statement.is_a?(Transmit)
+            # And the initialized signals.
+            self.each_output do |output|
+                # regs << output.to_verilog if output.value
+                HDLRuby::Low::VERILOG_REGS << output.to_verilog if output.value
+            end
+            self.each_inner do |inner|
+                # regs << inner.to_verilog if inner.value
+                HDLRuby::Low::VERILOG_REGS << inner.to_verilog if inner.value
+            end
+            # And the array types signals.
+            self.each_signal do |sig|
+                if sig.type.vector? && sig.type.base.vector? then
+                    HDLRuby::Low::VERILOG_REGS << sig.to_verilog
+                end
+            end
+            self.each_inner do |sig|
+                if sig.type.vector? && sig.type.base.vector? then
+                    HDLRuby::Low::VERILOG_REGS << sig.to_verilog
                 end
             end
-        end
-        # # puts "regs has clk?: #{regs.include?("clk")}"
-        # # puts "for system #{self.name}"
-        # # Remove the left values of connection, they do not count.
-        # self.scope.each_connection do |connection|
-        #     # Skip port connections.
-        #     next if !self.port_output_connection?(connection) 
-        #     # puts "Not counting left in connection: #{connection.to_verilog}"
-        #     # puts "i.e.: #{connection.left.to_verilog}"
-        #     regs.delete(connection.left.to_verilog)
-        # end
-        # # puts "Now regs has clk?: #{regs.include?("clk")}"
-        # And the initialized signals.
-        self.each_output do |output|
-            regs << output.to_verilog if output.value
-        end
-        self.each_inner do |inner|
-            regs << inner.to_verilog if inner.value
-        end
-        # And the array types signals.
-        self.each_signal do |sig|
-            # regs << sig.to_verilog if sig.type.is_a?(TypeVector) && sig.type.base.is_a?(TypeVector)
-            regs << sig.to_verilog if sig.type.vector? && sig.type.base.vector?
-        end
-        self.each_inner do |sig|
-            # regs << sig.to_verilog if sig.type.is_a?(TypeVector) && sig.type.base.is_a?(TypeVector)
-            regs << sig.to_verilog if sig.type.vector? && sig.type.base.vector?
-        end
 
-        # Code generation
-        inputs = 0
-        outputs = 0
-        inout = 0
+            # Code generation
+            inputs = 0
+            outputs = 0
+            inout = 0
 
-        inputs = self.each_input.to_a
-        outputs = self.each_output.to_a
-        inout = self.each_inout.to_a
+            inputs = self.each_input.to_a
+            outputs = self.each_output.to_a
+            inout = self.each_inout.to_a
 
-        # Spelling necessary for simulation.
-        code = "`timescale 1ps/1ps\n\n"
-        # Output the module name.
-        code << "module #{name_to_verilog(self.name)}("
+            # Spelling necessary for simulation.
+            code = "`timescale 1ps/1ps\n\n"
 
-        # Output the last two to the input. 
-        inputs[0..-2].each do |input|
-            code << " #{input.to_verilog},"
-        end
-        # When only input is used, it is necessary to close (), so it branches with if.
-        if outputs.empty? && inout.empty? then
-            # code << " #{inputs.last.to_verilog} ); \n" unless inputs.empty?
-            if (inputs.empty?)
-                code << " ); \n"
-            end
-        else
-            code << " #{inputs.last.to_verilog}," unless inputs.empty?
-        end
+            vname = name_to_verilog(self.name)
+            self.properties[:verilog_name] = vname
+            # Output the module name.
+            code << "module #{vname}("
 
-        # Output the last two to the output. 
-        outputs[0..-2].each do |output|
-            code << " #{output.to_verilog},"
-        end
-        # When only input and output are used, it is necessary to close (), so it branches with if.
-        if inout.empty? then
-            code << " #{outputs.last.to_verilog} ); \n" unless outputs.empty?
-        else
-            code << " #{outputs.last.to_verilog}," unless outputs.empty?
-        end
+            # Output the last two to the input. 
+            inputs[0..-2].each do |input|
+                code << " #{input.to_verilog},"
+            end
+            # When only input is used, it is necessary to close (), so it branches with if.
+            if outputs.empty? && inout.empty? then
+                if (inputs.empty?)
+                    code << " ); \n"
+                end
+            else
+                code << " #{inputs.last.to_verilog}," unless inputs.empty?
+            end
 
-        # Output the last two to the inout. 
-        inout[0..-2].each do |inout|
-            code << " #{inout.to_verilog},"
-        end
-        # There is no comma as it is the last one
-        code << " #{inout.last.to_verilog} ); \n" unless inout.empty?
-
-        # Declare "input"
-        self.each_input do |input|
-            if input.type.respond_to? (:each_type) then
-                $vector_reg = "#{input.to_verilog}"
-                $vector_cnt = 0
-                input.type.each_type do |type|
-                    code << "input #{type.to_verilog} #{$vector_reg}:#{$vector_cnt};\n"
-                    $vector_cnt += 1
-                end        
+            # Output the last two to the output. 
+            outputs[0..-2].each do |output|
+                code << " #{output.to_verilog},"
+            end
+            # When only input and output are used, it is necessary to close (), so it branches with if.
+            if inout.empty? then
+                code << " #{outputs.last.to_verilog} ); \n" unless outputs.empty?
             else
-                code << "   input#{input.type.to_verilog} #{input.to_verilog};\n"
+                code << " #{outputs.last.to_verilog}," unless outputs.empty?
             end
-        end
 
-        # Declare "output"
-        self.each_output do |output|
-            if output.type.respond_to? (:each_type) then
-                $vector_reg = "#{output.to_verilog}"
-                $vector_cnt = 0
-                output.type.each_type do |type|
-                    if regs.include?(type.name) then
+            # Output the last two to the inout. 
+            inout[0..-2].each do |inout|
+                code << " #{inout.to_verilog},"
+            end
+            # There is no comma as it is the last one
+            code << " #{inout.last.to_verilog} ); \n" unless inout.empty?
+
+            # Declare "input"
+            self.each_input do |input|
+                if input.type.respond_to? (:each_type) then
+                    $vector_reg = "#{input.to_verilog}"
+                    $vector_cnt = 0
+                    input.type.each_type do |type|
+                        code << "input #{type.to_verilog} #{$vector_reg}:#{$vector_cnt};\n"
+                        $vector_cnt += 1
+                    end        
+                else
+                    code << "   input#{input.type.to_verilog} #{input.to_verilog};\n"
+                end
+            end
+
+            # Declare "output"
+            self.each_output do |output|
+                if output.type.respond_to? (:each_type) then
+                    $vector_reg = "#{output.to_verilog}"
+                    $vector_cnt = 0
+                    output.type.each_type do |type|
+                        # if regs.include?(type.name) then
+                        if HDLRuby::Low::VERILOG_REGS.include?(type.name) then
+                            code << "   output reg"
+                        else
+                            code << "   output"
+                        end
+                        code << "#{type.to_verilog} #{$vector_reg}:#{$vector_cnt}"
+                        if output.value then
+                            # There is an initial value.
+                            code << " = #{output.value.to_verilog}"
+                        end
+                        code << ";\n"
+                        $vector_cnt += 1
+                    end        
+                else
+                    if HDLRuby::Low::VERILOG_REGS.include?(output.to_verilog) then
                         code << "   output reg"
                     else
                         code << "   output"
                     end
-                    # code << "#{type.to_verilog} #{$vector_reg}:#{$vector_cnt};\n"
-                    code << "#{type.to_verilog} #{$vector_reg}:#{$vector_cnt}"
+                    code << "#{output.type.to_verilog} #{output.to_verilog}"
                     if output.value then
                         # There is an initial value.
                         code << " = #{output.value.to_verilog}"
                     end
                     code << ";\n"
-                    $vector_cnt += 1
-                end        
-            else
-                # if regs.include?(output.name) then
-                if regs.include?(output.to_verilog) then
-                    code << "   output reg"
-                else
-                    code << "   output"
-                end
-                # code << "#{output.type.to_verilog} #{output.to_verilog};\n"
-                code << "#{output.type.to_verilog} #{output.to_verilog}"
-                if output.value then
-                    # There is an initial value.
-                    code << " = #{output.value.to_verilog}"
                 end
-                code << ";\n"
-            end
-        end
-
-        # Declare "inout"
-        self.each_inout do |inout|
-            if inout.type.respond_to? (:each_type) then
-                $vector_reg = "#{inout.to_verilog}"
-                $vector_cnt = 0
-                inout.type.each_type do |type|
-                    code << "inout #{type.to_verilog} #{$vector_reg}:#{$vector_cnt};\n"
-                    $vector_cnt += 1
-                end        
-            else
-                code << "   inout#{inout.type.to_verilog} #{inout.to_verilog};\n"
-            end
-        end
-
-        # Declare "inner".
-        self.each_inner do |inner|
-            # if regs.include?(inner.name) then
-            if regs.include?(inner.to_verilog) then
-                code << "   reg"
-            else
-                code << "   wire"
             end
 
-            if inner.type.base? 
-                if inner.type.base.base? 
-                    # code << "#{inner.type.base.to_verilog} #{inner.to_verilog} #{inner.type.to_verilog};\n"
-                    code << "#{inner.type.base.to_verilog} #{inner.to_verilog} #{inner.type.to_verilog}"
+            # Declare "inout"
+            self.each_inout do |inout|
+                if inout.type.respond_to? (:each_type) then
+                    $vector_reg = "#{inout.to_verilog}"
+                    $vector_cnt = 0
+                    inout.type.each_type do |type|
+                        code << "inout #{type.to_verilog} #{$vector_reg}:#{$vector_cnt};\n"
+                        $vector_cnt += 1
+                    end        
                 else
-                    # code << "#{inner.type.to_verilog} #{inner.to_verilog};\n"
-                    code << "#{inner.type.to_verilog} #{inner.to_verilog}"
+                    code << "   inout#{inout.type.to_verilog} #{inout.to_verilog};\n"
                 end
-            else
-                # code << " #{inner.type.to_verilog}#{inner.to_verilog};\n"
-                code << " #{inner.type.to_verilog}#{inner.to_verilog}"
-            end
-            if inner.value then
-                # There is an initial value.
-                code << " = #{inner.value.to_verilog}"
             end
-            code << ";\n"
-        end
 
-        # If there is scope in scope, translate it.
-        self.each_scope do |scope|
-            scope.each_inner do |inner|
-                # if regs.include?(inner.name) then
-                if regs.include?(inner.to_verilog) then
-                    code << "   reg "
+            # Declare "inner".
+            self.each_inner do |inner|
+                if HDLRuby::Low::VERILOG_REGS.include?(inner.to_verilog) then
+                    code << "   reg"
                 else
-                    code << "   wire "
+                    code << "   wire"
                 end
 
-                if inner.type.respond_to? (:base) 
-                    if inner.type.base.base?
-                        # code << "#{inner.type.base.to_verilog} #{inner.to_verilog} #{inner.type.to_verilog};\n"
+                if inner.type.base? 
+                    if inner.type.base.base? 
                         code << "#{inner.type.base.to_verilog} #{inner.to_verilog} #{inner.type.to_verilog}"
                     else
-                        # code << "#{inner.type.to_verilog} #{inner.to_verilog};\n"
                         code << "#{inner.type.to_verilog} #{inner.to_verilog}"
                     end
                 else
-                    # code << "inner #{inner.type.to_verilog} #{inner.to_verilog};\n"
-                    code << "inner #{inner.type.to_verilog} #{inner.to_verilog}"
+                    code << " #{inner.type.to_verilog}#{inner.to_verilog}"
                 end
                 if inner.value then
                     # There is an initial value.
                     code << " = #{inner.value.to_verilog}"
                 end
                 code << ";\n"
-            end    
-
-            scope.each_connection do |connection|
-                code << "\n" 
-                code << "#{connection.to_verilog}"
             end
-        end
 
-        code << "\n"
-
-        # puts "For system=#{self.name}"
-        # transliation of the instantiation part.
-        # Generate the instances connections.
-        self.each_systemI do |systemI| 
-            # puts "Processing systemI = #{systemI.name}"
-            # Its Declaration.
-            code << " " * 3
-            systemT = systemI.systemT
-            code << name_to_verilog(systemT.name) << " "
-            code << name_to_verilog(systemI.name) << "("
-            # Its ports connections
-            # Inputs
-            systemT.each_input do |input|
-                ref = self.extract_port_assign!(systemI,input)
-                if ref then
-                    code << "." << name_to_verilog(input.name) << "(" 
-                    code << ref.to_verilog
-                    code << "),"
+            # If there is scope in scope, translate it.
+            self.each_scope do |scope|
+                scope.each_inner do |inner|
+                    if HDLRuby::Low::VERILOG_REGS.include?(inner.to_verilog) then
+                        code << "   reg "
+                    else
+                        code << "   wire "
+                    end
+
+                    if inner.type.respond_to? (:base) 
+                        if inner.type.base.base?
+                            code << "#{inner.type.base.to_verilog} #{inner.to_verilog} #{inner.type.to_verilog}"
+                        else
+                            code << "#{inner.type.to_verilog} #{inner.to_verilog}"
+                        end
+                    else
+                        code << "inner #{inner.type.to_verilog} #{inner.to_verilog}"
+                    end
+                    if inner.value then
+                        # There is an initial value.
+                        code << " = #{inner.value.to_verilog}"
+                    end
+                    code << ";\n"
+                end    
+
+                scope.each_connection do |connection|
+                    code << "\n" 
+                    code << "#{connection.to_verilog}"
                 end
             end
-            # Outputs
-            systemT.each_output do |output|
-                ref = self.extract_port_assign!(systemI,output)
-                if ref then
-                    code << "." << name_to_verilog(output.name) << "(" 
-                    code << ref.to_verilog
-                    code << "),"
+
+            code << "\n"
+
+            # puts "For system=#{self.name}"
+            # transliation of the instantiation part.
+            # Generate the instances connections.
+            self.each_systemI do |systemI| 
+                # puts "Processing systemI = #{systemI.name}"
+                # Its Declaration.
+                code << " " * 3
+                systemT = systemI.systemT
+                code << name_to_verilog(systemT.name) << " "
+                vname = name_to_verilog(systemI.name)
+                systemI.properties[:verilog_name] = vname
+                code << vname << "("
+                # Its ports connections
+                # Inputs
+                systemT.each_input do |input|
+                    ref = self.extract_port_assign!(systemI,input)
+                    if ref then
+                        code << "." << name_to_verilog(input.name) << "(" 
+                        code << ref.to_verilog
+                        code << "),"
+                    end
                 end
-            end
-            # Inouts
-            systemT.each_inout do |inout|
-                ref = self.extract_port_assign!(systemI,inout)
-                if ref then
-                    code << "." << name_to_verilog(inout.name) << "(" 
-                    code << ref.to_verilog
-                    code << "),"
+                # Outputs
+                systemT.each_output do |output|
+                    ref = self.extract_port_assign!(systemI,output)
+                    if ref then
+                        code << "." << name_to_verilog(output.name) << "(" 
+                        code << ref.to_verilog
+                        code << "),"
+                    end
+                end
+                # Inouts
+                systemT.each_inout do |inout|
+                    ref = self.extract_port_assign!(systemI,inout)
+                    if ref then
+                        code << "." << name_to_verilog(inout.name) << "(" 
+                        code << ref.to_verilog
+                        code << "),"
+                    end
                 end
+                # Remove the last "," for conforming with Verilog syntax.
+                # and close the port connection.
+                code[-1] = ");\n"
             end
-            # Remove the last "," for conforming with Verilog syntax.
-            # and close the port connection.
-            code[-1] = ");\n"
-        end
 
 
 
-        # translation of the connection part (assigen).
-        self.each_connection do |connection|
-            code << "#{connection.to_verilog}\n"
-        end
+            # translation of the connection part (assigen).
+            self.each_connection do |connection|
+                code << "#{connection.to_verilog}\n"
+            end
 
-        # Translation of behavior part (always).
-        self.each_behavior do |behavior|
-            if behavior.block.is_a?(TimeBlock) then
-                # Extract and translate the TimeRepeat separately.
-                behavior.each_block_deep do |blk|
-                    code << blk.repeat_to_verilog!
-                end
-                # And generate an initial block.
-                code << "   initial begin\n"
-            else
-                # Generate a standard process.
-                code << "   always @( "
-                # If there is no "always" condition, it is always @("*").
-                if behavior.each_event.to_a.empty? then
-                    code << "*"
+            # Translation of behavior part (always).
+            self.each_behavior do |behavior|
+                if behavior.block.is_a?(TimeBlock) then
+                    # Extract and translate the TimeRepeat separately.
+                    behavior.each_block_deep do |blk|
+                        code << blk.repeat_to_verilog!
+                    end
+                    # And generate an initial block.
+                    code << "   initial "
                 else
-                    event = behavior.each_event.to_a
-                    event[0..-2].each do |event|
-                        # If "posedge" or "negedge" does not exist, the variable is set to condition.
-                        if (event.type.to_s != "posedge" && event.type.to_s != "negedge") then
-                            code << "#{event.ref.to_verilog}, "
+                    # Generate a standard process.
+                    code << "   always @( "
+                    # If there is no "always" condition, it is always @("*").
+                    if behavior.each_event.to_a.empty? then
+                        code << "*"
+                    else
+                        event = behavior.each_event.to_a
+                        event[0..-2].each do |event|
+                            # If "posedge" or "negedge" does not exist, the variable is set to condition.
+                            if (event.type.to_s != "posedge" && event.type.to_s != "negedge") then
+                                code << "#{event.ref.to_verilog}, "
+                            else
+                                # Otherwise, it outputs "psoedge" or "negedge" as a condition.
+                                code << "#{event.type.to_s} #{event.ref.to_verilog}, "
+                            end
+                        end
+                        # Since no comma is necessary at the end, we try not to separate commas separately at the end.
+                        if (event.last.type.to_s != "posedge" && event.last.type.to_s != "negedge") then
+                            code << "#{event.last.ref.to_verilog}"
                         else
-                            # Otherwise, it outputs "psoedge" or "negedge" as a condition.
-                            code << "#{event.type.to_s} #{event.ref.to_verilog}, "
+                            code << "#{event.last.type.to_s} #{event.last.ref.to_verilog}"
                         end
                     end
-                    # Since no comma is necessary at the end, we try not to separate commas separately at the end.
-                    if (event.last.type.to_s != "posedge" && event.last.type.to_s != "negedge") then
-                        code << "#{event.last.ref.to_verilog}"
-                    else
-                        code << "#{event.last.type.to_s} #{event.last.ref.to_verilog}"
-                    end
+                    code << " ) "
                 end
-                code << " ) begin\n"
-            end
 
-            # Perform "scheduling" using the method "flatten".
-            block = behavior.block.flatten(behavior.block.mode.to_s)
-
-            # Declaration of "inner" part within "always".
-            block.each_inner do |inner|
-                # if regs.include?(inner.name) then
-                if regs.include?(inner.to_verilog) then
-                    code << "      reg"
-                else
-                    code << "      wire"
-                end
+                code << behavior.block.to_verilog
 
-                # Variable has "base", but if there is width etc, it is not in "base".
-                # It is determined by an if.
-                if inner.type.base? 
-                    if inner.type.base.base? 
-                        # code << "#{inner.type.base.to_verilog} #{inner.to_verilog} #{inner.type.to_verilog};\n"
-                        code << "#{inner.type.base.to_verilog} #{inner.to_verilog} #{inner.type.to_verilog}"
-                    else
-                        # code << "#{inner.type.to_verilog} #{inner.to_verilog};\n"
-                        code << "#{inner.type.to_verilog} #{inner.to_verilog}"
-                    end
-                else
-                    # code << " #{inner.type.to_verilog}#{inner.to_verilog};\n"
-                    code << " #{inner.type.to_verilog}#{inner.to_verilog}"
-                end
-                if inner.value then
-                    # There is an initial value.
-                    code << " = #{inner.value.to_verilog}"
-                end
-                code << ";\n"
             end
 
-            # Translate the block that finished scheduling.
-            block.each_statement do |statement|
-                code  << "\n      #{statement.to_verilog(behavior.block.mode.to_s)}"
-            end
+            # Conclusion.
+            code << "\nendmodule"
+            return code
+        end
+    end
 
-            $fm.fm_par.clear()
 
-            code << "\n   end\n\n"
+    # Enhance StringE with generation of verilog code.
+    class StringE
+        # Converts the system to Verilog code.
+        def to_verilog(spc = 3)
+            code = "\"#{Low.v_string(self.content)}" +
+                "#{self.each_arg.map do |arg| 
+                to.to_verilog
+            end.join(",")}\""
+            return code
         end
-
-        # Conclusion.
-        code << "endmodule"
-        return code
     end
-end
 
 end