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}
}