Artturin
71c938c912
flake.lock: Update
...
Flake lock file updates:
• Updated input 'nixpkgs':
'github:NixOS/nixpkgs/d6973081434f88088e5321f83ebafe9a1167c367?narHash=sha256-cuNapx/uQeCgeuhUhdck3JKbgpsml259sjUQnWM7zW8%3D' (2025-01-02)
→ 'github:NixOS/nixpkgs/2bfc080955153be0be56724be6fa5477b4eefabb?narHash=sha256-y7Hg5lwWhEOgflEHRfzSH96BOt26LaYfrYWzZ%2BVoVdg%3D' (2025-04-03)
2025-04-18 18:57:54 +03:00
Artturin
c02e7b0de6
flake: Install the same file that fpga-starter-project-uart installed
2025-04-18 18:57:54 +03:00
Artturin
7471c0188a
Make make fpga work
...
`ERROR: IO 'ftdi_txd_1' is unconstrained in LPF (override this error with --lpf-allow-unconstrained)`
2025-04-18 18:57:54 +03:00
Artturin
1622e3ab6b
Remove all trailing spaces
...
`git grep -I --name-only -z -e '' | xargs -0 sed -i 's/[ \t]\+\(\r\?\)$/\1/'`
Remember to setup your editor so that these are automatically removed :)
2025-04-18 18:57:53 +03:00
Artturin
0dd4b60b70
Add initial flake
2025-04-18 18:57:02 +03:00
Yehowshua Immanuel
d552934b95
Fixed grant bug
...
Just becasue we have a grant id doesn't mean that anything has actually
been granted...
2025-04-17 22:47:24 -04:00
Yehowshua Immanuel
a58c908763
refactored server functions as well
2025-04-16 22:47:50 -04:00
Yehowshua Immanuel
2fee6a3bd8
refactored client rules
2025-04-16 22:34:52 -04:00
Yehowshua Immanuel
1557cf9cc9
working towards re-factoring into functions
2025-04-16 22:10:49 -04:00
Yehowshua
7d470fbed0
Merge pull request 'implement_Bus_alt1' ( #16 ) from implement_Bus_alt1 into main
...
Reviewed-on: #16
2025-04-16 22:00:14 +00:00
Yehowshua Immanuel
ece1f86574
in theory bus is now complete
2025-04-16 17:58:29 -04:00
Yehowshua Immanuel
c28425f10c
first attempt at server rule, also implemented consumeRequest of the server part of the Bus interface
2025-04-16 16:55:45 -04:00
Yehowshua Immanuel
a58c836981
worked on client arbiter but need to consider if starving is possible when multiple client arbiters grant access to the same server
2025-04-15 18:21:42 -04:00
Yehowshua Immanuel
f3acae0c1c
potential scaffolding for new approach
2025-04-15 14:15:49 -04:00
Yehowshua Immanuel
180eeeefbe
we may not need dispatch by client
2025-04-15 13:50:50 -04:00
Yehowshua Immanuel
cd3d728083
some prep work to towards having a server accept a request
2025-04-14 14:33:13 -04:00
Yehowshua Immanuel
373d170c3f
notable progress WRT client requests invoking arbiter request
2025-04-13 22:40:59 -04:00
Yehowshua Immanuel
98f2f5cdfd
having trouble with type constraints around clientIdx
2025-04-11 20:35:26 -04:00
Yehowshua Immanuel
813f543b42
request server from client rule in client issue
2025-04-11 14:26:40 -04:00
Yehowshua Immanuel
628319709e
stopping point
2025-04-11 12:36:43 -04:00
Yehowshua Immanuel
45191a2abd
WIP : client request should handle unmapped case
2025-04-11 07:54:47 -04:00
Yehowshua Immanuel
cffbadd1cc
incomplete but need to come to stopping point
2025-04-10 21:42:15 -04:00
Yehowshua Immanuel
5efef8b19c
quieter builds, more type uniformity, full compiles
...
- made builds less verbose on Mac by removing `-cpp`
- made type constructors for most instances of `(UInt (TLog n))`
- addressed cases where types built upon `(UInt (TLog n))` may have
a max value of `n`, which necessitates changing the type to
` (UInt (TLog (TAdd 1 n)))`
- compiler wouldn't fully evaluate types unless mkBus was
instantiated
2025-04-10 20:46:53 -04:00
Yehowshua Immanuel
548a2f26bd
don't commit bkp files
2025-04-10 11:01:41 -04:00
Yehowshua Immanuel
71fbb7d2e5
add bus diagram and further work on Bus
2025-04-10 10:59:52 -04:00
Yehowshua Immanuel
c9356eecfd
client methods presumably finished
2025-04-10 01:27:33 -04:00
Yehowshua Immanuel
979adf3660
preliminary work on client methods and some type repair
2025-04-10 00:36:29 -04:00
Yehowshua Immanuel
ca02c88be3
stubbed out mkBus for now - awaits full implementation
2025-04-09 22:31:26 -04:00
Yehowshua Immanuel
076d3aed43
shoudl probably rethink approach...
2025-04-09 20:58:13 -04:00
Yehowshua Immanuel
b4c7537a85
things still typecheck
2025-04-09 01:08:42 -04:00
Yehowshua Immanuel
989c4e9616
Bus types typecheck!!!
2025-04-08 23:36:54 -04:00
Yehowshua Immanuel
fe2fa21fcc
skeletons of Bus module slowly forming
2025-04-08 23:04:30 -04:00
Yehowshua
b326ac894e
Add LICENSE
2025-04-08 23:36:08 +00:00
Yehowshua Immanuel
da761f6e4e
Type system progress on bus design
2025-04-08 13:05:34 -04:00
Yehowshua
2d5cf48c54
Merge pull request 'Tag Engine Now Finished it seems' ( #10 ) from tag_engine_version_3 into main
...
Reviewed-on: #10
2025-04-08 01:32:39 +00:00
Yehowshua Immanuel
e415d981f9
add some comments
2025-04-04 15:31:46 -04:00
Yehowshua Immanuel
020bc5b646
notable refactor with grok
2025-04-04 15:27:25 -04:00
Yehowshua Immanuel
ca59e6eaec
handled tag engine edge case
2025-04-04 15:09:56 -04:00
Yehowshua Immanuel
271148e538
better names in TagEngine
2025-04-03 09:15:53 -04:00
Yehowshua Immanuel
d1e3358197
now using wire instead of FIFO
2025-04-02 03:03:39 -04:00
Yehowshua Immanuel
e055b1bbdf
reduced latency
2025-04-02 02:59:49 -04:00
Yehowshua Immanuel
d436209f54
seemingly reasonable stopping point
2025-04-02 02:09:41 -04:00
Yehowshua Immanuel
6247ae3b70
clean unused experiments
2025-03-25 08:48:43 -04:00
Yehowshua Immanuel
e89254ebef
eliminate warnings
2025-03-25 08:03:04 -04:00
Yehowshua Immanuel
ed8e0b8337
tag engine now allows from simultaneous retire and request - but had to use unsafe
2025-03-25 01:15:49 -04:00
Yehowshua Immanuel
5588fafebd
refactor into standalone TagEngineTester
2025-03-24 23:23:39 -04:00
Yehowshua Immanuel
6e3b3e9178
Preliminary cleaning before repairing TagEngine
...
* clean up state machine in Top
* `requestTag` method now emits Maybe type
* put more thought into comments around asynchronous bus
2025-03-24 22:46:42 -04:00
Yehowshua Immanuel
7c32974f7b
update readme
2025-03-24 08:24:06 -04:00
Yehowshua Immanuel
76e542ff36
tested and seems to be working
2025-03-23 18:45:32 -04:00
Yehowshua Immanuel
35fc49382d
reverting as it seems we really cant condition rules on arguments safely
2025-03-23 18:30:56 -04:00
Yehowshua