Syed Z. Shazli

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Syed Z. Shazli, Mehdi Baradaran Tahoori: Soft error rate computation in early design stages using boolean satisfiability. ACM Great Lakes Symposium on VLSI 2009: 101-104

2008

1 Syed Z. Shazli, Mehdi Baradaran Tahoori: Obtaining Microprocessor Vulnerability Factor Using Formal Methods. DFT 2008: 63-71

	2009
2		Syed Z. Shazli, Mehdi Baradaran Tahoori: Soft error rate computation in early design stages using boolean satisfiability. ACM Great Lakes Symposium on VLSI 2009: 101-104
	2008
1		Syed Z. Shazli, Mehdi Baradaran Tahoori: Obtaining Microprocessor Vulnerability Factor Using Formal Methods. DFT 2008: 63-71

Coauthor Index