Automatically comparing analog behavior using Earth Mover's Distance

Evaluating the outcome of analog simulations is a common, mostly manually carried out task in the pre-silicon verification process of mixed-signal ICs. Its non-automated nature makes it an error-prone and time-consuming procedure. For this very reason, we introduce a novel approach for performing this evaluation automatically resulting in significantly reduced turnaround times as well as a considerably increased reliability of verification results. The presented concept is motivated by an algorithm that is used in optical pattern recognition and is called Earth Mover's Distance. Furthermore, we compare our approach with already existing algorithms, namely Fréchet Distance and Pearson Coefficient, in order to analyze its capability. Finally, we present a case study in which we prove the algorithm by applying it to the results of a mixed-signal simulation at chip-level demonstrating the efficiency of our approach.

[1]  F. Neumann,et al.  UVM-based verification of smart-sensor systems , 2012, 2012 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD).

[2]  L. Guibas,et al.  Finding color and shape patterns in images , 1999 .

[3]  Dong Sun Park,et al.  Computation of discrete Fréchet distance using CNN , 2010, 2010 12th International Workshop on Cellular Nanoscale Networks and their Applications (CNNA 2010).

[4]  V. Klee,et al.  HOW GOOD IS THE SIMPLEX ALGORITHM , 1970 .

[5]  Zhuo Yang Fast Template Matching Based on Normalized Cross Correlation with Centroid Bounding , 2010, 2010 International Conference on Measuring Technology and Mechatronics Automation.

[6]  Neyaz Khan From Spec to Verification Closure : a case study of applying UVM-MS for first pass success to a complex Mixed-Signal SoC design , 2012 .

[7]  H. Mannila,et al.  Computing Discrete Fréchet Distance ∗ , 1994 .

[8]  Neyaz Khan,et al.  Metric Driven Verification of Mixed-Signal Designs , 2011 .

[9]  Vipin Sharma,et al.  Predicting the Correlation between Analog Behavioral Models and SPICE Circuits for robust SoC Verification , 2008, 2008 IEEE International Behavioral Modeling and Simulation Workshop.

[10]  Wolfgang Ecker,et al.  A transaction-oriented UVM-based library for verification of analog behavior , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

[11]  Leonidas J. Guibas,et al.  The Earth Mover's Distance as a Metric for Image Retrieval , 2000, International Journal of Computer Vision.

[12]  Xiaokun Yang,et al.  Mixed-signal System-on-a-Chip (SoC) verification based on SystemVerilog model , 2013, 45th Southeastern Symposium on System Theory.

[13]  Lars Hedrich,et al.  Comparing Two Analog Waveforms - A Trivial Task? , 2008 .