Microelectronics and Electronics Software (21-29 of 29)

A power router for power mesh reliability closure

New timing based on IR drop

Cetec Software has specialized in solving the data processing requirements for the Electronic Distribution industry since 1981. The company is formed by talented people rich in experience, having worked in all phases of distribution.

RealPower Solution ANALYZE power using the actual test vectors. FIND reliability problems (electromigration, hot spots & IR drop) fast and FIX reliability issues using the built-in Power Mesh Design feature.

RTL power grid design and IR drop analysis

Board level testability analysis tool. Speeds time to market. Minimizes test points, thereby saving test equipment and fixturing costs. Increases potential fault coverage.

Automatic test generator for programmable logic devices, including EPLDs and FPGAs. Also test generation and modification of boundary scan tests and BSDL files.

This tool has been used to perform proofs of correctness of complex hardware and software systems, including floating point hardware in commercially available microprocessors.

This was an early system for specifying formal designs of computing systems and proving their correctness.