Search
Selected: S

Satisfiability (SAT) based bounded model checkers

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Circuit simulation
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Scalable system for simulation and emulation of electronic...

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Circuit simulation
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Scatterometry multi-structure shape definition with...

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Scheduling non-integral simulation time for mixed-signal...

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Event-driven
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Scheme for improving the simulation accuracy of integrated...

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Security monitor of system runs software simulator in parallel

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Computer or peripheral device
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Selecting design points on parameter functions having first...

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Circuit simulation
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Selection of initial states for formal verification

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Circuit simulation
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Selectively reducing the number of cell evaluations in a...

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Circuit simulation
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Self-checking simulations using dynamic data loading

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Software program
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Self-configuring store-and-forward computer network

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Computer or peripheral device
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Semiconductor device characteristic simulation apparatus and...

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Circuit simulation
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Semiconductor integrated circuit verification system

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Circuit simulation
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Sensor network modeling and deployment

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Sensor network modeling and deployment

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Sequential function chart validation tool

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Software program
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Sequential logic in simulation instrumentation of an...

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Circuit simulation
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Sequential machine for solving boolean satisfiability (SAT)...

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Circuit simulation
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Sequential tester for longest prefix search engines

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Software program
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Server recording and client playback of computer network...

Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system
Reexamination Certificate

  [ 0.00 ] – not rated yet Voters 0   Comments 0
  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.