Please login to view the entire Verification Horizons article.
Please register or login to view.
by Jin Zhang, Senior Director of Marketing & GM Asia Pacific, and Vigyan Singhal, President & CEO, OSKI Technology
“By failing to prepare, you are preparing to fail”—Benjamin Franklin
“Productivity is never an accident. It is always the result of a commitment to excellence, intelligent planning, and focused effort”—Paul Meyer
Planning is key to success in any major endeavor, and the same is true for meaningful formal applications. End-to- End formal, with the goal of achieving formal sign-off, is a task that usually takes weeks if not months to complete, depending on the size and complexity of the design under test (DUT). Dedicating time and effort to planning is of utmost importance. While most formal engineers and their managers
...
