下载PDF
UPEK and Cadence: Enhancing Design Efficiency with Assertion-Based Verification Methodology
技术
- 传感器 - 流量计
- 传感器 - 液体检测传感器
适用行业
- 国家安全与国防
适用功能
- 产品研发
- 质量保证
用例
- 虚拟现实
- 视觉质量检测
服务
- 测试与认证
挑战
UPEK 是一家总部位于加州的生物识别指纹技术先驱,在设计和验证过程中面临着重大挑战。该公司的设计团队负责流程的设计和验证元素,需要高度的灵活性来适应不同计算系统的多个接口。主要的业务挑战是为客户提供更快的上市时间。为了实现这一目标,UPEK 需要加快设计周期,并将基于断言的验证方法纳入其现有的设计和验证流程。
关于客户
UPEK, Inc. 总部位于加利福尼亚州,是生物识别指纹技术领域的先驱。自 1996 年成立以来,UPEK 一直致力于让安全变得简单且易于访问。该公司的解决方案满足广泛的客户需求,从大型联邦机构到个人个人计算机用户。在移动设备可以轻松访问个人数据的时代,UPEK 的创新安全解决方案变得越来越重要和重要。该公司的设计团队负责流程的设计和验证元素,需要高度的适应性才能与不同计算系统中的多个接口集成。
解决方案
为了应对这些挑战,UPEK 决定将基于断言的验证方法纳入其现有的设计和验证流程。该公司利用 Cadence 的 Incisive Formal Verifier 和工程服务来简化流程。Incisive Formal Verifier 与 Incisive Design Team Simulator 相结合,提供了一套互补的技术,这些技术在设计和验证流程的不同阶段都有效。形式分析非常适合早期阶段和复杂的控制逻辑,而模拟则适用于芯片级、端到端验证。该解决方案还包括统一的解析器、通用语言支持和集成调试环境,以确保易于使用。
运营影响
数量效益
相关案例.
Case Study
Data Capture for Afghanistan Forces
Electronic equipments on the field of Afghanistan provided information on the status of the vehicle and to identify potential threats surrounding it to the British Force. The monitoring and interpretation of this data requires robust and sophisticated digitization for data capture and communication.
Case Study
Major Aerospace Company Automates Asset Management
The O&M division of an aerospace and global security company was using spreadsheets to manually track more than 3,000 assets assigned to students and staff. Maintaining audit trails for this high volume of equipment became increasingly time-consuming and challenging. The chore involved knowing precisely what equipment was on hand, what had been issued, its location and the name of the custodial owner of each item. Every aspect of this task was carried owner of each item. Every aspect of this task was carried out by individuals with spreadsheets. Manually documenting the full lifecycle of each asset added to the burden. This included tracking maintenance requirements and records, incidents and damages, repairs, calibrations, depreciation, and end-of-life data.
Case Study
Securing a Large Data Center in the EMEA Region: An IoT Case Study
A leading data-center operator in the EMEA region, with multiple facilities spanning over 25,000 square meters, faced significant security challenges. The operator experienced interruptions in their internal IT network due to unsupervised work of third-party technicians. Despite having a high-end building control system that provided 24x7 monitoring and control to all the building’s infrastructure, the data center was vulnerable from a cyber perspective as it was connected to the IT network infrastructure. The operator launched an urgent OT cyber security project that included both IT-OT network segmentation and OT network asset mapping and anomaly detection. The main objectives were to harden the security of the server systems, secure the facility’s power supply and server cooling system, strengthen the segmentation between building and operational systems, create a visual OT network map, and set up a system for presenting supply-chain attacks that may threaten the data center through equipment vendors’ maintenance activities.
Case Study
Enhancing Security Precision with IoT: A Case Study of Guardsman Group
Guardsman Group, a leading security company in the Caribbean, faced a significant challenge in maintaining the security of its digital infrastructure. The company provides security equipment, personnel, and systems for various businesses across the region. However, one of its offices experienced a security incident that affected all communications at that location. The existing security tools were not sufficient to provide the necessary protection, and it took hours to identify the source of the issue. This incident highlighted the need for a dynamic solution that could proactively identify threats. The company's primary concern was any disruption to its business, as it manages a significant portion of Jamaica's money and cannot afford for its operations to go down.
Case Study
LoRaWAN - Helping citizens and organizations to reduce environmental impact
More and more, our world is becoming aware about the environmental print that comes with population growth, limitation of resources, climate change and the need for sustainability. The biggest challange here was to raise awareness among citizens and organizations about their environmental impact, and to help themto reduce it in a sustainable way with the help of Real time data.
Case Study
Enhancing City Security through IoT: A Case Study of Atlanta
The city of Atlanta, with a resident population of over 420,000 and a metropolitan area of more than five million people, faced the challenge of ensuring the safety and security of its citizens and visitors. As a leading tourist destination and a multicultural city attracting global investment, Atlanta had to deal with the complexities of managing safety and security incidents. Over the years, the city had invested in various surveillance systems, providing visual intelligence to law enforcement and security professionals. However, these systems operated independently and were spread across a wide geography. The city aimed to increase collaboration among government agencies and create a shared Video Integration Center (VIC). The challenge was the disparate nature of the video systems, which were based on proprietary technologies and were both analog and IP based. The city also wanted to leverage the numerous private cameras located across the city, further complicating the integration of all these systems into one common platform.