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
Knowledge driven simulation time and data reduction technique
Latch inference using dataflow analysis
Latch inference using dataflow analysis
Line modeling tool
Linear time-invariant system modeling apparatus and method...
Load current evaluation device, load current evaluation...
Logic circuit model conversion apparatus and method thereof;...