Mehran Massoumi

Publication Activity (10 Years)

Years Active: 1991-2010
Publications (10 Years): 0

Publications

Mehran Massoumi, Assim Sagahyroon
ASIC verification: Integrating formal verification with HDL-based courses. Comput. Appl. Eng. Educ. 18 (2) (2010)
Pejman Lotfi-Kamran, Mehran Massoumi, Mohammad Mirzaei, Zainalabedin Navabi
Enhanced TED: A New Data Structure for RTL Verification. VLSI Design (2008)
Pejman Lotfi-Kamran, Mohammad Hosseinabady, Hamid Shojaei, Mehran Massoumi, Zainalabedin Navabi
TED+: a data structure for microprocessor verification. ASP-DAC (2005)
David Chih-Wei Chang, David Lyon, Charles Chen, Leon Peng, Mehran Massoumi, Matthew Hakimi, Satish Iyengar, Ellen Li, Roque Remedios
Microarchitecture of HaL's Memory Management Unit. COMPCON (1995)
Zainalabedin Navabi, Mehran Massoumi
Investigating simulation of hardware at various levels of abstraction and timing back-annotation of dataflow descriptions. Simul. 57 (5) (1991)