Formal Verification
-
- P. Subramanyan, R. Sinha, I. Lebedev, S. Devadas and S. Seshia,
"A Formal Foundation for Secure Remote Execution of Enclaves", Proceedings of the Computer and Communication Security Conference, October 2017. Best Paper Award.
-
-
F. Fallah, S. Devadas, and K. Keutzer,
"Functional Vector Generation For HDL Models Using Linear Programming
and 3-Satisfiability", IEEE Transactions on Computer-Aided
Design , August 2001.
-
-
F. Fallah, S. Devadas, and K. Keutzer,
"OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics
for Functional Verification", IEEE Transactions on
Computer-Aided Design , August 2001.
-
-
J. Costa, J. Monteiro, and S. Devadas,
"Observability Analysis of Embedded Software for
Coverage-Directed Validation", Proceedings of the
International Conference on Computer-Aided Design ,
November 2000.
-
-
F. Fallah, P. Ashar and S. Devadas,
"Simulation Vector Generation from HDL
Descriptions for Observability-Enhanced Statement Coverage",
Proceedings of the
36th Design Automation Conference,
June 1999.
-
-
F. Fallah, S. Devadas, and K. Keutzer,
"OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics
for Functional Verification", Proceedings of the
35th Design Automation Conference,
June 1998. Best Paper Award.
-
-
F. Fallah, S. Devadas, and K. Keutzer,
"Functional Vector Generation For HDL Models Using Linear Programming
and 3-Satisfiability", Proceedings of the
35th Design Automation Conference,
June 1998.
-
-
S. Devadas, A. Ghosh and K. Keutzer,
"An Observability-Based Code Coverage Metric
for Functional Simulation", Proceedings of the
International Conference on Computer-Aided Design,
November 1996.
-
-
S. Devadas, K. Keutzer and S. Malik,
"Computation of Floating Mode Delay
in Logic Circuits: Theory and Algorithms", IEEE
Transactions on Computer-Aided Design, pp. 1913-1923, December 1993.
-
-
S. Devadas, K. Keutzer, S. Malik and A. Wang,
"Computation of Floating Mode Delay
in Logic Circuits: Practice and Implementation", IEEE
Transactions on Computer-Aided Design, pp. 1924-1936, December 1993.