This publication concerns approaches for establishing the overall instrumentation and control (I&C) architecture of a nuclear power plant. It describes the characteristics and content of general I&C ...

Abstract: This paper proposes an automatic framework for controlled data flow graph (CDFG) generation from verilog designs, where the generated CDFGs can be applied to visualization, formal ...