Verification: a physics-based procedure with applications to CTF and BISON.
Conference
·
OSTI ID:1767894
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1767894
- Report Number(s):
- SAND2020-2368C; 684235
- Resource Relation:
- Conference: Proposed for presentation at the CASL Symposium held April 7-9, 2020 in Oak Ridge, TN.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Verification: a physics-based procedure with applications to CTF and BISON.
Extending the constrained random simulation methodology into physical device verification for Processor-based ASICs.
Implicit-Explicit (IMEX) Time Integration for Multi-Physics: Application to ALE-based CFD Simulations.
Conference
·
Sun Nov 01 00:00:00 EDT 2020
·
OSTI ID:1767894
+1 more
Extending the constrained random simulation methodology into physical device verification for Processor-based ASICs.
Conference
·
Tue Mar 01 00:00:00 EST 2016
·
OSTI ID:1767894
Implicit-Explicit (IMEX) Time Integration for Multi-Physics: Application to ALE-based CFD Simulations.
Conference
·
Thu Jun 01 00:00:00 EDT 2017
·
OSTI ID:1767894
+6 more