Logic and Fault Simulation on the Mach1000 Hardware Accelerator

摘要

This document describes an interface between Mentor Graphics brand workstations and the Mach1000 simulation accelerator from Silicon Solutions (Zycad) Corp. It discusses logic and fault simulation concepts, system administration, simulation models, hierarchical fault reporting, and hierarchical fault analysis. The tools that are presented perform simulations (MX), report fault simulation results hierarchically, and schedule jobs to share the Mach1000 (SSD). In addition, a method of hierarchical fault analysis is developed that allows the use to determine whether a fault is undetectable or at best possibly detectable (divergent). The tools that implement the hierarchical fault analysis method are also presented. Numerous example problems are worked throughout to clarify and demonstrate the concepts that are being discussed. (ERA citation 13:032029)