Method and system for verification using combined verification data
作者： Kinderman Yael , Spatafore David , Yagudayev Yan , Segal Nili , Reynolds Vincent
DOI:
关键词:
摘要: A method for combining verification data may include using a processor, obtaining and model from each of plurality engines relating to different methods, the tests that were conducted on design under test (DUT) engines; merging models obtained into merged model; calculating combined metric grade entities in grades calculated applying rule; outputting via an output device.
lens.org 参考文章(9)
Dale E. Blue, Rachel Tzoref-Brill, Test selection based on an n-wise combinations coverage ,(2011)
Axel Scherer, Frank Armbruster, Yaron Peri-Glass, Sandeep Pagey, Dan Leibovich, Alok Jain, F. Erich Marschner, Verification plans to merging design verification metrics ,(2009)
Amos Noy, Uri Maoz, Method and apparatus for maximizing and managing test coverage ,(2004)
William Canfield, Khalil Shalish, System and method for verification of integrated circuit design ,(2008)
Walter Hartong, Paul Christopher Foster, Jinduo Sun, Model based analog block coverage system ,(2013)
Huy Nguyen, Alan J. Carlin, Hugo M. Cavalcanti, Jonathan W. McCallum, Correlation of test results and test coverage for an electronic device design ,(2014)
Dan Leibovich, Paul Carzola, Jigar Patel, Tal Yanai, Method and system for coverage determination ,(2014)
Darron May, Samiran Laha, Coverage data interchange ,(2016)
Yael Kinderman, Hemant Gupta, Nili Segal, Oded Oren, Method and system for automated refined exclusion of entities from a metric driven verification analysis score ,(2015)