10th ACM/IEEE International Conference on  Formal Methods and Models for Codesign

Arlington, Virginia. July 16-17., 2012. http://www.memocode-conference.com

MEMOCODE'12 is financially sponsored by the Bradley Department of Electrical and Computer Engineering, Virginia Tech; and the Virginia Tech – National Capital Region

The MEMOCODE'12 design contest is sponsored by Xilinx