luke
/
iverilog
mirror of https://github.com/steveicarus/iverilog.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
iverilog/tgt-vlog95/vlog95_priv.h

114 lines
3.9 KiB
C
Raw Normal View History

vlog95 - Add output file code and basic header.
2010-03-25 19:09:50 +01:00
#ifndef __vlog95_priv_H
#define __vlog95_priv_H
/*
Extend the vlog95 converter This patch adds more support to the Verilog 1995 converter. There is still a lot that is missing and there is still some implemented functionality that is not 100%.
2011-01-10 18:30:27 +01:00
* Copyright (C) 2010-2011 Cary R. (cygcary@yahoo.com)
vlog95 - Add output file code and basic header.
2010-03-25 19:09:50 +01:00
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License along
* with this program; if not, write to the Free Software Foundation, Inc.,
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*/
# include "config.h"
# include "ivl_target.h"
vlog95: Add support for more statements and a delay expression This patch adds the ability to print a delay expression (it is rescaled to the module timescale) and adds support the following statement types: nonblocking assignment with a delay (event control is still missing) condition (if/else) forever repeat while (Icarus translated for loops to while loops) fork procedural continuous assign deassign force release
2011-01-13 23:11:41 +01:00
# include <inttypes.h>
vlog95 - Add output file code and basic header.
2010-03-25 19:09:50 +01:00
# include <stdio.h>
# include <assert.h>
Add more functionality to the vlog95 back end. This patch adds significantly more functionality to the vlog95 back end. The following are the major additions: Display unsigned numbers without undefined bits in hex. Add support for both L-Value and R-value bit and part selects. Added support for out of scope references. Added support for emitting logic gates (range not finished, name is invalid). Added support for emitting initial/always blocks. Add support for event inter statement delays. Convert a blocking inter statement delay assign back to the original form. Added support for rescaling variable delays. Added support for the disable statement. Added support for an event trigger statement (event name is missing). Added support for calling a user task (calling arguments are missing). Added support for an event based delay statement (@) (event name is missing) Not all of these are working as expected since there is not currently a routine to find a nexus name as a function of scope (needed for event names, logic gate ports, etc.). Since the Icarus compiler generates structural code the arguments to modules, module instantiations and calling user tasks are also still missing.
2011-01-17 19:51:05 +01:00
/*
* The design we are emitting.
*/
extern ivl_design_t design;
vlog95 - Add output file code and basic header.
2010-03-25 19:09:50 +01:00
/*
* This is the file that the converted design is written to.
*/
extern FILE*vlog_out;
/*
* Keep a count of the fatal errors that happen during code generation.
*/
extern int vlog_errors;
Extend the vlog95 converter This patch adds more support to the Verilog 1995 converter. There is still a lot that is missing and there is still some implemented functionality that is not 100%.
2011-01-10 18:30:27 +01:00
/*
* Keep the simulation time precision so that we can scale delays.
*/
extern int sim_precision;
/*
* Keep the current indent level.
*/
extern unsigned indent;
extern unsigned indent_incr;
vlog95: Add support for printing file/line information for most line. This patch adds a flag that emits file and line information for most lines. This can help the user understand where the various lines came from in the original code. They are printed as comments so the generated code still runs correctly.
2011-02-10 06:08:29 +01:00
/*
* Set to non-zero when the user wants to emit all the file and line
* number information.
*/
extern unsigned emit_file_line;
Extend the vlog95 converter This patch adds more support to the Verilog 1995 converter. There is still a lot that is missing and there is still some implemented functionality that is not 100%.
2011-01-10 18:30:27 +01:00
/*
Add more functionality to the vlog95 back end. This patch adds significantly more functionality to the vlog95 back end. The following are the major additions: Display unsigned numbers without undefined bits in hex. Add support for both L-Value and R-value bit and part selects. Added support for out of scope references. Added support for emitting logic gates (range not finished, name is invalid). Added support for emitting initial/always blocks. Add support for event inter statement delays. Convert a blocking inter statement delay assign back to the original form. Added support for rescaling variable delays. Added support for the disable statement. Added support for an event trigger statement (event name is missing). Added support for calling a user task (calling arguments are missing). Added support for an event based delay statement (@) (event name is missing) Not all of these are working as expected since there is not currently a routine to find a nexus name as a function of scope (needed for event names, logic gate ports, etc.). Since the Icarus compiler generates structural code the arguments to modules, module instantiations and calling user tasks are also still missing.
2011-01-17 19:51:05 +01:00
* Emit various Verilog types.
Extend the vlog95 converter This patch adds more support to the Verilog 1995 converter. There is still a lot that is missing and there is still some implemented functionality that is not 100%.
2011-01-10 18:30:27 +01:00
*/
Add more functionality to the vlog95 back end. This patch adds significantly more functionality to the vlog95 back end. The following are the major additions: Display unsigned numbers without undefined bits in hex. Add support for both L-Value and R-value bit and part selects. Added support for out of scope references. Added support for emitting logic gates (range not finished, name is invalid). Added support for emitting initial/always blocks. Add support for event inter statement delays. Convert a blocking inter statement delay assign back to the original form. Added support for rescaling variable delays. Added support for the disable statement. Added support for an event trigger statement (event name is missing). Added support for calling a user task (calling arguments are missing). Added support for an event based delay statement (@) (event name is missing) Not all of these are working as expected since there is not currently a routine to find a nexus name as a function of scope (needed for event names, logic gate ports, etc.). Since the Icarus compiler generates structural code the arguments to modules, module instantiations and calling user tasks are also still missing.
2011-01-17 19:51:05 +01:00
extern void emit_event(ivl_scope_t scope, ivl_statement_t stmt);
extern void emit_expr(ivl_scope_t scope, ivl_expr_t expr, unsigned width);
Add support for most tran gates and rework/split out logic/lpm code. This patch moves the logic and lpm code to a new file. It refactors the strength emitting routine and adds support for emitting the standard tran style of gates.
2011-02-03 18:01:59 +01:00
extern void emit_logic(ivl_scope_t scope, ivl_net_logic_t nlogic);
extern void emit_lpm(ivl_scope_t scope, ivl_lpm_t lpm);
Add more functionality to the vlog95 back end. This patch adds significantly more functionality to the vlog95 back end. The following are the major additions: Display unsigned numbers without undefined bits in hex. Add support for both L-Value and R-value bit and part selects. Added support for out of scope references. Added support for emitting logic gates (range not finished, name is invalid). Added support for emitting initial/always blocks. Add support for event inter statement delays. Convert a blocking inter statement delay assign back to the original form. Added support for rescaling variable delays. Added support for the disable statement. Added support for an event trigger statement (event name is missing). Added support for calling a user task (calling arguments are missing). Added support for an event based delay statement (@) (event name is missing) Not all of these are working as expected since there is not currently a routine to find a nexus name as a function of scope (needed for event names, logic gate ports, etc.). Since the Icarus compiler generates structural code the arguments to modules, module instantiations and calling user tasks are also still missing.
2011-01-17 19:51:05 +01:00
extern void emit_process(ivl_scope_t scope, ivl_process_t proc);
Extend the vlog95 converter This patch adds more support to the Verilog 1995 converter. There is still a lot that is missing and there is still some implemented functionality that is not 100%.
2011-01-10 18:30:27 +01:00
extern int emit_scope(ivl_scope_t scope, ivl_scope_t parent);
extern void emit_stmt(ivl_scope_t scope, ivl_statement_t stmt);
Add support for most tran gates and rework/split out logic/lpm code. This patch moves the logic and lpm code to a new file. It refactors the strength emitting routine and adds support for emitting the standard tran style of gates.
2011-02-03 18:01:59 +01:00
extern void emit_tran(ivl_scope_t scope, ivl_switch_t tran);
Extend the vlog95 converter This patch adds more support to the Verilog 1995 converter. There is still a lot that is missing and there is still some implemented functionality that is not 100%.
2011-01-10 18:30:27 +01:00
Add more functionality to the vlog95 back end. This patch adds significantly more functionality to the vlog95 back end. The following are the major additions: Display unsigned numbers without undefined bits in hex. Add support for both L-Value and R-value bit and part selects. Added support for out of scope references. Added support for emitting logic gates (range not finished, name is invalid). Added support for emitting initial/always blocks. Add support for event inter statement delays. Convert a blocking inter statement delay assign back to the original form. Added support for rescaling variable delays. Added support for the disable statement. Added support for an event trigger statement (event name is missing). Added support for calling a user task (calling arguments are missing). Added support for an event based delay statement (@) (event name is missing) Not all of these are working as expected since there is not currently a routine to find a nexus name as a function of scope (needed for event names, logic gate ports, etc.). Since the Icarus compiler generates structural code the arguments to modules, module instantiations and calling user tasks are also still missing.
2011-01-17 19:51:05 +01:00
extern void emit_scaled_delay(ivl_scope_t scope, uint64_t delay);
extern void emit_scaled_delayx(ivl_scope_t scope, ivl_expr_t expr);
extern void emit_scaled_expr(ivl_scope_t scope, ivl_expr_t expr,
int msb, int lsb);
extern void emit_scaled_range(ivl_scope_t scope, ivl_expr_t expr,
unsigned width, int msb, int lsb);
extern void emit_scope_path(ivl_scope_t scope, ivl_scope_t call_scope);
vlog95: Add CA support, other enhancements, refactoring and bug fixes. This patch add the following functionality to the vlog95 generator. Add support for most CAs. Selects still don't work correctly. Emitting a named event as an expression. Enhance the ability to find a signal in a nexus. Add code to emit a nexus driven by a constant. Rework the delay/strength code for logic gates/CAs Refactor some of the number code. Refactor the variable emitting code to support named blocks. Translate the compiler code back to <var> = <event> <value>
2011-01-31 08:53:53 +01:00
extern void emit_scope_variables(ivl_scope_t scope);
Add more functionality to the vlog95 back end. This patch adds significantly more functionality to the vlog95 back end. The following are the major additions: Display unsigned numbers without undefined bits in hex. Add support for both L-Value and R-value bit and part selects. Added support for out of scope references. Added support for emitting logic gates (range not finished, name is invalid). Added support for emitting initial/always blocks. Add support for event inter statement delays. Convert a blocking inter statement delay assign back to the original form. Added support for rescaling variable delays. Added support for the disable statement. Added support for an event trigger statement (event name is missing). Added support for calling a user task (calling arguments are missing). Added support for an event based delay statement (@) (event name is missing) Not all of these are working as expected since there is not currently a routine to find a nexus name as a function of scope (needed for event names, logic gate ports, etc.). Since the Icarus compiler generates structural code the arguments to modules, module instantiations and calling user tasks are also still missing.
2011-01-17 19:51:05 +01:00
extern void emit_scope_module_path(ivl_scope_t scope, ivl_scope_t call_scope);
vlog95: Add partial support for getting a nexus name, etc. This patch adds preliminary support for finding the correct name for a nexus at a given scope level. It also does the following. Report that real modulus is not supported. Fix a bug in the generation of concat expressions. Add missing generation of unary ! operator. Add ability to generate > integer delays. Refactor some of the support code. Make some of the error messages more descriptive. Ignore the ALLOC and FREE statements (only used with automatic tasks).
2011-01-22 00:33:25 +01:00
extern void emit_name_of_nexus(ivl_scope_t scope, ivl_nexus_t nex);
vlog95: Add CA support, other enhancements, refactoring and bug fixes. This patch add the following functionality to the vlog95 generator. Add support for most CAs. Selects still don't work correctly. Emitting a named event as an expression. Enhance the ability to find a signal in a nexus. Add code to emit a nexus driven by a constant. Rework the delay/strength code for logic gates/CAs Refactor some of the number code. Refactor the variable emitting code to support named blocks. Translate the compiler code back to <var> = <event> <value>
2011-01-31 08:53:53 +01:00
extern void emit_const_nexus(ivl_scope_t scope, ivl_net_const_t const_net);
vlog95: Add support for UDPs, DFFs, constant nets and bug fixes. This patch adds the following to the vlog95 converter. Add support for emitting and calling UDPs. Generate a UDP for a synthesized DFF. Add the ability do emit a constant assigned to a net.
2011-02-07 05:08:23 +01:00
extern void emit_signal_net_const_as_ca(ivl_scope_t scope, ivl_signal_t sig);
extern void emit_icarus_generated_udps();
extern void add_udp_to_list(ivl_udp_t udp);
extern void emit_udp_list();
vlog95: Add support for printing file/line information for most line. This patch adds a flag that emits file and line information for most lines. This can help the user understand where the various lines came from in the original code. They are printed as comments so the generated code still runs correctly.
2011-02-10 06:08:29 +01:00
extern void emit_sig_file_line(ivl_signal_t sig);
vlog95: Add CA support, other enhancements, refactoring and bug fixes. This patch add the following functionality to the vlog95 generator. Add support for most CAs. Selects still don't work correctly. Emitting a named event as an expression. Enhance the ability to find a signal in a nexus. Add code to emit a nexus driven by a constant. Rework the delay/strength code for logic gates/CAs Refactor some of the number code. Refactor the variable emitting code to support named blocks. Translate the compiler code back to <var> = <event> <value>
2011-01-31 08:53:53 +01:00
extern void emit_real_number(double value);
extern void emit_number(const char *bits, unsigned nbits, unsigned is_signed,
const char *file, unsigned lineno);
Add more functionality to the vlog95 back end. This patch adds significantly more functionality to the vlog95 back end. The following are the major additions: Display unsigned numbers without undefined bits in hex. Add support for both L-Value and R-value bit and part selects. Added support for out of scope references. Added support for emitting logic gates (range not finished, name is invalid). Added support for emitting initial/always blocks. Add support for event inter statement delays. Convert a blocking inter statement delay assign back to the original form. Added support for rescaling variable delays. Added support for the disable statement. Added support for an event trigger statement (event name is missing). Added support for calling a user task (calling arguments are missing). Added support for an event based delay statement (@) (event name is missing) Not all of these are working as expected since there is not currently a routine to find a nexus name as a function of scope (needed for event names, logic gate ports, etc.). Since the Icarus compiler generates structural code the arguments to modules, module instantiations and calling user tasks are also still missing.
2011-01-17 19:51:05 +01:00
Extend the vlog95 converter This patch adds more support to the Verilog 1995 converter. There is still a lot that is missing and there is still some implemented functionality that is not 100%.
2011-01-10 18:30:27 +01:00
/*
Add more functionality to the vlog95 back end. This patch adds significantly more functionality to the vlog95 back end. The following are the major additions: Display unsigned numbers without undefined bits in hex. Add support for both L-Value and R-value bit and part selects. Added support for out of scope references. Added support for emitting logic gates (range not finished, name is invalid). Added support for emitting initial/always blocks. Add support for event inter statement delays. Convert a blocking inter statement delay assign back to the original form. Added support for rescaling variable delays. Added support for the disable statement. Added support for an event trigger statement (event name is missing). Added support for calling a user task (calling arguments are missing). Added support for an event based delay statement (@) (event name is missing) Not all of these are working as expected since there is not currently a routine to find a nexus name as a function of scope (needed for event names, logic gate ports, etc.). Since the Icarus compiler generates structural code the arguments to modules, module instantiations and calling user tasks are also still missing.
2011-01-17 19:51:05 +01:00
* Find the enclosing module scope.
Extend the vlog95 converter This patch adds more support to the Verilog 1995 converter. There is still a lot that is missing and there is still some implemented functionality that is not 100%.
2011-01-10 18:30:27 +01:00
*/
Add more functionality to the vlog95 back end. This patch adds significantly more functionality to the vlog95 back end. The following are the major additions: Display unsigned numbers without undefined bits in hex. Add support for both L-Value and R-value bit and part selects. Added support for out of scope references. Added support for emitting logic gates (range not finished, name is invalid). Added support for emitting initial/always blocks. Add support for event inter statement delays. Convert a blocking inter statement delay assign back to the original form. Added support for rescaling variable delays. Added support for the disable statement. Added support for an event trigger statement (event name is missing). Added support for calling a user task (calling arguments are missing). Added support for an event based delay statement (@) (event name is missing) Not all of these are working as expected since there is not currently a routine to find a nexus name as a function of scope (needed for event names, logic gate ports, etc.). Since the Icarus compiler generates structural code the arguments to modules, module instantiations and calling user tasks are also still missing.
2011-01-17 19:51:05 +01:00
extern ivl_scope_t get_module_scope(ivl_scope_t scope);
Extend the vlog95 converter This patch adds more support to the Verilog 1995 converter. There is still a lot that is missing and there is still some implemented functionality that is not 100%.
2011-01-10 18:30:27 +01:00
vlog95: Add support for more statements and a delay expression This patch adds the ability to print a delay expression (it is rescaled to the module timescale) and adds support the following statement types: nonblocking assignment with a delay (event control is still missing) condition (if/else) forever repeat while (Icarus translated for loops to while loops) fork procedural continuous assign deassign force release
2011-01-13 23:11:41 +01:00
/*
Add more functionality to the vlog95 back end. This patch adds significantly more functionality to the vlog95 back end. The following are the major additions: Display unsigned numbers without undefined bits in hex. Add support for both L-Value and R-value bit and part selects. Added support for out of scope references. Added support for emitting logic gates (range not finished, name is invalid). Added support for emitting initial/always blocks. Add support for event inter statement delays. Convert a blocking inter statement delay assign back to the original form. Added support for rescaling variable delays. Added support for the disable statement. Added support for an event trigger statement (event name is missing). Added support for calling a user task (calling arguments are missing). Added support for an event based delay statement (@) (event name is missing) Not all of these are working as expected since there is not currently a routine to find a nexus name as a function of scope (needed for event names, logic gate ports, etc.). Since the Icarus compiler generates structural code the arguments to modules, module instantiations and calling user tasks are also still missing.
2011-01-17 19:51:05 +01:00
* Get an int32_t/uint64_t from a number is possible. The return type is
* 0 for a valid value, negative for a number with undefined bits and
* positive it the value is too large. The positive value is the minimum
* number of bits required to represent the value.
vlog95: Add support for more statements and a delay expression This patch adds the ability to print a delay expression (it is rescaled to the module timescale) and adds support the following statement types: nonblocking assignment with a delay (event control is still missing) condition (if/else) forever repeat while (Icarus translated for loops to while loops) fork procedural continuous assign deassign force release
2011-01-13 23:11:41 +01:00
*/
Add more functionality to the vlog95 back end. This patch adds significantly more functionality to the vlog95 back end. The following are the major additions: Display unsigned numbers without undefined bits in hex. Add support for both L-Value and R-value bit and part selects. Added support for out of scope references. Added support for emitting logic gates (range not finished, name is invalid). Added support for emitting initial/always blocks. Add support for event inter statement delays. Convert a blocking inter statement delay assign back to the original form. Added support for rescaling variable delays. Added support for the disable statement. Added support for an event trigger statement (event name is missing). Added support for calling a user task (calling arguments are missing). Added support for an event based delay statement (@) (event name is missing) Not all of these are working as expected since there is not currently a routine to find a nexus name as a function of scope (needed for event names, logic gate ports, etc.). Since the Icarus compiler generates structural code the arguments to modules, module instantiations and calling user tasks are also still missing.
2011-01-17 19:51:05 +01:00
extern int32_t get_int32_from_number(ivl_expr_t expr, int *return_type);
extern int64_t get_int64_from_number(ivl_expr_t expr, int *return_type);
extern uint64_t get_uint64_from_number(ivl_expr_t expr, int *return_type);
vlog95: Add support for more statements and a delay expression This patch adds the ability to print a delay expression (it is rescaled to the module timescale) and adds support the following statement types: nonblocking assignment with a delay (event control is still missing) condition (if/else) forever repeat while (Icarus translated for loops to while loops) fork procedural continuous assign deassign force release
2011-01-13 23:11:41 +01:00
vlog95: add support for case statements and initial module instantiation. This patch adds support for the various case statements and adds preliminary support for instantiating modules. The module instantiation, just like the module definition, is still missing ports. Adding this will require modification to the compiler to get the port order correct. Because of defparams and passed parameters any module that has a parameter must be generated uniquely for each instance since they may not all be the same. Modules without parameters are only generated once.
2011-01-14 04:57:53 +01:00
/*
* Cleanup functions.
*/
extern void free_emitted_scope_list();
vlog95 - Add output file code and basic header.
2010-03-25 19:09:50 +01:00
#endif /* __vlog95_priv_H */