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 ...
On first launch, you'll see a welcome screen where you can choose how intense you want your experience to be. Don't worry - you can always change settings later!