df992995ca
ysyx_22040000 李心杨 Linux calcite 6.1.65 #1-NixOS SMP PREEMPT_DYNAMIC Sun Dec 3 06:32:13 UTC 2023 x86_64 GNU/Linux 18:31:48 up 21:29, 2 users, load average: 1.18, 0.83, 0.63
171 lines
6.4 KiB
C++
171 lines
6.4 KiB
C++
// Verilated -*- C++ -*-
|
|
// DESCRIPTION: Verilator output: Design implementation internals
|
|
// See Vexample.h for the primary calling header
|
|
|
|
#include "Vexample__pch.h"
|
|
#include "Vexample___024root.h"
|
|
|
|
VL_INLINE_OPT void Vexample___024root___ico_sequent__TOP__0(Vexample___024root* vlSelf) {
|
|
if (false && vlSelf) {} // Prevent unused
|
|
Vexample__Syms* const __restrict vlSymsp VL_ATTR_UNUSED = vlSelf->vlSymsp;
|
|
VL_DEBUG_IF(VL_DBG_MSGF("+ Vexample___024root___ico_sequent__TOP__0\n"); );
|
|
// Body
|
|
vlSelf->f = ((IData)(vlSelf->a) ^ (IData)(vlSelf->b));
|
|
}
|
|
|
|
void Vexample___024root___eval_ico(Vexample___024root* vlSelf) {
|
|
if (false && vlSelf) {} // Prevent unused
|
|
Vexample__Syms* const __restrict vlSymsp VL_ATTR_UNUSED = vlSelf->vlSymsp;
|
|
VL_DEBUG_IF(VL_DBG_MSGF("+ Vexample___024root___eval_ico\n"); );
|
|
// Body
|
|
if ((1ULL & vlSelf->__VicoTriggered.word(0U))) {
|
|
Vexample___024root___ico_sequent__TOP__0(vlSelf);
|
|
}
|
|
}
|
|
|
|
void Vexample___024root___eval_triggers__ico(Vexample___024root* vlSelf);
|
|
|
|
bool Vexample___024root___eval_phase__ico(Vexample___024root* vlSelf) {
|
|
if (false && vlSelf) {} // Prevent unused
|
|
Vexample__Syms* const __restrict vlSymsp VL_ATTR_UNUSED = vlSelf->vlSymsp;
|
|
VL_DEBUG_IF(VL_DBG_MSGF("+ Vexample___024root___eval_phase__ico\n"); );
|
|
// Init
|
|
CData/*0:0*/ __VicoExecute;
|
|
// Body
|
|
Vexample___024root___eval_triggers__ico(vlSelf);
|
|
__VicoExecute = vlSelf->__VicoTriggered.any();
|
|
if (__VicoExecute) {
|
|
Vexample___024root___eval_ico(vlSelf);
|
|
}
|
|
return (__VicoExecute);
|
|
}
|
|
|
|
void Vexample___024root___eval_act(Vexample___024root* vlSelf) {
|
|
if (false && vlSelf) {} // Prevent unused
|
|
Vexample__Syms* const __restrict vlSymsp VL_ATTR_UNUSED = vlSelf->vlSymsp;
|
|
VL_DEBUG_IF(VL_DBG_MSGF("+ Vexample___024root___eval_act\n"); );
|
|
}
|
|
|
|
void Vexample___024root___eval_nba(Vexample___024root* vlSelf) {
|
|
if (false && vlSelf) {} // Prevent unused
|
|
Vexample__Syms* const __restrict vlSymsp VL_ATTR_UNUSED = vlSelf->vlSymsp;
|
|
VL_DEBUG_IF(VL_DBG_MSGF("+ Vexample___024root___eval_nba\n"); );
|
|
}
|
|
|
|
void Vexample___024root___eval_triggers__act(Vexample___024root* vlSelf);
|
|
|
|
bool Vexample___024root___eval_phase__act(Vexample___024root* vlSelf) {
|
|
if (false && vlSelf) {} // Prevent unused
|
|
Vexample__Syms* const __restrict vlSymsp VL_ATTR_UNUSED = vlSelf->vlSymsp;
|
|
VL_DEBUG_IF(VL_DBG_MSGF("+ Vexample___024root___eval_phase__act\n"); );
|
|
// Init
|
|
VlTriggerVec<0> __VpreTriggered;
|
|
CData/*0:0*/ __VactExecute;
|
|
// Body
|
|
Vexample___024root___eval_triggers__act(vlSelf);
|
|
__VactExecute = vlSelf->__VactTriggered.any();
|
|
if (__VactExecute) {
|
|
__VpreTriggered.andNot(vlSelf->__VactTriggered, vlSelf->__VnbaTriggered);
|
|
vlSelf->__VnbaTriggered.thisOr(vlSelf->__VactTriggered);
|
|
Vexample___024root___eval_act(vlSelf);
|
|
}
|
|
return (__VactExecute);
|
|
}
|
|
|
|
bool Vexample___024root___eval_phase__nba(Vexample___024root* vlSelf) {
|
|
if (false && vlSelf) {} // Prevent unused
|
|
Vexample__Syms* const __restrict vlSymsp VL_ATTR_UNUSED = vlSelf->vlSymsp;
|
|
VL_DEBUG_IF(VL_DBG_MSGF("+ Vexample___024root___eval_phase__nba\n"); );
|
|
// Init
|
|
CData/*0:0*/ __VnbaExecute;
|
|
// Body
|
|
__VnbaExecute = vlSelf->__VnbaTriggered.any();
|
|
if (__VnbaExecute) {
|
|
Vexample___024root___eval_nba(vlSelf);
|
|
vlSelf->__VnbaTriggered.clear();
|
|
}
|
|
return (__VnbaExecute);
|
|
}
|
|
|
|
#ifdef VL_DEBUG
|
|
VL_ATTR_COLD void Vexample___024root___dump_triggers__ico(Vexample___024root* vlSelf);
|
|
#endif // VL_DEBUG
|
|
#ifdef VL_DEBUG
|
|
VL_ATTR_COLD void Vexample___024root___dump_triggers__nba(Vexample___024root* vlSelf);
|
|
#endif // VL_DEBUG
|
|
#ifdef VL_DEBUG
|
|
VL_ATTR_COLD void Vexample___024root___dump_triggers__act(Vexample___024root* vlSelf);
|
|
#endif // VL_DEBUG
|
|
|
|
void Vexample___024root___eval(Vexample___024root* vlSelf) {
|
|
if (false && vlSelf) {} // Prevent unused
|
|
Vexample__Syms* const __restrict vlSymsp VL_ATTR_UNUSED = vlSelf->vlSymsp;
|
|
VL_DEBUG_IF(VL_DBG_MSGF("+ Vexample___024root___eval\n"); );
|
|
// Init
|
|
IData/*31:0*/ __VicoIterCount;
|
|
CData/*0:0*/ __VicoContinue;
|
|
IData/*31:0*/ __VnbaIterCount;
|
|
CData/*0:0*/ __VnbaContinue;
|
|
// Body
|
|
__VicoIterCount = 0U;
|
|
vlSelf->__VicoFirstIteration = 1U;
|
|
__VicoContinue = 1U;
|
|
while (__VicoContinue) {
|
|
if (VL_UNLIKELY((0x64U < __VicoIterCount))) {
|
|
#ifdef VL_DEBUG
|
|
Vexample___024root___dump_triggers__ico(vlSelf);
|
|
#endif
|
|
VL_FATAL_MT("vsrc/example.v", 1, "", "Input combinational region did not converge.");
|
|
}
|
|
__VicoIterCount = ((IData)(1U) + __VicoIterCount);
|
|
__VicoContinue = 0U;
|
|
if (Vexample___024root___eval_phase__ico(vlSelf)) {
|
|
__VicoContinue = 1U;
|
|
}
|
|
vlSelf->__VicoFirstIteration = 0U;
|
|
}
|
|
__VnbaIterCount = 0U;
|
|
__VnbaContinue = 1U;
|
|
while (__VnbaContinue) {
|
|
if (VL_UNLIKELY((0x64U < __VnbaIterCount))) {
|
|
#ifdef VL_DEBUG
|
|
Vexample___024root___dump_triggers__nba(vlSelf);
|
|
#endif
|
|
VL_FATAL_MT("vsrc/example.v", 1, "", "NBA region did not converge.");
|
|
}
|
|
__VnbaIterCount = ((IData)(1U) + __VnbaIterCount);
|
|
__VnbaContinue = 0U;
|
|
vlSelf->__VactIterCount = 0U;
|
|
vlSelf->__VactContinue = 1U;
|
|
while (vlSelf->__VactContinue) {
|
|
if (VL_UNLIKELY((0x64U < vlSelf->__VactIterCount))) {
|
|
#ifdef VL_DEBUG
|
|
Vexample___024root___dump_triggers__act(vlSelf);
|
|
#endif
|
|
VL_FATAL_MT("vsrc/example.v", 1, "", "Active region did not converge.");
|
|
}
|
|
vlSelf->__VactIterCount = ((IData)(1U)
|
|
+ vlSelf->__VactIterCount);
|
|
vlSelf->__VactContinue = 0U;
|
|
if (Vexample___024root___eval_phase__act(vlSelf)) {
|
|
vlSelf->__VactContinue = 1U;
|
|
}
|
|
}
|
|
if (Vexample___024root___eval_phase__nba(vlSelf)) {
|
|
__VnbaContinue = 1U;
|
|
}
|
|
}
|
|
}
|
|
|
|
#ifdef VL_DEBUG
|
|
void Vexample___024root___eval_debug_assertions(Vexample___024root* vlSelf) {
|
|
if (false && vlSelf) {} // Prevent unused
|
|
Vexample__Syms* const __restrict vlSymsp VL_ATTR_UNUSED = vlSelf->vlSymsp;
|
|
VL_DEBUG_IF(VL_DBG_MSGF("+ Vexample___024root___eval_debug_assertions\n"); );
|
|
// Body
|
|
if (VL_UNLIKELY((vlSelf->a & 0xfeU))) {
|
|
Verilated::overWidthError("a");}
|
|
if (VL_UNLIKELY((vlSelf->b & 0xfeU))) {
|
|
Verilated::overWidthError("b");}
|
|
}
|
|
#endif // VL_DEBUG
|