Structure-preserving modeling of safety-critical combinational circuits

Abstract

In this work, a representative combinational circuit is abstracted from transistor level to gate level and a structure preserving transition is carried out into a signal flow graph.