IC behavior analysis system
Impedance mismatch modeling in a data flow or discrete time...
Impedance mismatch modeling in a data flow or discrete time...
Incremental automata verification
Incremental circuit re-simulation system
Instantaneous voltage drop sensitivity analysis tool (IVDSAT)
Integrated circuit analysis system and method using model...
Integrated circuit and package modeling
Integrated circuit I/O pad cell modeling
Integrated circuit models having associated timing exception...
Integrated placement and synthesis for timing closure of micropr
Inter integrated circuit extension via shadow memory
Inter integrated circuit extension via shadow memory
Interactive repeater insertion simulator (IRIS) system and...
Interface independent test system
Iterative abstraction using SAT-based BMC with proof analysis