Apparatus, method, and program for verifying logic circuit...
Apparatus, system, and method for designing via pads having...
Apparatus, system, and method for designing via pads having...
Apparatus, system, method, and program for facilitating the...
Apparatus, system, method, and program for facilitating the...
Application of co-verification tools to the testing of IC...
Application of the retimed normal form to the formal...
Application specific configurable logic IP
Application specific integrated circuit design tool and file...
Application specific integrated circuit with spaced spare...
Application-specific integrated circuit equivalents of...
Application-specific integrated circuit equivalents of...
Application-specific methods for testing molectronic or...
Application-specific methods useful for testing look up...
Application-specific testing methods for programmable logic...
Applying CNF simplification techniques for SAT-based...
Approach for routing an integrated circuit
Approximating wafer intensity change to provide fast mask...
Arbitration within a multiport AMBA slave
Architectural level throughput based power modeling...