libre-chip/fayalite
3
0
Fork 3
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

reimplement fayalite::formal and add support to the simulator #77

Merged
programmerjake merged 3 commits from programmerjake/fayalite:simulate-formal-inputs into master 2026-06-05 08:08:47 +00:00
Conversation 0 Commits 3 Files changed 75 +4064 -679
programmerjake commented 2026-06-05 07:48:57 +00:00
Owner
Copy link

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.

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.
programmerjake added 3 commits 2026-06-05 07:48:57 +00:00 
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.
switch ready_valid::queue formal proofs to use formal_global_clock
Some checks failed
/ test (pull_request) Failing after 3m9s
Details
e7ee1e862e
programmerjake force-pushed simulate-formal-inputs from e7ee1e862e to ffca1a279d 2026-06-05 07:57:22 +00:00 Compare
programmerjake merged commit ffca1a279d into master 2026-06-05 08:08:47 +00:00
programmerjake deleted branch simulate-formal-inputs 2026-06-05 08:08:47 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: libre-chip/fayalite#77
No description provided.
Delete branch "programmerjake/fayalite:simulate-formal-inputs"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?