| Former
Students |
| Name |
Degree |
Thesis
Topic |
Current
Employment |
| Ivor Ting |
MEng (2000) |
Design
Optimization Using ATPG-based
Reqiring Techniques |
Broadcom |
|
Sean Safarpour |
PhD (2009) |
Formal Techniques in Design Debugging |
Vennsa Technologies |
| Mandana Amiri |
MEng (2001) |
ATPG Based Diagnosis and Optmization Techniques |
UBC Physics & Astronomy
Department |
| Jackey Wong |
MEng (2008) |
Automated Test Bench Generation |
U-Waterloo |
|
Elham Safi |
PhD (2009) |
Architecture-level Power Modeling |
--- |
| Hratch Mangassarian |
MASc (2008) |
PB-SAT and QBF Solvers in CAD for VLSI |
PhD Candidate |
| Brandon Liu |
MASc (2003) |
Incremental
Diagnosis in Digital VLSI
Circuits |
Freescale
Semiconductor |
| Joanne Lee |
MEng (2003) |
Controllability
Don't Care in Boolean
Satisfiability for EDA |
ATI Technologies |
| Karen Ha |
MEng (2003) |
Algorithms
For Optimizing the Test
Generation Process of VLSI
Designs |
Qualcomm Inc. |
| Alexander Smith |
MASc (2004) |
Diagnosis of
Combinational Logic Curcuits Using
Boolean Satisfiability |
PhD Candidate
in the Aerospace Department at
the University of Toronto |
| Robert Chang |
MEng (2004) |
Functional
Fault Equivalence and
Automated Diagnostic Test
Generation Using Convential
ATPG |
iLogic Inc. |
| Moayad Fahim Ali |
MASc (2005) |
Satisfiability-based Debugging of
Sequential and Hierarchical Designs |
Intel Corp. |
| Sean Safarpour |
MASc (2005) |
Managing Don't Cares
in Boolean Satisfiability |
PhD Candidate |
| Yu-Shen (Terry) Yang |
MASc (2004) |
Extraction Error Diagnosis and Correction
in High-Performance Designs |
PhD Candidate |
Current
and Former Students