On Fri, Jul 27, 2018 at 09:09:07PM -0400, al davis wrote:
> The failed assert probably could be commented out. Not removed, but
> commented out. A commented out assert means "this really should be
> true, but sometimes it isn't".
Thanks for giving the background. Yes, it's not a real problem.
I was thinking about adding an error(..., "logic race in %s", label);,
so one can actually see the commented out assertion..
i am trying to make the logic more verilog friendly (accessible, to
begin with). This is required for gnucsator, because a global logic
modelcard does not play with gate parameters, and local modelcards do
not connect properly ("different logic models used..."). the "logic"
branch fixes this.
somewhat lower priority: i'd be happy to implement the logic+subckt
models without the lang_spice hacks. do you have any particular
(non-spice) representation in mind? does it exist?
cheers
felix
_______________________________________________
Gnucap-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/gnucap-devel