Verific Design Automation's Parser Platform Integrated with Tortuga Logic's Hardware Security Design and Analysis Toolkit

Thoroughly Tested Parsers Let Tortuga Logic Focus on Software to Identify Security Vulnerabilities in Hardware Designs

ALAMEDA, CALIF. — October 20, 2015 —  Tortuga Logic, transforming the way hardware designers and system architects test the security of hardware design, has licensed the Parser Platform from Verific Design Automation, the recognized leader of SystemVerilog, VHDL and UPF parsers used throughout the semiconductor industry.

Verific's SystemVerilog and VHDL parsers have been implemented as the front end to Prospect, Tortuga Logic's Hardware Security Design and Analysis Toolkit that uncovers hidden bugs and proves the absence of vulnerabilities in hardware designs.

"Verific's Parser Platform is an important component of our hardware security software," confirms Dr. Jason Oberg, co-founder and chief executive officer (CEO) of Tortuga Logic. "We were able to save countless hours by partnering with Verific. We used its thoroughly tested parsers and were able to focus on developing software that identifies security vulnerabilities in hardware designs."

Leveraging Verific's Parser Platform, Prospect reads a register transfer level (RTL) description of the design and performs a thorough analysis to uncover a broad range of vulnerabilities. It does so by automatically generating SystemVerilog assertions and instrumentation from a high-level description of the security properties.

"Security is becoming an increasing concern and we applaud Tortuga Logic's security experts for tackling this problem," says Michiel Ligthart, Verific's president and chief operating officer. "The founders' decision to choose our parser platform enabled the early release of this significant new toolset and keep system designs secure."

Verific's Parser Platforms are in production and development use today at companies worldwide, from cybersecurity startups such as Tortuga Logic to established Fortune 500 semiconductor vendors. Applications vary from analysis, simulation, formal verification and synthesis to emulation and virtual prototyping, in-circuit debug and design-for-test. Parser Platforms are distributed as C++ source code and compile on all 32- and 64-bit Unix, Linux and Windows operating systems. Its Parser Platforms include support for SystemVerilog, Verilog, VHDL and UPF, and provide C++, Python and Perl APIs.

About Tortuga Logic

Tortuga Logic, Inc., part of the emerging Design-for-Security market, has the goal to solve security-specific problems, minimizing security breaches in hardware and systems by automating the process of verifying their security properties. It has developed a comprehensive Hardware Security Design and Analysis Toolkit, transforming the way hardware designers and system architects test the security of hardware designs. More information can be found at: Email: Email Contact

About Verific Design Automation

Verific Design Automation, with offices in Alameda, Calif., and Kolkata, India, provides parsers and elaborators for SystemVerilog, Verilog, VHDL and UPF. Verific's software is used worldwide by the EDA and semiconductor community in synthesis, simulation, formal verification, emulation, debugging, virtual prototyping, and design-for-test applications, which combined have shipped more than 60,000 copies. Corporate headquarters is located at: 1516 Oak Street, Suite 115, Alameda, Calif. 94501. Telephone: (510) 522-1555. Email:  Email Contact. Website:

Review Article Be the first to review this article

Featured Video
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
H-1B Visa: de Geus’ tragedy looms large
Peggy AycinenaIP Showcase
by Peggy Aycinena
IP for Cars: Lawsuits are like Sandstorms
More Editorial  
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, United Kingdom
Technical Support Engineer for EDA Careers at Freemont, CA
ASIC/FPGA Design Engineer for Palo Alto Networks at Santa Clara, CA
Mechanical Designer/Engineer for Palo Alto Networks at Santa Clara, CA
Lead Java Platform Engineer IOT-WEB for EDA Careers at San Francisco Area, CA
Staff Software Engineer - (170059) for brocade at San Jose, CA
Upcoming Events
Embedded Systems Conference ESC Boston 2017 at Boston Convention & Exhibition Center Boston MA - May 3 - 4, 2017
2017 GPU Tech Conference at San Jose McEnery Convention Center 150 West San Carlos Street San Jose CA - May 8 - 11, 2017
High Speed Digital Design and PCB Layout at 13727 460 Ct SE North Bend WA - May 9 - 11, 2017
Nanotech 2017 Conference & Expo at Gaylord National Hotel & Convention Center WA - May 14 - 17, 2017

Internet Business Systems © 2017 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — 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 Policy