Functional and Timing Verification

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.