Service manuals, schematics, documentation, applications, datasheets, electronics
|
|
Equivalence checker for FPGA optimizations
|
Equivalence checker for FPGA optimizations |
To run formal equivalence checking on FPGAs today, designers typically have to turn off sequential optimizations made by synthesis tools. Startup OneSpin Solutions GmbH this week will introduce a solution that makes FPGA equivalence checking practical by supporting those optimizations.</P> Details
2007-02-12 14:00:00
|
|
|
|
|
|