Abstract: A probabilistic Boolean control network (PBCN) is a binary discrete-time system that utilizes probability values. An important application of PBCN is in gene regulatory network (GRN), ...
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 ...