Functional Coverage

Functional Coverage and Meteor

• Hezi Azatchi, Eitan Marcus, Laurent Fournier, Shmuel Ur, Avi Ziv, and Keren Zohar (2005), "Advanced Analysis Techniques for Cross-Product Coverage", Accepted for publication in IEEE Transactions on Computers, Special Issue on Simulation-Based Validation.
  
  
• Hezi Azatchi, Laurent Fournier, Avi Ziv, and Keren Zohar (2005), "Advanced Analysis Techniques for Cross-Product Coverage", Proc. High Level Design Validation and Test Workshop (HLDVT) 2005, pp. 229-236.
  
  
• Sigal Asaf, Eitan Marcus, and Avi Ziv (2004), "Defining coverage views to improve functional coverage analysis", Proceedings of the 41st Design Automation Conference, pp. 41-44.
  
  
• Avi Ziv (2003), "Cross-Product Functional Coverage Measurement with Temporal Properties-based Assertions", Proceedings of the 2003 Design, Automation and Test in Europe Conference, pp. 834-841.
  
  
• Eitan Marcus, Oded Lachish, Shmuel Ur, and Avi Ziv, "Hole Analysis for Functional Coverage Data", Proceedings of the 39th Design Automation Conference, pp. 807-812.
  
  
• Avi Ziv (2002), "Using Temporal Checkers for Functional Coverage", Microprocessor Test and Verification (MTV).
  
  
• Alan Hartman, Shmuel Ur, and Avi Ziv (1999), "Short Vs. Long, Size Does Make a Difference", Proc. High-level Design, Verification and Testing Workshop (HLDVT).
  
  
• Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, and Avi Ziv (1998), "User Defined Coverage -- A Tool Supported Methodology for Design Verification", Proceedings of the 35th Design Automation Conference, pp. 158-163.
  
  
• Shmuel Ur and Avi Ziv (1998), "Off-The-Shelf Vs. Custom-Made Coverage -- Which Is The One for You?", The International Conference on Software Testing Analysis and Review (STAR).
  
  

• Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, and Avi Ziv (2006), "Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation," IEEE Transactions on Computers, vol. 55, no. 11, pp. 1344-1355.
  
  
• Shai Fine and Yishay Mansour (2006), "Active Sampling for Multiple Output Identification", COLT 2006: 620-634.
  
  
• Tzur Savag, Shai Fine, and Yishay Mansour (2006), "Combining Multiple Heuristics", STACS 2006: 242-253.
  
  
• Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, and Avi Ziv (2006), "Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation". IEEE Trans. Computers 55(11): 1344-1355.
  
  
• Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, and Avi Ziv (2005), "Harnessing machine learning to improve the success rate of stimuli generation", Proc. High Level Design Validation and Test Workshop (HLDVT) 2005 pp. 112-118. Accepted for publication in IEEE Transactions on Computers, Special Issue on Simulation-Based Validation.
  
  
• Markus Braun, Shai Fine, and Avi Ziv (2004), "Enhancing Efficiency of Bayesian Network based Coverage Directed Test Generation", Proc. High Level Design Validation and Test Workshop (HLDVT) 2004, pp. 75-80.
  
  
• Shady Copty, Shai Fine, Shmuel Ur, and Avi Ziv (2004), "Probabilistic Alternative Regression Suites", 1st International Symposium on Leveraging Applications of Formal Methods, Cyprus.
  
  
• Shai Fine, Shmuel Ur, and Avi Ziv (2004), "Probabilistic Regression Suites for Functional Verification", Proceedings of the 41st Annual Conference on Design Automation, San Diego, CA, USA, pp. 49-54.
  
  
• Shai Fine and Avi Ziv (2004), "On The Application of Bayesian Networks for Simulation-based Verification", The second Bayesian modeling applications workshop of Uncertainty in Artificial Intelligence, Banff, Canada.
  
  
• Shai Fine and Avi Ziv (2003), "Enhancing the Control and Efficiency of the Covering Process", Proc. High-level Design, Verification and Testing Workshop (HLDVT), pp. 96-101.
  
  
• Shai Fine and Avi Ziv (2003), "Coverage Directed Test Generation for Functional Verification using Bayesian Networks" Proceedings of the 40th Design Automation Conference, pp. 286-291.
  
  
• Gilly Nativ, Steve Mittermaier, Shmuel Ur, and Avi Ziv (2001), "Cost Evaluation of Coverage Directed Test Generation for the IBM Mainframe", Proc. of the International Test Conference (ITC), pp. 793-802.