Compressive and Shear Strengths of Fragmented Ice Covers-a Laboratory Study. (2002)
The results of an experimental study on the compressive and shear strengths of floating, fragmented ice covers are presented. The compressive strength of prestrained covers and of covers submitted to...
HSIS: A BDD-Based Environment for Formal Verification (1994)
A. Aziz, F. Balarin, S. T. Cheng, R. Hojati, T. Kam, S. C. Krishnan, ...
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now gaining acceptance...