Fürtig, Andreas;Steinhorst, Sebastian;Hedrich, Lars
Feature-Based State Space Coverage Metric for Analog Circuit Verification
83-101
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016
Fummi, Franco;Wille, Robert
Springer International Publishing
2018