Norris IP, Director of Engineering, Jasper Design Automation Over 50 engineers and engineering managers were surveyed at DAC 2009 by Jasper Design Automation as part of a market research and analysis ...

In this direction we have used static formal verification to complement the Metrix Driven ... uninitialized registers in the design. Interrupt connections, bus interconnections, address mapping ...