DAVE is a shortend form of the tool named "(Big) Digital (little) analog Verification Environment".
mchecker 0.7.5: a. no p-value evalation b. support the model suggestion feature based on input sensitivity analysis
0.8: a. LHS if OA is not available b. Custom wire support in "Wire" section c. a working GUI is available.
0.8.1 a. By default, waveforms are dumped for debugging purpose and deleted. b. Checking wire consistency between wires in instances and ones in wire declaration section. c. add default wire to electrical level conversion field (default_ams_connrules) in sim.cfg & gui