NextOp Software Hires Craig Shirley as Vice President of Worldwide Sales

SANTA CLARA, Calif., Oct. 24, 2011 — (PRNewswire) — NextOp Software, Inc. today announced that Craig Shirley has joined the company as vice president of worldwide sales. Mr. Shirley will lead the company's sales organization to extend its leadership in assertion-based verification software.


With over 20 years of executive sales and technical management experience, Mr. Shirley most recently served as Apache Design Solutions' vice president of worldwide sales, achieving a compound annual revenue growth rate of over 25% during his tenure.  Prior to Apache, Mr. Shirley was vice president of worldwide sales and support at Jasper Design Automation.  Mr. Shirley also served as vice president of North American sales at Verisity Ltd., where he scaled the worldwide sales process to drive the startup to become a $70 million company and the best performing IPO of 2001.  Prior to Verisity, Mr. Shirley held various sales management positions within the EDA industry.  Mr. Shirley graduated with honors from Auburn University with a Bachelor of Science degree in computer engineering.

"Craig has an outstanding track record of maximizing customers' successful adoption of emerging technologies," said Yunshan Zhu, president and CEO of NextOp Software, Inc. "We are delighted to have Craig join our team in a leadership role as we continue to increase adoption and proliferation of our BugScope assertion synthesis product throughout the semiconductor industry."

"Functional verification continues to be a critical bottleneck in semiconductor design," said Craig Shirley. "NextOp Software has pioneered automatic assertion synthesis, which enables the broad proliferation of assertion-based verification methodologies.  I am excited to help leading companies benefit from this technology."

About NextOp Software

NextOp Software, Inc. is focused on delivering assertion-based verification solutions that allow design and verification teams to uncover bugs, expose functional coverage holes, and increase verification observability. NextOp's BugScope assertion synthesis is the first product to automatically generate whitebox assertions and functional coverage properties in SVA, PSL and Verilog formats. BugScope's properties are used to drive progressive, targeted verification via robust, executable design specifications for existing simulation, formal and emulation flows. The company is headquartered at 2900 Gordon Avenue, Suite 100, Santa Clara, CA 95051. For more information, visit or call +1 408-830-9885. BugScope and NextOp are trademarks of NextOp Software, Inc.

SOURCE NextOp Software, Inc.

NextOp Software, Inc.
Gloria Nichols of Launch Marketing
Phone: +1-650-851-7930
Email Contact


Review Article Be the first to review this article

Featured Video
Latest Blog Posts
Bob Smith, Executive DirectorBridging the Frontier
by Bob Smith, Executive Director
A First: The ESD Alliance Industry Meeting at SEMICON Taiwan
intelThe Dominion of Design
by intel
When Is AI the Answer to Business Challenges?
Mid to Senior Level Electrical Engineer for Gordon Prill, Inc at Santee, California
Sr. Electrical Hardware Project Engineer for Stellartech Research Corp at Milpitas, California
Principal Engineer, Firmware Engineering for Western Digital at Milpitas, California
Upcoming Events
SMTA Austin (CTEA) Expo and Tech Forum at Norris Conference Center 2525 W Anderson Ln Austin, TX - Oct 15, 2019
MIPI DevCon Taipei at Taipei Taiwan - Oct 18, 2019
VSDOpen 2019 Conference at India - Oct 19, 2019
TrueCircuits: UltraPLL

Internet Business Systems © 2019 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise