ASIC and IC Design : Formal Verification
AFS Nano Block-Level SPICE
Company: Berkeley Design Automation, Inc.
AFS Nano™ is the industry’s fastest SPICE simulator for
block-level IC design. Part of the AFS Platform, AFS Nano delivers
foundry-certified nanometer SPICE accuracy, 5x-10x faster for blocks with up to
5K elements. A one-year time-based license costs only $1,900 US.
Company: TEMENTO Systems
The Platform Edition includes all features of the Leading Edge Edition plus the Assertion Checker module. This IP allows the designer to embed his system assertions conditions written along with his system specifications before synthesis and check them at speed.
Company: Vector Cantech, Inc.
For testing and validating FlexRay systems there is a need forgreater precision in studying a system’ s behavior in response toerrors and disturbances. FRstress generates reproducible disturbanceson a channel in the FlexRay cluster. It can generate protocolerrors as well as disturbances in bus physics that are activated by trigger conditions. This gives the developer and tester a highperformance stress module.