Providing a unique composite formal method software SIMXACT
Fuji Soft Co., Ltd.
About This Product
■ Overview / features
AVERY DESIGN SYSTEMS software SIMXACT. SIMXACT offers a comprehensive solution to effectively solve unique restrictions that handle non -deterministic theory associated with X value in logical simulation. In order to analyze X's spread using real simulation tests, the X Verification method of the AVERY DESIGN SYSTEMS uses a unique composite formal method.
■ Functional
・ ELIMINATING X-PESSIMISM in GATE-LEVEL SIMULATION: Discover a simulation that does not match RTL simulation during the gate level simulation
・ Root Causing Real X isSues with XTDB: Provides XTRACE mode to focus on more X -value analysis
Automated Chip-Level Flow: Supports large chips analyzing a completely automated hierarchical analysis approach
-
Product
Providing a unique composite formal method software SIMXACT
-
Handling Company
Fuji Soft Co., Ltd.
1 Models of Providing a unique composite formal method software SIMXACT
| Product Image | Part Number | Price (excluding tax) |
|---|---|---|
|
|
SIMXACT |
Available upon quote |
Customers who viewed this product also viewed
Other products of Fuji Soft Co., Ltd.
View more products of Fuji Soft Co., Ltd.
About Company Handling This Product
- Japan
- Since 1970
- 9,570 employees