Implementation of a Loosely-Coupled Lockstep Approach in the Xilinx Zynq-7000 All Programmable SoC? for High Consequence Applications Kral, Ryan D.; Chong, Johanna S.; Schreiber, Anita L. Abstract not provided. More Details TYPE Conference Poster YEAR 2017 OSTIOSTI
Extending the constrained random simulation methodology into physical device verification for Processor-based ASICs Schreiber, Anita L. Abstract not provided. More Details TYPE Conference Poster YEAR 2016 OSTIOSTI
Extending the Constrained Random Simulation Methodology into Physical Device Verification of an Embedded Processor ASIC Schreiber, Anita L. Abstract not provided. More Details TYPE Conference Poster YEAR 2016 OSTI