Authors: Fallah, F Devadas, S Keutzer, K

Citation: F. Fallah et al., Functional vector generation for HDL models using linear programming and Boolean satisfiability, IEEE COMP A, 20(8), 2001, pp. 994-1002

Authors: Fallah, F Devadas, S Keutzer, K

Citation: F. Fallah et al., OCCOM - Efficient computation of observability-based code coverage metricsfor functional verification, IEEE COMP A, 20(8), 2001, pp. 1003-1015

Authors: Fallah, F Liao, S Devadas, S

Citation: F. Fallah et al., Solving covering problems using LPR-based lower bounds, IEEE VLSI, 8(1), 2000, pp. 9-17

Authors: Hadjiyiannis, G Hanono, S Devadas, S

Citation: G. Hadjiyiannis et al., ISDL: An Instruction Set Description Language for retargetability and architecture exploration, DES AUTOM E, 6(1), 2000, pp. 39-69

Authors: Sudarsanam, A Liao, S Devadas, S

Citation: A. Sudarsanam et al., Analysis and evaluation of address arithmetic capabilities in custom DSP architectures, DES AUTOM E, 4(1), 1999, pp. 5-22