|
|
|
|
|
Model Diagnoser provides a complete solution for ultimate verification, quality assurance
and interactive debugging for the .Lib model of cell and I/O library. TSMC has selected
Model Diagnoser for Standard Cell Library Quality Assurance.
|
|
|
Features
Setup/hold time diagnosis for function/noise violations
Repairing library model from function/noise violations
Inaccuracy diagnosis by library model comparison
Function verification between views of library model
CCS consistency check of library model
Interactive Debugger by GUI
Necessities
Use ultimate validation, different from characterization
-Verify setup/hold time by direct data plugging into final
simulation, instead of binary search with error tolerances
Check internal nodes, not covered by characterization
-Examine glitches and noise strenths on internal nodes,
instead of 'output pins only' by simulator's bi-section
Verify possible errors in the characterization from
-Characterization tools
-Simulation tools
-Human errors and manual settings
Benefits
Enable quality assurances of cell library .Lib models
which are critical for SoC designs
Quickly locate the function, noise,timing and power
problems in .Lib model at any PVT
Repair .Lib model of latch/flip-flop by automatically
adjusting the margins for production yields
Easy to use with Interactive Debugger by GUI, and
programmable configurations
Fully proven for production flow
Best price performance
Platform Support
Linux
Simulators Support
MSIM
HSPICE
|
|
 |
|
