cvc
cvc copied to clipboard
d-m-bailey
CVC: Circuit Validity Checker. Check for errors in CDL netlist.
These warnings likely indicate real errors: ``` ./CCvcExceptions.hh:49:101: warning: address of stack memory associated with local variable 'myMessage' returned [-Wreturn-stack-address] const char* what() const noexcept { string myMessage = "Invalid...
Using a build script that works with Ubuntu 22.04 LTS on 24.04 LTS, the following build fail happens: ``` make all-recursive make[1]: Entering directory '/tmp/cvc' Making all in src make[2]:...
Valid settings for outputs are expectMin, expectMax and expectSim. For macros, expectedMin and expectedMax get converted to input min and max and sim.
The expected value check can be used to check pull down/pull up signals. The opposite logic value should still have a path, which can cause a possible leak (LEAK?) error....
Maybe allow a minimum resistance for power connections to gates. The setting would be added to the model file where 0 ohm would be no check. The check would only...
lower case SI suffices cause error on spice read. ``` Fatal error:unknown suffix on parameter: 1.00816k ``` Slot-009 of sky130 mpw-7.
Can cause false floating input errors. When checking connected device types, recalculate resistor source/drain connections with the connections of the opposite terminal. Possibly, short all resistor connections before calculating.
Addtiionally, drag select/unselect works when starting from a previous line, but not when starting from the last line.
``` obstack.c:32:10: fatal error: 'stdint-gcc.h' file not found #include ^~~~~~~~~~~~~~ ```
``` In file included from cdlParser.cc:41: In file included from cdlParser.yy:32: In file included from ./Cvc.hh:62: /usr/include/c++/v1/vector:428:64: error: implicit instantiation of undefined template 'std::array' __alloc_traits::destroy(__alloc(), _VSTD::__to_address(--__soon_to_be_end)); ^ ``` Did you...
Metadata
Owner
Metadata
CVC: Circuit Validity Checker. Check for errors in CDL netlist.