Leveraging SystemVerilog Coverage on Boolean Nodes.
Conference
·
OSTI ID:1806716
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1806716
- Report Number(s):
- SAND2018-7741D; 666032
- Country of Publication:
- United States
- Language:
- English
Similar Records
Sublogarithmic monotonicity testers for boolean functions.
SparTen: Leveraging Kokkos for On-node Parallelism in a Second-Order Method for Fitting Canonical Polyadic Tensor Models to Poisson Data.
PFLOTRAN Code Coverage.
Conference
·
Mon Oct 01 00:00:00 EDT 2012
·
OSTI ID:1658196
SparTen: Leveraging Kokkos for On-node Parallelism in a Second-Order Method for Fitting Canonical Polyadic Tensor Models to Poisson Data.
Conference
·
Mon Jun 01 00:00:00 EDT 2020
·
OSTI ID:1798425
PFLOTRAN Code Coverage.
Conference
·
Sun Oct 01 00:00:00 EDT 2017
·
OSTI ID:1481240