Company Filing History:
1 out of 28 
1 out of 22 
1 out of 2,490 
Years Active: 2013-2017
Title: Michael Lyons: Innovator in Verification Systems
Introduction
Michael Lyons is a notable inventor based in Voreppe, France. He has made significant contributions to the field of verification systems, holding 2 patents that showcase his innovative approach to evaluating design behaviors in complex systems.
Latest Patents
One of his latest patents is titled "Method for ranking fault-test pairs based on waveform statistics in a mutation-based test program evaluation system." This invention involves ranking fault-test pairs by utilizing first and second multitudes of waveform statistics. The first multitude includes value-change information regarding variations in logic HIGH and LOW for each bit of reference output from a test run. The second multitude pertains to faulty outputs resulting from a test run with injected faults. By determining relative differences between these multitudes, a ranking result of fault-test pairs is established based on waveform differences.
Another significant patent is "Methods and systems for evaluating checker quality of a verification environment." This invention provides methods for calculating overall and individual sensitivity for a verification environment. The overall sensitivity indicates the probability of detecting problematic design behaviors, while individual sensitivity focuses on specific probes within the design. These metrics help in assessing the robustness of the checker system and guide improvements for individual checkers.
Career Highlights
Michael has worked with reputable companies such as SpringSoft, Inc. and SpringSoft USA, Inc. His experience in these organizations has allowed him to refine his skills and contribute to advancements in verification technologies.
Collaborations
Throughout his career, Michael has collaborated with talented individuals, including Kai Yang and Kuo-Ching Lin. These partnerships have fostered innovation and enhanced the development of verification systems.
Conclusion
Michael Lyons is a distinguished inventor whose work in verification systems has led to valuable patents that improve the evaluation of design behaviors. His contributions continue to influence the field and inspire future innovations.