Intended Design Behavior Is Captured and Preserved, Reducing Life Cycle Design Costs and Verification Time While Enabling Efficient Knowledge Transfer and Design Reuse MOUNTAIN VIEW, Calif. -- January ...