Research
Read how they describe their research on their University of British Columbia profile.
Latest funding
- $160,000
Integrating Numerical Methods into Formal Verification
NSERC · 2014 · Principal investigator
- $236,350
Design, verification, and test of analog and mixed-signal integrated circuits with an emphasis on PLLs
NSERC · 2013 · Co-investigator
- $94,500
Analysis, verification and design for energy aware computation
NSERC · 2007 · Principal investigator
No publications available.
Integrating Numerical Methods into Formal Verification
Principal investigators: Greenstreet, Mark
Design, verification, and test of analog and mixed-signal integrated circuits with an emphasis on PLLs
Principal investigators: Mirabbasi, Shahriar
Analysis, verification and design for energy aware computation
Principal investigators: Greenstreet, Mark
Formal verification of analog circuits and active inductors for deep-submicron design
Principal investigators: Greenstreet, Mark
Design and verification at the discrete/continuous interface
Principal investigators: Greenstreet, Mark
Verification using continuous models
Principal investigators: Greenstreet, Mark
Verification using continuous models
Principal investigators: Greenstreet, Mark
Formal Methods For Hardware Design
Principal investigators: Greenstreet, Mark
From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.
Profile data last refreshed on September 27, 2026 from the university directory, publication records and CIHR, NSERC and SSHRC funding.