Yogesh S. Mahajan

According to our database, Yogesh S. Mahajan authored at least 8 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Specification and encoding of transaction interaction properties.

Divjyot Sethi, Yogesh S. Mahajan, Sharad Malik

Formal Methods Syst. Des., 2011

2010

Utility of transaction-level hardware models in refinement checking.

Yogesh S. Mahajan, Sharad Malik

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

2009

Supporting RTL flow compatibility in a microarchitecture-level design framework.

Daniel Schwartz-Narbonne, Carven Chan, Yogesh S. Mahajan, Sharad Malik

Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009

2007

Verification Driven Formal Architecture and Microarchitecture Modeling.

Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Automating Hazard Checking in Transaction-Level Microarchitecture Models.

Yogesh S. Mahajan, Sharad Malik

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2005

Verification Languages.

Aarti Gupta, Ali Alphan Bayazit, Yogesh S. Mahajan

Proceedings of the Embedded Systems Handbook., 2005

Verification Languages.

Aarti Gupta, Ali Alphan Bayazit, Yogesh S. Mahajan

Proceedings of the Industrial Information Technology Handbook, 2005

2004

Zchaff2004: An Efficient SAT Solver.

Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik

Proceedings of the Theory and Applications of Satisfiability Testing, 2004