[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gnucap-devel] "crash" branch
From: |
Felix Salfelder |
Subject: |
Re: [Gnucap-devel] "crash" branch |
Date: |
Mon, 30 Jul 2018 13:04:56 +0200 |
User-agent: |
Mutt/1.5.23 (2014-03-12) |
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