Benchmark synthesis using workload statistics

Benchmark synthesis using workload statistics

Bidirectional socket stimulus interface for a logic simulator

Binary verification service

Bounded program failure analysis and correction

Breakpoint groups based on control flow

Breakpoint logging and constraint mechanisms for parallel...

Breakpoint management and reconciliation for embedded...

Breakpoint method for parallel hardware threads in...

Breakpoint safety net

Buckets of commands in a multiprocessor-based verification...

Build-time enforcement of architectural partitioning in...

Building inter-block streams from a dynamic execution trace...

Built-in diagnostics

Business process model debugger

Byte code instrumentation

Byte code instrumentation

Bytecode program interpreter apparatus and method with...