<@U017X0NM2E7> Finally getting caught up on some v...
# verification-bem
Matthew Guthaus
02/25/2021, 4:58 PM@User Finally getting caught up on some videos. CVC looks interesting. Is it a static analysis in terms of inputs and state? Does it do anything special for reset analysis?
Also, 日本語を知っていますか？
m
Mitch Bailey
02/25/2021, 5:09 PM日本語は大丈夫よ。
Currently static analysis, but you can set internal nodes to mimic reset. Thinking about adding input vectors which could be used to check reset states by using expected level checks which are already implemented.
m
Matthew Guthaus
02/25/2021, 5:10 PMI took a couple years of japanese in college and started up again with Duolingo after a few decades. Very rusty but I still know a few hundred kanji and basic basic grammar
Matthew Guthaus
02/25/2021, 5:11 PMThe tools to learn have dramatically changed since then. I used to use tapes in the media center!
m
Mitch Bailey
02/25/2021, 5:43 PMすごい! Do you get the chance to speak much?
m
Matthew Guthaus
02/25/2021, 5:44 PMNo, that is probably the biggest weakness. I mostly repeat/mimic the stuff I'm studying but that doesn't really help with feedback on pronunciation
Matthew Guthaus
02/25/2021, 5:45 PMHow does your tool do the static analysis? I mean, what if some of the issues are dependent on an input pattern or state? Like floating node only in some states...
Matthew Guthaus
02/25/2021, 5:46 PMI've been loosely thinking about ideas related to formal property analysis for analog circuits and this seems like the closest thing I've seen
m
Mitch Bailey
02/25/2021, 5:52 PMSome errors are based on min/max voltages, others require logic levels and thus will not detect all errors. Logically floating inputs are some errors that can be missed. It does does catch single tri-state buffer output to inverters though.
Similar proprietary tools are Calibre PERC or InsightEDA's Analyzer (this may be the best tool tuned for analog circuits).
t
Tim Edwards
02/26/2021, 9:27 PM@Mitch Bailey: I need to incorporate your CVC tools into open_pdks. . .
m
Mitch Bailey
02/26/2021, 11:16 PM@Tim Edwards The setup files are currently under openlane, but it might be more appropriate to move those to sky130 under open_pdks. I don't think it's urgent though.
2 Views