Breker Verification Systems, Inc. Founded to Develop Graph-based Functional Test Synthesis Technology and Products.Functional Verification Functional verification, in electronic design automation, is the task of verifying that the logic design conforms to specification. In everyday terms, functional verification attempts to answer the question "Does this proposed design do what is intended?" This is a complex task, Planning and Automated au·to·mate v. au·to·mat·ed, au·to·mat·ing, au·to·mates v.tr. 1. To convert to automatic operation: automate a factory. 2. Test Vector The introduction to this article provides insufficient context for those unfamiliar with the subject matter. Please help [ improve the introduction] to meet Wikipedia's layout standards. You can discuss the issue on the talk page. Generation Will Provide Predictable Path to 100% Verification Plan Coverage AUSTIN, Texas -- 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 (1) (Chief Executive Officer) The highest individual in command of an organization. Typically the president of the company, the CEO reports to the Chairman of the Board. . 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 (Advanced Micro Devices, Inc., Sunnyvale, CA, www.amd.com) A major manufacturer of semiconductor devices including x86-compatible CPUs, embedded processors, flash memories, programmable logic devices and networking chips. , Hamid lead a team that conceptualized and implemented a graph-based verification infrastructure that was used to successfully verify (1) To prove the correctness of data. (2) In data entry operations, to compare the keystrokes of a second operator with the data entered by the first operator to ensure that the data were typed in accurately. See validate. multiple microprocessor microprocessor, integrated circuit containing the arithmetic, logic, and control circuitry required to interpret and execute instructions from a computer program. 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 (1) (Electronic Design Automation) Using the computer to design, lay out, verify and simulate the performance of electronic circuits on a chip or printed circuit board. industry. Today, it takes 10 lines of testbench code to verify each line of RTL (Register Transfer Level) A high-level hardware description language (HDL) for defining digital circuits. The circuits are described as a collection of registers, Boolean equations, control logic such as "if-then-else" statements as well as complex event sequences; 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 ex·plode v. ex·plod·ed, ex·plod·ing, ex·plodes v.intr. 1. To release mechanical, chemical, or nuclear energy by the sudden production of gases in a confined space: 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 stimulus /stim·u·lus/ (stim´u-lus) pl. stim´uli [L.] any agent, act, or influence which produces functional or trophic reaction in a receptor or an irritable tissue. 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. On the Web at: http:www.brekersystems.com |
|
Printer friendly
Cite/link
Email
Feedback
Reader Opinion