Commits · 9d0c75bbf5d280288c3487a7ce30c0af6e67bc10 · Kia / Hammer FPGA backend

Mar 15, 2021
- mv · 9d0c75bb
  Kia authored 4 years ago
  
  9d0c75bb
- pipe_stage formal properties · bee0c076
  Kia authored 4 years ago
  
  bee0c076
- reorganize everything · 57a92a61
  Kia authored 4 years ago
  
  57a92a61
Mar 14, 2021
- using abc-pdr makes the proof hold · 5e7f0a12
  Kia authored 4 years ago
  
  5e7f0a12
- rename · e8289583
  Kia authored 4 years ago
  
  e8289583
- still not getting this formal proof working :\ · c47c48f7
  Kia authored 4 years ago
  
  c47c48f7
- almost works · 3fbae984
  Kia authored 4 years ago
  
  3fbae984
- successfully proved! · 2004bd39
  Kia authored 4 years ago
  
  2004bd39
- attempted to verify equivalence, but apparently they are subtly · 0e119d22
  Kia authored 4 years ago
```
different
```
  0e119d22
- generic pipeline stage register, with registered and non-registered · f901ac14
  Kia authored 4 years ago
```
ready
```
  f901ac14
Mar 13, 2021
- working on reduce rule lookup thingie · 3dab4e93
  Kia authored 4 years ago
  
  3dab4e93
- add lang_params · c2c009e7
  Kia authored 4 years ago
  
  c2c009e7
- documented interfaces · 31374cfc
  Kia authored 4 years ago
  
  31374cfc
- arbitrary_width_memory.py · c3e23895
  Kia authored 4 years ago
  
  c3e23895
Mar 12, 2021
- start arbitrary width memory HDL · 7851b840
  Kia authored 4 years ago
  
  7851b840
- simulation for indices/edgecases seems to work · 5ddd4b18
  Kia authored 4 years ago
  
  5ddd4b18
Mar 10, 2021
- unoptimized_lr/skidbuffer.py · 2e6d559d
  Kia authored 4 years ago
  
  2e6d559d
- width_converter_simulator.py · b5031fe8
  Kia authored 4 years ago
  
  b5031fe8
- unoptimized_lr/simple_lr_automaton.py · a03532cc
  Kia authored 4 years ago
  
  a03532cc
- test_formal.sby · 2256b6f7
  Kia authored 4 years ago
  
  2256b6f7
Mar 08, 2021
- liveness testing proof of concept with Super_Prove · 0a0837b2
  Kia authored 4 years ago
  
  0a0837b2
Mar 07, 2021
- smtbmc formal · 9ea8f5ee
  Kia authored 4 years ago
  
  9ea8f5ee
- tons of work on gearbox and formal · 5885457c
  Kia authored 4 years ago
  
  5885457c
Mar 04, 2021
- notes for further work & testing · d2ce78d6
  Kia authored 4 years ago
  
  d2ce78d6
- reorder · 86637eb6
  Kia authored 4 years ago
  
  86637eb6
- first draft of flowcontroller · 72d19420
  Kia authored 4 years ago
  
  72d19420
- work on integrating internal buses · d6009f1c
  Kia authored 4 years ago
  
  d6009f1c
- split out the flow control component so we can check it independently · f64cfe27
  Kia authored 4 years ago
  
  f64cfe27
- more work on gearbox, start splitting off submodules so we can write test... · 84b18a74
  Kia authored 4 years ago
```
more work on gearbox, start splitting off submodules so we can write test suites to exercise all the edge cases
```
  84b18a74
Mar 03, 2021
- continue work on gear box · 11601c33
  Kia authored 4 years ago
  
  11601c33
Feb 03, 2021
- explain logic for flow-control · 10d29e65
  Kia authored 4 years ago
  
  10d29e65
Feb 02, 2021
- more work on parse tree · 719197a4
  Kia authored 4 years ago
  
  719197a4
- readout logic seems to work :) · d7f36528
  Kia authored 4 years ago
  
  d7f36528
- getting closer · f6456b0c
  Kia authored 4 years ago
  
  f6456b0c
Jan 31, 2021
- unoptimized_lr/simple_parse_tree.py · 0fcb9248
  Kia authored 4 years ago
  
  0fcb9248
Jan 30, 2021
- found the bug · e683c0e1
  Kia authored 4 years ago
  
  e683c0e1
- work on test vector · 486c9cc6
  Kia authored 4 years ago
  
  486c9cc6
- refactor · 7f6c297c
  Kia authored 4 years ago
  
  7f6c297c
- refactor · 59ba6f87
  Kia authored 4 years ago
  
  59ba6f87
- refactor · bf11655d
  Kia authored 4 years ago
  
  bf11655d