Breker Verification to Develop Graph Based Functional Test Synthesis

Breker Verification System, Inc. has been founded to develop technology that will comprehensively plan for functional verification coverage and automatically generate test vectors. The company will base its products on its patented and patent-pending Graph Based Functional Test Synthesis technology, which will bridge the functional verification gap that exists between verification planning and the testbench.

Founded in 2003, the company has attracted $3M in private and venture capital funding. Adnan Hamid is founder and CEO.

Breker has created a functional test synthesis tool used to develop functional verification tests for complex designs. This solution makes the process of understanding, defining and analyzing complicated verification requirements easy and systematic, using a visual graph- based verification plan. By generating tests directly from the plan, the tool reduces verification effort by 11-14x while guaranteeing 100% verification plan coverage.

Today, teams of engineers create paper verification plans, develop huge amounts of testbench software to implement this plan, and spend countless hours tuning the testbench to achieve coverage – and still the primary cause of silicon respins is functional failure. Breker solves this problem by focusing on understanding, defining and analyzing verification plans. Functional tests are then generated automatically from this plan to provide 100% coverage.

Breker’s founder and CEO, Adnan Hamid, has more than 14 years experience in streamlining the verification process. At AMD, Hamid lead a team that conceptualized and implemented a graph-based verification infrastructure that was used to successfully verify multiple microprocessor architectures. Since then, Hamid and the Breker development team have refined this technology and deployed it on multiple design topologies.

“Advances in functional verification have not kept pace with the rest of the EDA industry. Today, it takes 10 lines of testbench code to verify each line of RTL code but we are still not sure that everything has been tested,” said Hamid. “Breker’s innovation in functional verification automation reduces this to less than one line of verification plan code for each line of RTL code while guaranteeing 100% verification plan coverage.”

Technology Differentiation
Previous attempts at using graphs in functional verification have failed because the graphs exploded in size and complexity. Breker combines graph-based technology with dependency resolution to provide a powerful yet compact way to understand, define and analyze complex verification plans. Functional test cases generated automatically from this plan provide input stimulus to the design and check output results for correctness while guaranteeing 100% verification plan coverage.

About Breker
Breker Verification Systems is an EDA (electronic design automation) company that is bridging the gap between verification planning and the testbench using Graph-Based Functional Test Synthesis. Breker has created a functional test synthesis tool used to develop functional verification tests for complex designs. This solution makes the process of understanding, defining and analyzing complicated verification requirements easy and systematic, using a visual graph based verification plan. By generating tests directly from the plan, the tool reduces verification effort by 11-14x while guaranteeing 100% verification plan coverage. Privately held, Breker was founded in 2003 in Austin, TX. Its corporate headquarters is at 8217 Edgemoor Place, Austin, Texas 78749. Telephone: (512) 415-1199.