General flags are all prefixed with -f. Unless otherwise noted, all options are negatable with a -f no- counterpart.
Actually run the simulator's interpreter. Enabled by default. ‘-f no-run’ is explicitly needed when all that is desired are diagnostic dumps.
Diagnostic. Print result of expression allocation prior to execution of the simulator.
Run some internal structural consistency checks on nodes and expressions prior to simulation. Enabled by default.
Diagnostic. Print a dot format representation of the whole-program production rule graph. Recommend using with -f no-run.
By default, iskeeper=1 rules are omitted entire from simulation because undriven nodes are assumed to be state-holding, and do not change value. With this option turned on, rules marked iskeeper are enabled, but interpreted as having attributes weak=1 and after=0, i.e. weak and delay-less.
Normally, the simulator completely disregards all precharge expressions in the production rules, as they should not affect the logical behavior. With this option turned on, the simulator also considers the precharge expressions in relation to their position in the stacks of internal nodes, and checks that
This is accomplished by analyzing the netlist for each process, by invoking hacknet as a sub-program.
- there is no short between power and ground (interference)
- there is no accidental switching of an output node through any sneak paths.
Normally, the simulator models prodution rules as always being connected to power supplies that are always on. However, to model the effect of selectively turning on power supplies, this option automatically adds the respective power domain supply signals into the production rule expressions. Pull-up terms are AND-ed with the corresponding Vdd supply, and pull-down terms are AND-ed with ~GND. Rules in domains that have their supply turned off will be cut-off and not fire. Default: both disabled