Implement register output value editing through netlist

[mortbopet]

Between clock events, the state of the circuit should be modified, as in, register output values.

This task consists of:

• Reflecting netlist changes in underlying circuit
• Creating input verifiers for constraining edits to port widths