基本信息
浏览量:34
职业迁徙
个人简介
Dr. Ramin Hojati is the President and founder of Averant. He obtained his B.S. from Massachusetts Institute of Technology in 1988 in math and computer science. From 1988 to 1990, he worked on layout and logic synthesis tools at Cadence Design Systems. He obtained his M.S. and Ph.D. in computer science in 1992 and 1996, respectively, from the University of California, Berkeley. Dr. Hojati has been the main architect of several large scale software developments, has written over 20 research papers in verification and delivered many talks in CAD, has served in the program committees of trade conferences, and is a leading figure in computer-aided verification. At U.C. Berkeley, he was the main driving force behind Berkeley's first generation verification system, HSIS. Before that, he was the author of the first BDD-based engine for Lucent Technologies FormalCheck. Dr. Hojati has significant background in design verification, and has been a design verification consultant to Cisco, Compaq, IBM, SGI, and SUN Microsystems.
研究兴趣
论文共 13 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
A bdd-based environment for formal verification of hardware systems (1996)
引用25浏览0EI引用
25
0
Edge-Streett/ Edge-Rabin Automata Environment for (1994)
引用27浏览0EI引用
27
0
31ST DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1994pp.225-231, (1994)
Heuristic Algorithms for Early Quantification and Partial (1994)
引用25浏览0EI引用
25
0
CAV '93: Proceedings of the 5th International Conference on Computer Aided Verificationpp.41-58, (1993)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn