Mehran Massoumi

According to our database, Mehran Massoumi authored at least 5 papers between 1991 and 2010.

Collaborative distances:

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

2010

ASIC verification: Integrating formal verification with HDL-based courses.

Mehran Massoumi, Assim Sagahyroon

Comput. Appl. Eng. Educ., 2010

2008

Enhanced TED: A New Data Structure for RTL Verification.

Pejman Lotfi-Kamran, Mehran Massoumi, Mohammad Mirzaei, Zainalabedin Navabi

Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

2005

TED+: a data structure for microprocessor verification.

Pejman Lotfi-Kamran, Mohammad Hosseinabady, Hamid Shojaei, Mehran Massoumi, Zainalabedin Navabi

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

1995

Microarchitecture of HaL's Memory Management Unit.

David Chih-Wei Chang, David Lyon, Charles Chen, Leon Peng, Mehran Massoumi, Matthew Hakimi, Satish Iyengar, Ellen Li, Roque Remedios

Proceedings of the COMPCON '95: Technologies for the Information Superhighway, 1995

1991

Investigating simulation of hardware at various levels of abstraction and timing back-annotation of dataflow descriptions.

Zainalabedin Navabi, Mehran Massoumi

Simul., 1991