I found the following example of using dyn_floatdcpath. But I couldn't figure out how to set it in ADE
* Dynamic check.
simulator lang=spectre
global 0
parameters vdc=1
include "./mos_bsim4.scs"
opt1 options check_format=text
Vdd1 (vdd 0) vsource type=dc dc=vdc
MP1 (net1 float1 vdd vdd) pch w=4u l=45n
ic float1=0
save float1
Vin (vin 0) vsource type=pulse delay=1n val0=0 val1=0.7 period=10n width=4n rise=1n fall=1n
MN1 (net1 vin 0 0) nch w=2u l=45n
MP3 (net1 0 mp3_s mp3_b) pch w=4u l=45n
R3 (mp3_b 0) resistor r=100
R4 (mp3_s 0) resistor r=0.1
save MP1:d MP1:s MN1:d MN1:s net1 vin R3:1 R4:1 MP3:d MP3:s MP3:b
mychk dyn_floatdcpath net=[vdd 0] leaki_times=[4n] ith=1u detailed_report=2 detailed_path=yes
tran tran stop=10n errpreset=conservative method=gear2only infotimes=[4n] infoname=info1
info1 info what=oppoint where=file file="oppoint.txt"
opt options dcpath_bulk_current=yes