<p class="style8">The eleventh ACM–IEEE MEMOCODE conference focuses on research and developments in methods, tools, and architectures for the design of hardware/software systems. MEMOCODE seeks submissions that present novel formal methods and design techniques to create, refine, and verify complex hardware/software systems and to tackle the tight constraints on timing, power, costs, reliability and security that these systems face. We also invite application–oriented papers, and especially encourage submissions that highlight the tools and design perspective of formal methods and models, including success as well as failure stories, constructive analysis thereof, and demonstrations of hardware/software codesign. Techniques may range from formal verification to simulation–based verification technologies, and from languages to design paradigms that unify hardware and software codesign. Architectures may range from cloud computing and multi–core platforms to networks on chip. Applications and demonstrators may address values ranging from productivity and reuse to performance and quality.</p> MEMOCODE 2013 will be co–located with <a href="http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/index&… 2013</a>, the thirteenth conference on Formal Methods in Computer–Aided Design, and <a href="http://www.cmpe.boun.edu.tr/difts13/">DIFTS 2013</a>, the International Workshop on Design and Implementation of Formal Tools and Systems, in Portland, Oregon. MEMOCDE 2013 will take place from October 18 to 19, followed by a joint FMCAD/MEMOCODE tutorial day on October 20. DIFTS will take place on October 19, 2013. FMCAD will continue from October 21 to 23, 2013.<br>
Abbrevation
MEMOCODE
City
PortlandOR
Country
United States
Deadline Paper
Start Date
End Date
Abstract