100 lines
3.1 KiB
C
100 lines
3.1 KiB
C
/*
|
|
* Copyright (C) 2011-2019 Cary R. (cygcary@yahoo.com)
|
|
*
|
|
* 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 <stdlib.h>
|
|
# include <string.h>
|
|
# include "config.h"
|
|
# include "vlog95_priv.h"
|
|
|
|
static unsigned need_ivl_top_module = 0;
|
|
|
|
void emit_icarus_generated_top_module()
|
|
{
|
|
if (need_ivl_top_module) {
|
|
fprintf(vlog_out,
|
|
"\n"
|
|
"/*\n"
|
|
" * This module is used to trigger any always_comb or always_latch processes\n"
|
|
" * at time zero to make sure all the outputs have the correct values.\n"
|
|
"*/\n"
|
|
"module IVL_top_priv_module;\n"
|
|
" event IVL_T0_trigger_event;\n"
|
|
" initial #0 -> IVL_T0_trigger_event;\n"
|
|
"endmodule /* IVL_top_priv_module */\n");
|
|
}
|
|
}
|
|
|
|
void emit_event(ivl_scope_t scope, ivl_statement_t stmt)
|
|
{
|
|
unsigned eidx, nevents, first = 1;
|
|
|
|
nevents = ivl_stmt_nevent(stmt);
|
|
for (eidx = 0; eidx < nevents; eidx += 1) {
|
|
unsigned idx, count, had_edge = 0;
|
|
ivl_event_t event = ivl_stmt_events(stmt, eidx);
|
|
|
|
/* Check for any edge events. */
|
|
count = ivl_event_nany(event);
|
|
if (count) had_edge = 1;
|
|
for (idx = 0; idx < count; idx += 1) {
|
|
if (first) first = 0;
|
|
else fprintf(vlog_out, " or ");
|
|
emit_nexus_as_ca(scope, ivl_event_any(event, idx), 0, 0);
|
|
}
|
|
|
|
/* Check for positive edge events. */
|
|
count = ivl_event_npos(event);
|
|
if (count) had_edge = 1;
|
|
for (idx = 0; idx < count; idx += 1) {
|
|
if (first) first = 0;
|
|
else fprintf(vlog_out, " or ");
|
|
fprintf(vlog_out, "posedge ");
|
|
emit_nexus_as_ca(scope, ivl_event_pos(event, idx), 0, 0);
|
|
}
|
|
|
|
/* Check for negative edge events. */
|
|
count = ivl_event_nneg(event);
|
|
if (count) had_edge = 1;
|
|
for (idx = 0; idx < count; idx += 1) {
|
|
if (first) first = 0;
|
|
else fprintf(vlog_out, " or ");
|
|
fprintf(vlog_out, "negedge ");
|
|
emit_nexus_as_ca(scope, ivl_event_neg(event, idx), 0, 0);
|
|
}
|
|
|
|
/* We have a named event if there were no edge events. */
|
|
if (!had_edge) {
|
|
ivl_scope_t ev_scope = ivl_event_scope(event);
|
|
if (first) first = 0;
|
|
else fprintf(vlog_out, " or ");
|
|
emit_scope_module_path(scope, ev_scope);
|
|
emit_id(ivl_event_basename(event));
|
|
}
|
|
}
|
|
|
|
/* If this is an always_comb/latch then we need to add a trigger to
|
|
* get the correct functionality. */
|
|
if (ivl_stmt_needs_t0_trigger(stmt)) {
|
|
if (! first) {
|
|
fprintf(vlog_out, " or ");
|
|
}
|
|
fprintf(vlog_out, "IVL_top_priv_module.IVL_T0_trigger_event");
|
|
need_ivl_top_module = 1;
|
|
};
|
|
}
|