Concepedia

M. M. Kamal Hashmi

MM

2

Publications

24

Citations

2

H-Index

1995

Active since

Affiliations

ARM (United Kingdom)(Current)

M. M. Kamal Hashmi is an author at ARM (United Kingdom) specializing in system software, formal methods, and computer engineering.

Top concepts

DesignEngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareSoftware AnalysisFormal VerificationSystem-level DesignSystems Engineering

Publications per year

1995–2006

2

Publications

2

Maintaining consistency between systemC and RTL system designs

Alistair Bruce, M. M. Kamal Hashmi, Andrew Nightingale et al. · 2006 · 12 citations

Engineering, Verification, Computer Architecture +21

Design and use of a system-level specification and verification methodology

M. M. Kamal Hashmi, Alistair Bruce · European Design Automation Conference · 1995 · 12 citations

Engineering, Verification, Computer Architecture +22

Rows per page

1–2 of 2