Jacob Lifshay d4d9706798 reimplement fayalite::formal and add support to the simulator ... Add support to the simulator for running hdl asserts/assumes and being able to write to the formal global clock/reset and all any/all_const/seq that are used. This allows you to use the exact same HDL code for running a simulation and for running a formal proof.		2026-06-05 00:56:24 -07:00
..
expected	reimplement fayalite::formal and add support to the simulator	2026-06-05 00:56:24 -07:00