Boyd Technology Logo

Services and Products

Verification

Home
  About Us   Solutions   Customers   Publications   Contact
  

Verification

Verilog Expert Witness

ARTS Regression System

ASIC Design

Design Flow

Verilog Training

We have architected and aided in the implementation of entire verification environments. Because we are experienced with Hardware Verification Languages as well as Verilog, we can use the tools that best fit your need. Whether you are performing verification with simple Verilog, custom PLI, SUPERLOG®, VERA™, or Specman Elite™, we can help. Our founder's involvement with Verilog and Superlog standardization give us the edge on language enhancements that improve verification. Superlog enhancements to Verilog have been donated to Accellera's HDL+ Working Group in which we participate. We are also a Verisity Verification Alliance member.

Our verification environment specifications establish a methodology that ensures greater productivity and more effective testing of the design. Our founder, Mr. Boyd has written conference papers that illustrate the methodology we promote. These papers give examples of VERA™ and SUPERLOG® verification methodologies.

This methodology is critical to our ability to create tests under tight time constraints that achieve very thorough and automated testing.

Vera is a trademark of Synopsys
SUPERLOG is a trademark of Co-Design Automation
Specman Elite is a trademark of Verisity Design
Copyright ©2002 Boyd Technology, Inc.
Last revised: Fri Feb 14, 2003