Buffer insertion with accurate gate and interconnect delay computationCharles J. AlpertA. Devganet al.1999DAC 1999
Efficient non-interactive statistical zero-knowledge proof system for quasi-safe prime productsR. GennaroDaniele Micciancioet al.1998CCS 1998
User defined coverage-A tool supported methodology for design verificationRaanan GrinwaldEran Harelet al.1998DAC 1998
Design Reliability - Estimation through Statistical Analysis of Bug Discovery DataYossi MalkaAvi Ziv1998DAC 1998
Adjoint transient sensitivity computation in piecewise linear simulationTuyen V. NguyenAnirudh Devganet al.1998DAC 1998
Quantifying coordination in multiple DOF movement and its application to evaluating 6 DOF input devicesS. ZhaiP. Milgram1998CHI 1998