Development and Verification Tools/Processes for ASICs and FPGAs

ABSTRACT: Analytic Design Laboratories (ADL) proposes methodology development and power tools for hardware Nuclear Safety Cross-Check Analysis (NSCCA). NSCCA of hardware needs methodology development because it is a new discipline. It needs new tools because existing tools supporting software NSCCA do not address all of the issues the hardware NSCCA needs to evaluate. BENEFIT: Given that hardware mechanisms have more things happening concurrently, ADL proposes to develop a methodology and tools based on CSP descriptions of the system undergoing NSCCA. Having CSP as a coherent mathematical model will lend formality and precision for both static analysis and dynamic simulation of the equipment analyzed by the NSCCA.