Verifying deep logic hierarchies with ALEX
- George M. Koppelman
- Klim Maling
- 1980
- DAC 1980
Publications
Date
Featured collections
Popular topics
4 results for George M. Koppelman
An Interactive System for Reading Unformatted Printed Text
- Robert N. Ascher
- George M. Koppelman
- et al.
- 1971
- IEEE TC
OYSTER, a 3D structural simulator for micro electromechanical design.
- George M. Koppelman
- 1989
- MEMS 1989
OYSTER, a three-dimensional structural simulator for microelectromechanical design
- George M. Koppelman
- 1989
- Sensors and Actuators