Well, have a question about formal verification? Drive current? UML? Architectural modeling? Library characterization? Weibull analysis? Electromigration?
This is the place for it.
