Behavior Driven Development for Circuit Design and Verification

Melanie Diepenbeck, Mathias Soeken, Daniel Große, Rolf Drechsler

In: Proceedings of the IEEE International Workshop on High-Level Design Validation and Test 2012. IEEE International Workshop on High-Level Design Validation and Test (HLDVT-2012) November 9-10 Huntington Beach CA United States IEEE 2012.


The design of hardware systems is a challenging and erroneous task where about 70% of the effort in designing these systems is spent on verification. In general, testing and verification are usually tasks that are being applied as a postprocess to the implementation. In this paper, we propose a new design flow based on Behavior Driven Development (BDD), an agile technique for the development of software in which acceptance tests written in natural language play a central role and are the starting point in the design flow. We advance the flow such that the specifics that arise when modeling hardware are taken into account. Furthermore, we present a technique that allows for the automatic generalization of test cases to properties that are suitable for formal verification. This allows the designer to apply formal verification techniques based on test cases without specifying properties. We implemented our approach and evaluated the flow for an illustrative example that successfully demonstrates the advantages of the proposed flow.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz