|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <driver_types.h>
Public Attributes | |
| char | name [256] |
| ASCII string identifying device. | |
| size_t | totalGlobalMem |
| Global memory available on device in bytes. | |
| size_t | sharedMemPerBlock |
| Shared memory available per block in bytes. | |
| int | regsPerBlock |
| 32-bit registers available per block | |
| int | warpSize |
| Warp size in threads. | |
| size_t | memPitch |
| Maximum pitch in bytes allowed by memory copies. | |
| int | maxThreadsPerBlock |
| Maximum number of threads per block. | |
| int | maxThreadsDim [3] |
| Maximum size of each dimension of a block. | |
| int | maxGridSize [3] |
| Maximum size of each dimension of a grid. | |
| int | clockRate |
| Clock frequency in kilohertz. | |
| size_t | totalConstMem |
| Constant memory available on device in bytes. | |
| int | major |
| Major compute capability. | |
| int | minor |
| Minor compute capability. | |
| size_t | textureAlignment |
| Alignment requirement for textures. | |
| size_t | texturePitchAlignment |
| Pitch alignment requirement for texture references bound to pitched memory. | |
| int | deviceOverlap |
| Device can concurrently copy memory and execute a kernel. | |
| int | multiProcessorCount |
| Number of multiprocessors on device. | |
| int | kernelExecTimeoutEnabled |
| Specified whether there is a run time limit on kernels. | |
| int | integrated |
| Device is integrated as opposed to discrete. | |
| int | canMapHostMemory |
| Device can map host memory with cudaHostAlloc/cudaHostGetDevicePointer. | |
| int | computeMode |
| Compute mode (See ::cudaComputeMode). | |
| int | maxTexture1D |
| Maximum 1D texture size. | |
| int | maxTexture1DMipmap |
| Maximum 1D mipmapped texture size. | |
| int | maxTexture1DLinear |
| Maximum size for 1D textures bound to linear memory. | |
| int | maxTexture2D [2] |
| Maximum 2D texture dimensions. | |
| int | maxTexture2DMipmap [2] |
| Maximum 2D mipmapped texture dimensions. | |
| int | maxTexture2DLinear [3] |
| Maximum dimensions (width, height, pitch) for 2D textures bound to pitched memory. | |
| int | maxTexture2DGather [2] |
| Maximum 2D texture dimensions if texture gather operations have to be performed. | |
| int | maxTexture3D [3] |
| Maximum 3D texture dimensions. | |
| int | maxTexture3DAlt [3] |
| Maximum alternate 3D texture dimensions. | |
| int | maxTextureCubemap |
| Maximum Cubemap texture dimensions. | |
| int | maxTexture1DLayered [2] |
| Maximum 1D layered texture dimensions. | |
| int | maxTexture2DLayered [3] |
| Maximum 2D layered texture dimensions. | |
| int | maxTextureCubemapLayered [2] |
| Maximum Cubemap layered texture dimensions. | |
| int | maxSurface1D |
| Maximum 1D surface size. | |
| int | maxSurface2D [2] |
| Maximum 2D surface dimensions. | |
| int | maxSurface3D [3] |
| Maximum 3D surface dimensions. | |
| int | maxSurface1DLayered [2] |
| Maximum 1D layered surface dimensions. | |
| int | maxSurface2DLayered [3] |
| Maximum 2D layered surface dimensions. | |
| int | maxSurfaceCubemap |
| Maximum Cubemap surface dimensions. | |
| int | maxSurfaceCubemapLayered [2] |
| Maximum Cubemap layered surface dimensions. | |
| size_t | surfaceAlignment |
| Alignment requirements for surfaces. | |
| int | concurrentKernels |
| Device can possibly execute multiple kernels concurrently. | |
| int | ECCEnabled |
| Device has ECC support enabled. | |
| int | pciBusID |
| PCI bus ID of the device. | |
| int | pciDeviceID |
| PCI device ID of the device. | |
| int | pciDomainID |
| PCI domain ID of the device. | |
| int | tccDriver |
| 1 if device is a Tesla device using TCC driver, 0 otherwise | |
| int | asyncEngineCount |
| Number of asynchronous engines. | |
| int | unifiedAddressing |
| Device shares a unified address space with the host. | |
| int | memoryClockRate |
| Peak memory clock frequency in kilohertz. | |
| int | memoryBusWidth |
| Global memory bus width in bits. | |
| int | l2CacheSize |
| Size of L2 cache in bytes. | |
| int | maxThreadsPerMultiProcessor |
| Maximum resident threads per multiprocessor. | |
| int | streamPrioritiesSupported |
| Device supports stream priorities. | |
| int | globalL1CacheSupported |
| Device supports caching globals in L1. | |
| int | localL1CacheSupported |
| Device supports caching locals in L1. | |
| size_t | sharedMemPerMultiprocessor |
| Shared memory available per multiprocessor in bytes. | |
| int | regsPerMultiprocessor |
| 32-bit registers available per multiprocessor | |
| int | managedMemory |
| Device supports allocating managed memory on this system. | |
| int | isMultiGpuBoard |
| Device is on a multi-GPU board. | |
| int | multiGpuBoardGroupID |
| Unique identifier for a group of devices on the same multi-GPU board. | |
| int cudaDeviceProp::asyncEngineCount |
Number of asynchronous engines.
| int cudaDeviceProp::canMapHostMemory |
Device can map host memory with cudaHostAlloc/cudaHostGetDevicePointer.
| int cudaDeviceProp::clockRate |
Clock frequency in kilohertz.
| int cudaDeviceProp::computeMode |
Compute mode (See ::cudaComputeMode).
| int cudaDeviceProp::concurrentKernels |
Device can possibly execute multiple kernels concurrently.
| int cudaDeviceProp::deviceOverlap |
Device can concurrently copy memory and execute a kernel.
Deprecated. Use instead asyncEngineCount.
| int cudaDeviceProp::ECCEnabled |
Device has ECC support enabled.
| int cudaDeviceProp::globalL1CacheSupported |
Device supports caching globals in L1.
| int cudaDeviceProp::integrated |
Device is integrated as opposed to discrete.
| int cudaDeviceProp::isMultiGpuBoard |
Device is on a multi-GPU board.
| int cudaDeviceProp::kernelExecTimeoutEnabled |
Specified whether there is a run time limit on kernels.
| int cudaDeviceProp::l2CacheSize |
Size of L2 cache in bytes.
| int cudaDeviceProp::localL1CacheSupported |
Device supports caching locals in L1.
| int cudaDeviceProp::major |
Major compute capability.
| int cudaDeviceProp::managedMemory |
Device supports allocating managed memory on this system.
| int cudaDeviceProp::maxGridSize[3] |
Maximum size of each dimension of a grid.
| int cudaDeviceProp::maxSurface1D |
Maximum 1D surface size.
| int cudaDeviceProp::maxSurface1DLayered[2] |
Maximum 1D layered surface dimensions.
| int cudaDeviceProp::maxSurface2D[2] |
Maximum 2D surface dimensions.
| int cudaDeviceProp::maxSurface2DLayered[3] |
Maximum 2D layered surface dimensions.
| int cudaDeviceProp::maxSurface3D[3] |
Maximum 3D surface dimensions.
| int cudaDeviceProp::maxSurfaceCubemap |
Maximum Cubemap surface dimensions.
| int cudaDeviceProp::maxSurfaceCubemapLayered[2] |
Maximum Cubemap layered surface dimensions.
| int cudaDeviceProp::maxTexture1D |
Maximum 1D texture size.
| int cudaDeviceProp::maxTexture1DLayered[2] |
Maximum 1D layered texture dimensions.
| int cudaDeviceProp::maxTexture1DLinear |
Maximum size for 1D textures bound to linear memory.
| int cudaDeviceProp::maxTexture1DMipmap |
Maximum 1D mipmapped texture size.
| int cudaDeviceProp::maxTexture2D[2] |
Maximum 2D texture dimensions.
| int cudaDeviceProp::maxTexture2DGather[2] |
Maximum 2D texture dimensions if texture gather operations have to be performed.
| int cudaDeviceProp::maxTexture2DLayered[3] |
Maximum 2D layered texture dimensions.
| int cudaDeviceProp::maxTexture2DLinear[3] |
Maximum dimensions (width, height, pitch) for 2D textures bound to pitched memory.
| int cudaDeviceProp::maxTexture2DMipmap[2] |
Maximum 2D mipmapped texture dimensions.
| int cudaDeviceProp::maxTexture3D[3] |
Maximum 3D texture dimensions.
| int cudaDeviceProp::maxTexture3DAlt[3] |
Maximum alternate 3D texture dimensions.
| int cudaDeviceProp::maxTextureCubemap |
Maximum Cubemap texture dimensions.
| int cudaDeviceProp::maxTextureCubemapLayered[2] |
Maximum Cubemap layered texture dimensions.
| int cudaDeviceProp::maxThreadsDim[3] |
Maximum size of each dimension of a block.
| int cudaDeviceProp::maxThreadsPerBlock |
Maximum number of threads per block.
| int cudaDeviceProp::maxThreadsPerMultiProcessor |
Maximum resident threads per multiprocessor.
| int cudaDeviceProp::memoryBusWidth |
Global memory bus width in bits.
| int cudaDeviceProp::memoryClockRate |
Peak memory clock frequency in kilohertz.
| size_t cudaDeviceProp::memPitch |
Maximum pitch in bytes allowed by memory copies.
| int cudaDeviceProp::minor |
Minor compute capability.
| int cudaDeviceProp::multiGpuBoardGroupID |
Unique identifier for a group of devices on the same multi-GPU board.
| int cudaDeviceProp::multiProcessorCount |
Number of multiprocessors on device.
| char cudaDeviceProp::name[256] |
ASCII string identifying device.
| int cudaDeviceProp::pciBusID |
PCI bus ID of the device.
| int cudaDeviceProp::pciDeviceID |
PCI device ID of the device.
| int cudaDeviceProp::pciDomainID |
PCI domain ID of the device.
| int cudaDeviceProp::regsPerBlock |
32-bit registers available per block
| int cudaDeviceProp::regsPerMultiprocessor |
32-bit registers available per multiprocessor
| size_t cudaDeviceProp::sharedMemPerBlock |
Shared memory available per block in bytes.
| size_t cudaDeviceProp::sharedMemPerMultiprocessor |
Shared memory available per multiprocessor in bytes.
| int cudaDeviceProp::streamPrioritiesSupported |
Device supports stream priorities.
| size_t cudaDeviceProp::surfaceAlignment |
Alignment requirements for surfaces.
| int cudaDeviceProp::tccDriver |
1 if device is a Tesla device using TCC driver, 0 otherwise
| size_t cudaDeviceProp::textureAlignment |
Alignment requirement for textures.
| size_t cudaDeviceProp::texturePitchAlignment |
Pitch alignment requirement for texture references bound to pitched memory.
| size_t cudaDeviceProp::totalConstMem |
Constant memory available on device in bytes.
| size_t cudaDeviceProp::totalGlobalMem |
Global memory available on device in bytes.
| int cudaDeviceProp::unifiedAddressing |
Device shares a unified address space with the host.
| int cudaDeviceProp::warpSize |
Warp size in threads.