hacprsim coredump on using implicit sources
Opened this issue · 1 comments
nbingham1 commented
export defproc test(bool x) {
prs {
!Vdd -> x-
}
}
test dut;
hacprsim: ../../src/sim/prsim/State-prsim.cc:622: void HAC::SIM::PRSIM::State::__initialize(const bool): Assertion `time_traits::is_zero(current_time)' failed.
Aborted (core dumped)
fangism commented
The issue comes from seeding the event queue with events on !Vdd
and !GND
.
If they participate in any rules such as tie-up/dns, then the queue needs to be flushed or fast-forwarded with 0 delays, hence the assertion failure.