@inproceedings{rinard2009survival, author={Martin Rinard}, title={Survival strategies for synthesized hardware systems}, booktitle={Formal Methods and Models for Co-Design, 2009. MEMOCODE'09. 7th IEEE/ACM International Conference on}, year={2009}, pages={116--120}, organization={IEEE} }