Behavior Driven Development for Circuit Design and Verification

@inproceedings{pub6489,
    author = {Diepenbeck, Melanie and Soeken, Mathias and Große, Daniel and Drechsler, Rolf},
    title = {Behavior Driven Development for Circuit Design and Verification},
    booktitle = {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},
    year = {2012},
    publisher = {IEEE}
}