Program product supporting specification of signals for...
Programmable logic array device design using parameterized...
Programmable pattern generation for dynamic bus signal...
Programmatic use of software debugging to redirect hardware...
Projection electron beam lithography apparatus and method...
Projection electron beam lithography apparatus and method...
Property coverage in formal verification
Property specific testbench generation framework for circuit...
Protocol checking for concurrent systems
Provisioning computing services via an on-line networked...
Pseudo random test pattern generation using Markov chains
Pulse rejection circuit model program and technique in VHDL
Quantitative risk assessment system (QRAS)
Race condition ordering and functional verification system...
Radiation treatment plan making system and method
Random initialization of latches in an integrated circuit...
Rapid design of memory systems using dilation modeling
Real-time surface traffic adviser
Receiver dependent selection of a worst-case timing event...
Recognizing signals in design simulation