Machine generated authority record.
Work cat.: (OSt): "Models, Methods, and Tools for Complex Chip Design" 265