A comparative evaluation of high-level hardware synthesis using Reed-Solomon decoder

by Agarwal, Abhinav, Ng, Man Cheuk, Mithal, Arvind
Published 2012

A general technique for deterministic model-cycle-level debugging

by Khan, Asif Imtiaz, Vijayaraghavan, Muralidaran, Mithal, Arvind
Published 2014

Automatic generation of hardware/software interfaces

by King, Myron Decker, Dave, Nirav H., Mithal, Arvind
Published 2012

Verification of microarchitectural refinements in rule-based systems

by Dave, Nirav H., Katelman, Michael, King, Myron Decker, Mithal, Arvind
Published 2012

Wilis: Architectural Modeling of Wireless Systems

by Fleming, Kermin Elliott, Ng, Man Cheuk, Gross, Samuel, Mithal, Arvind
Published 2012

A design flow based on modular refinement

by Dave, Nirav H., Ng, Man Cheuk, Pellauer, Michael, Mithal, Arvind
Published 2012

Airblue: A System for Cross-Layer Wireless Protocol Development

by Ng, Man Cheuk, Fleming, Kermin Elliott, Vutukuru, Mythili, Gross, Samuel, Mithal, Arvind, Balakrishnan, Hari
Published 2012