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 ...
Abstract: Accurately describing complex flow characteristics of the whole discharge process in check valves is desirable for the structure design of multiphase pumps. A physics-informed temporal graph ...