1. VC formal tools featimg
    Article Using formal techniques to help tackle SoC verification challenges

    Formal techniques can be applied to various parts of the verification challenge, including low-power and clock domain-crossing issues

  2. Article How to use pattern matching to improve automatic waiver management
  3. Article Placement optimizations push power and clock on Cortex-M7 project


  1. Bundles help group signals on package pinouts
    Article Multi-fabric planning for more efficient PCB design

    A coordinated design methodology fine-tunes chip-to-package PCB layout and routing that involves high-integration devices.

  2. Article The future of thermal simulation for electronics products
  3. Article Zeroing in on the problems of fast board-level interconnect


  1. Enabling symmetric multiprocessing for embedded Linux on ARC processor cores feature image
    Article Enabling symmetric multiprocessing for embedded Linux on ARC processor cores

    This article looks at some of the key architectural and implementation decisions Synopsys has made in developing a version of its HS series of licensable processor cores to serve the embedded Linux market

  2. Article Accelerating ‘time to prototype’ with ProtoCompiler
  3. Expert Insight Six key criteria for deciding to migrate to a finFET process


  1. ZeBu server
    Article Hybrid emulation for development, validation and verification

    This article introduces hybrid emulation, a combination of emulation and virtual prototypes, and its application to tasks such as architecture validation, early software development and software-driven verification.

  2. Article The evolution of software debug using hardware emulators
  3. Article Using Ethernet in automotive networks



Mentor Graphics GLOBALFOUNDRIES Synopsys Samsung Semiconductor Cadence Design Systems
View All Sponsors