<pre>The seventh MEMOCODE conference will gather researchers and<br>practitioners who create methods, tools, and architectures for<br>hardware/software systems. Modern design faces increased design<br>complexities in combination with tightening implementation<br>constraints. This requires new techniques to create, refine, and<br>verify hardware/software systems. MEMOCODE seeks submissions that<br>present novel formal methods and design techniques to address this<br>design problem. We also invite application–oriented papers, and<br>especially encourage submissions that highlight the design perspective<br>of formal methods and models, including success stories and<br>demonstrations of hardware/software codesign. Furthermore, we invite<br>poster presentations describing ongoing work with promising<br>preliminary results.<br></pre>
Abbrevation
MEMOCODE
City
Cambridge
Country
United States
Deadline Paper
Start Date
End Date
Abstract