Hardware/Software Co-Design

@inproceedings{rmu11,
  author = {Ralf Dreesen AND Michael Thies AND Uwe Kastens},
  title = {Type Analysis on Bitstring Expressions},
  booktitle = {Proceedings of the 9th Workshop on Optimizations for DSP and Embedded Systems (ODES-9)},
  year = {2011}
}