Professional Documents
Culture Documents
• Founded 1989
• 25 employers
• 3 offices
- Stockholm, Sweden (HQ)
- Toulouse, France
- Palo Alto, US
• Funded by MVI, Intel Capital etc
• Main markets: formal verification for
EDA and CASE
Goals:
Authoring Example ASIC Flow
• Input two circuit
descriptions (RTL
RTL
Synthesis FV or gate level)
Gates
• Automated analysis
Test Insertion FV and results: errors
identified or proven
not to exist
Chip Optimization FV FV
• 100% coverage
Clock Insertion FV
• Tristate logic
• Don’t cares
• State encoding
• Retiming
• Sequential propagation
• Combinational loops
• Hierarchical Comparison
• Mapping
• Debugging
Confidential © 2001 Prover Technology, Inc.
26
Tristate logic