Conference and workshop papers
Krishnan Kailas, Viresh Paruthi and Brian Monwai. Formal Verification of Correctness and Performance of Random Priority-based Arbiters. 2009 International Conference on Formal Methods in Computer-Aided Design (FMCAD 2009). ACM, IEEE, July 2009.M. L. Case, V. N. Kravets, A. Mishchenko and R. K. Brayton. Merging nodes under sequential observability (In process). 45th ACM/IEEE Design Automation Conference. June 2008.
Rodric Rabbah. Liquid Metal: Blurring the Boundary between Software and Hardware for Versatile Parallel Computing. DATE 2008 - Design Automation and Test in Europre Workshop in Software Engineering for Embedded Systems . ACM, EDA, ECSI, IEEE , March 2008.