Where EEs Navigate A Changing World.
Globe

No matching Refs were found.

"formal proof" related tools for the Electrical Engineer
Entries 1 through 1 of 1 were returned.
Name Type Details
Alli@nce VLSI CAD System VLSI Development Description: The Alli@nce homepage says it best: "Alliance is a complete set of free CAD tools and portable libraries for VLSI design. It includes a VHDL compiler and simulator, logic synthesis tools, and automatic place and route tools. A complete set of portable CMOS libraries is provided. Alliance is the result of a twelve year effort spent at ASIM department of LIP6 laboratory of the Pierre et Marie Curie University (Paris VI, France). Alliance has been used for research projects such as the 875 000 transistors StaCS superscalar microprocessor and 400 000 transistors IEEE Gigabit HSL Router. "

No matching Orgs were found.