 |
|
 |
 |
 |
|
| Category: Front End - Functional Verification - Formal Tools |
|
|
  |
|
  |
| As the industry’s first sequential equivalence checker, SLEC can verify block-level designs with differences in sequential and data abstraction. SLEC provides
comprehensive functional verification for designers doing micro-architectural RTL optimization, such as re-timing, pipelining, and resource sharing, and engineering teams
deploying system-level design flows including those using behavioral synthesis. |
|
|
|
 |
|
|