WIP: add a simulator #3

Draft

programmerjake wants to merge 36 commits from adding-simulator into master

pull from: adding-simulator

merge into: libre-chip:master

libre-chip:master

libre-chip:square-brackets-generics-experiment

libre-chip:runtime-generics

libre-chip:type-deduction

Conversation 1 Commits 36 Files changed 29 +15382 -117

programmerjake commented 2024-11-20 21:27:13 +00:00

Owner

Copy link

I figured i should probably make a PR...

I figured i should probably make a PR...

programmerjake added 12 commits 2024-11-20 21:27:13 +00:00

WIP adding simulator 56ff69ba52

WIP implementing simulator 32253bc3f4

add missing copyright headers 41ce9b3474

working on simulator 96b3f1fee4

working on simulator 5b2abd3fca

working on simulator... f780e31622

simulator WIP: use petgraph for topological sort over assignments d7d8e2e7ce

Simulation::settle_step() works for simple modules 2e9d5c1835

simple combinatorial simulation works! 414a2d74f1

WIP adding VCD output 6eef3c23b5

wire up simulator trace writing interface 904752fa0c

WIP adding VCD output 16ea6850c8

programmerjake force-pushed adding-simulator from 16ea6850c8 to e2653a3245 2024-11-21 06:37:04 +00:00 Compare

programmerjake force-pushed adding-simulator from e2653a3245 to 11ddbc43c7 2024-11-21 06:54:27 +00:00 Compare

programmerjake added 1 commit 2024-11-23 00:07:45 +00:00

WIP adding deduce_resets pass 913baa37e9

programmerjake added 1 commit 2024-11-24 11:44:55 +00:00

WIP working on implementing deduce_resets pass 59be3bd645

programmerjake added 1 commit 2024-11-24 22:39:57 +00:00

working on deduce_resets pass 698b8adc23

programmerjake added 1 commit 2024-11-24 22:42:54 +00:00

increase rust version to support omitting match arms with uninhabited types 52ab134673

programmerjake added 1 commit 2024-11-24 22:46:47 +00:00

increase rust version in CI too 9516fe03a1

programmerjake added 2 commits 2024-11-25 08:01:28 +00:00

update petgraph dependency to include UnionFind::new_set() fa50930ff8

working on deduce_resets 3e3da53bd2

programmerjake added 1 commit 2024-11-26 08:07:27 +00:00

working on deduce_resets.rs 7851bf545c

programmerjake added 2 commits 2024-11-27 04:48:41 +00:00

add ResetType to the list of recognized type bounds 89d84551f8

make ClockDomain and Reg generic over reset type 9b5f1218fd

programmerjake added 1 commit 2024-11-27 05:27:15 +00:00

working on deduce_resets 546010739a

programmerjake added 1 commit 2024-11-27 05:28:50 +00:00

Merge remote-tracking branch 'origin/master' into adding-simulator 9128a84284

programmerjake added 2 commits 2024-11-27 09:32:53 +00:00

add more expr casts 358cdd10c8

working on deduce_resets d744d85c66

programmerjake added 2 commits 2024-11-28 07:24:29 +00:00

make ToReset generic over the reset type d36cf92d7f

deduce_resets works! 6446b71afd

programmerjake added 1 commit 2024-11-28 07:52:29 +00:00

simulating circuits with deduced resets works 3abba7f9eb

programmerjake added 4 commits 2024-12-02 04:14:51 +00:00

deduce_resets: show more debugging info on assertion failure 965fe53077

add some ExprCastTo supertraits to ResetType to make generic code easier 12b3ba57f1

vcd: single bit signals have no spaces in their value changes 5e0548db26

sim: add support for registers fd45465d35

programmerjake added 1 commit 2024-12-02 04:26:40 +00:00

test doc tests in CI d3f52292a1

programmerjake commented 2024-12-02 04:36:05 +00:00

Author

Owner

Copy link

got simulating circuits with registers to work! only things left: enums and memories and a few kinds of expressions

got simulating circuits with registers to work! only things left: enums and memories and a few kinds of expressions

programmerjake added 1 commit 2024-12-03 05:06:43 +00:00

WIP adding enums to simulator 4422157db8

All checks were successful

Hide all checks

/ deps (push) Successful in 23s

Required

Details

/ test (push) Successful in 5m17s

Required

Details

/ deps (pull_request) Successful in 13s

Required

Details

/ test (pull_request) Successful in 5m19s

Required

Details

This pull request is marked as a work in progress.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin adding-simulator:adding-simulator

git checkout adding-simulator

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

Subscribe

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#3

No description provided.