-
VGF: Value-Guided Fuzzing -- Fuzzing Hardware as Hardware
Authors:
Ruochen Dai,
Michael Lee,
Patrick Hoey,
Weimin Fu,
Tuba Yavuz,
Xiaolong Guo,
Shuo Wang,
Dean Sullivan,
Orlando Arias
Abstract:
As the complexity of logic designs increase, new avenues for testing digital hardware becomes necessary. Fuzz Testing (fuzzing) has recently received attention as a potential candidate for input vector generation on hardware designs. Using this technique, a fuzzer is used to generate an input to a logic design. Using a simulation engine, the logic design is given the generated stimulus and some me…
▽ More
As the complexity of logic designs increase, new avenues for testing digital hardware becomes necessary. Fuzz Testing (fuzzing) has recently received attention as a potential candidate for input vector generation on hardware designs. Using this technique, a fuzzer is used to generate an input to a logic design. Using a simulation engine, the logic design is given the generated stimulus and some metric of feedback is given to the fuzzer to aid in the input mutation. However, much like software fuzzing, hardware fuzzing uses code coverage as a metric to find new possible fuzzing paths. Unfortunately, as we show in this work, this coverage metric falls short of generic on some hardware designs where designers have taken a more direct approach at expressing a particular microarchitecture, or implementation, of the desired hardware.
With this work, we introduce a new coverage metric which employs not code coverage, but state coverage internal to a design. By observing changes in signals within the logic circuit under testing, we are able to explore the state space of the design and provide feedback to a fuzzer engine for input generation. Our approach, Value-Guided Fuzzing (VGF), provides a generic metric of coverage which can be applied to any design regardless of its implementation. In this paper, we introduce our state-based VGF metric as well as a sample implementation which can be used with any VPI, DPI, VHPI, or FLI compliant simulator, making it completely HDL agnostic. We demonstrate the generality of VGF and show how our sample implementation is capable of finding bugs considerably faster than previous approaches.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
A multiconfigurational pair-density functional theory approach to molecular junctions
Authors:
Andrew M. Sand,
Justin T. Malme,
Erik P. Hoy
Abstract:
Due to their small size and unique properties, single-molecule electronics have long seen research interest from experimentalists and theoreticians alike. From a theoretical standpoint, modeling these systems using electronic structure theory can be difficult due to the importance of electron correlation in the determination of molecular properties, and this electron correlation can be computation…
▽ More
Due to their small size and unique properties, single-molecule electronics have long seen research interest from experimentalists and theoreticians alike. From a theoretical standpoint, modeling these systems using electronic structure theory can be difficult due to the importance of electron correlation in the determination of molecular properties, and this electron correlation can be computationally expensive to consider, particularly multiconfigurational correlation energy. In this work, we develop a new approach for the study of single-molecule electronic systems, denoted NEGF-MCPDFT, which combines multiconfiguration pair-density functional theory (MC-PDFT) with the non-equilibrium Green's function formalism (NEGF). The use of MC-PDFT with NEGF allows for the efficient inclusion of both static and dynamic electron correlation in the description of the junction's electronic structure. CASSCF wave functions are used as references in the MC-PDFT calculation, and like with any active space method, effort must be made to determine the proper orbital character to include in the active space. We perform conductance and transmission calculations on a series of alkanes (predominantly single-configurational character) and benzyne (multiconfigurational character), exploring the role that active space selection has on the computed results. For the alkane junctions explored (where dynamic electron correlation dominates), the MCPDFT-NEGF results agree well with DFT-NEGF results. For the benzyne junction (which has significant static correlation), we see clear differences in the MCPDFT-NEGF and DFT-NEGF results, and evidence that NEGF-MCPDFT is capturing additional electron correlation effects beyond those provided by the PBE functional.
△ Less
Submitted 15 April, 2021;
originally announced April 2021.
-
On the rotational energy distributions of reactive, non-polar species in the interstellar medium
Authors:
Robert J. Glinski,
Erik P. Hoy,
Clark R. Downum
Abstract:
A basic model for the formation of non-equilibrium rotational energy distributions is described for reactive, homo-polar diatomic molecules and ions in the interstellar medium. Kinetic models were constructed to calculate the rotational populations of C2+ under the conditions it would experience in the diffuse interstellar medium. As the non-polar ion reacts with molecular hydrogen, but not atomic…
▽ More
A basic model for the formation of non-equilibrium rotational energy distributions is described for reactive, homo-polar diatomic molecules and ions in the interstellar medium. Kinetic models were constructed to calculate the rotational populations of C2+ under the conditions it would experience in the diffuse interstellar medium. As the non-polar ion reacts with molecular hydrogen, but not atomic hydrogen, the thermalization of a hot nascent rotational population will be arrested by chemical reaction when the H2 density begins to be significant. Populations that deviate strongly from the local thermodynamic equilibrium are predicted for C2+ in environments where it may be detectable. Consequences of this are discussed and a new optical spectrum is calculated.
△ Less
Submitted 3 February, 2013;
originally announced February 2013.