projects
/
soc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Check cover and bmc in separate sub-tests
2022-08-16
Jacob Lifshay
change goldschmidt_div_sqrt to use nmutil.plain_data...
commit
|
commitdiff
|
tree
2022-04-29
Jacob Lifshay
fix waay-too-precise error requirements
commit
|
commitdiff
|
tree
2022-04-29
Jacob Lifshay
add comment
commit
|
commitdiff
|
tree
2022-04-29
Jacob Lifshay
fix so HDL works for 5, 8, 16, 32, and 64-bits.
commit
|
commitdiff
|
tree
2022-04-29
Jacob Lifshay
HDL works for io_width=5
commit
|
commitdiff
|
tree
2022-04-28
Jacob Lifshay
add docs for clz
commit
|
commitdiff
|
tree
2022-04-28
Jacob Lifshay
add WIP HDL version of goldschmidt division -- it's...
commit
|
commitdiff
|
tree
2022-04-28
Jacob Lifshay
move GoldschmidtDivState
commit
|
commitdiff
|
tree
2022-04-28
Jacob Lifshay
add FIXME comments
commit
|
commitdiff
|
tree
2022-04-28
Jacob Lifshay
add the goldschmidt sqrt/rsqrt algorithm, still need...
commit
|
commitdiff
|
tree
2022-04-27
Jacob Lifshay
switch cached-property dependency to using libre-soc...
commit
|
commitdiff
|
tree
2022-04-27
Jacob Lifshay
improved goldschmidt division algorithm parameter optimizati...
commit
|
commitdiff
|
tree
2022-04-27
Jacob Lifshay
split out non-derived params into separate class without...
commit
|
commitdiff
|
tree
2022-04-27
Jacob Lifshay
split out n_hat as separate property
commit
|
commitdiff
|
tree
2022-04-27
Jacob Lifshay
add default_cost_fn
commit
|
commitdiff
|
tree
2022-04-27
Jacob Lifshay
move GoldschmidtDivParams.get to bottom of class
commit
|
commitdiff
|
tree
2022-04-27
Jacob Lifshay
rename _goldschmidt_div_ops to GoldschmidtDivState...
commit
|
commitdiff
|
tree
2022-04-26
Jacob Lifshay
goldschmidt division works! still needs better parameter...
commit
|
commitdiff
|
tree
2022-04-26
Jacob Lifshay
fix goofed __init__.py file name
commit
|
commitdiff
|
tree
2022-04-25
Jacob Lifshay
working on goldschmidt_div_sqrt.py
commit
|
commitdiff
|
tree
2022-04-25
Jacob Lifshay
add cached_property dependency
commit
|
commitdiff
|
tree
2022-04-23
Jacob Lifshay
working on goldschmidt division algorithm
commit
|
commitdiff
|
tree
2022-04-22
Jacob Lifshay
add WIP goldschmidt division algorithm
commit
|
commitdiff
|
tree
2022-02-24
Jacob Lifshay
add running instructions
commit
|
commitdiff
|
tree
2022-02-24
Jacob Lifshay
add formal proof for shift/rot o.ok
commit
|
commitdiff
|
tree
2022-02-24
Jacob Lifshay
clean up code
commit
|
commitdiff
|
tree
2022-02-24
Jacob Lifshay
add formal proof for OP_RLCR
commit
|
commitdiff
|
tree
2022-02-24
Jacob Lifshay
add formal proof for OP_RLCL
commit
|
commitdiff
|
tree
2022-02-24
Jacob Lifshay
add formal proof for OP_RLC
commit
|
commitdiff
|
tree
2022-02-22
Jacob Lifshay
speed up shift/rot formal proof by running stuff in...
commit
|
commitdiff
|
tree
2022-02-18
Jacob Lifshay
add grev
commit
|
commitdiff
|
tree
2021-12-10
Jacob Lifshay
add ternlogi to shift_rot formal test
commit
|
commitdiff
|
tree
2021-12-10
Jacob Lifshay
fix shift_rot formal proof
commit
|
commitdiff
|
tree
2021-12-10
Jacob Lifshay
add formal_test_temp to .gitignore
commit
|
commitdiff
|
tree
2021-12-09
Jacob Lifshay
add bitmanip tests
commit
|
commitdiff
|
tree
2021-12-09
Jacob Lifshay
add CommonPipeSpec.__getattr__ to forward attributes...
commit
|
commitdiff
|
tree
2021-12-09
Jacob Lifshay
add parent_pspec everywhere
commit
|
commitdiff
|
tree
2021-12-09
Jacob Lifshay
make argv handling more flexible
commit
|
commitdiff
|
tree
2021-12-09
Jacob Lifshay
format code
commit
|
commitdiff
|
tree
2021-12-08
Jacob Lifshay
add comment about draft instructions
commit
|
commitdiff
|
tree
2021-12-08
Jacob Lifshay
account for Mock absurdities
commit
|
commitdiff
|
tree
2021-12-07
Jacob Lifshay
make bitmanip operations conditional on pspec.draft_bitmanip
commit
|
commitdiff
|
tree
2021-12-07
Jacob Lifshay
format code
commit
|
commitdiff
|
tree
2021-12-07
Jacob Lifshay
move rotator mode assignments as requested by lkcl
commit
|
commitdiff
|
tree
2021-12-07
Jacob Lifshay
format code
commit
|
commitdiff
|
tree
2021-12-02
Jacob Lifshay
remove bitmanip fu cuz ternlogi (the only instruction...
commit
|
commitdiff
|
tree
2021-12-02
Jacob Lifshay
add ternlogi to shiftrot
commit
|
commitdiff
|
tree
2021-12-02
Jacob Lifshay
format code
commit
|
commitdiff
|
tree
2021-11-17
Jacob Lifshay
start adding bitmanip FU
commit
|
commitdiff
|
tree
2021-09-22
Jacob Lifshay
fix mul fu test helper.py not passing immediate to...
commit
|
commitdiff
|
tree
2021-08-31
Jacob Lifshay
fix test_all_values_covered, missed import when moving...
commit
|
commitdiff
|
tree
2021-03-18
Jacob Lifshay
re-add nmigen-type-annotations with libre-soc url
commit
|
commitdiff
|
tree
2021-03-12
Jacob Lifshay
update submodule
commit
|
commitdiff
|
tree
2021-03-12
Jacob Lifshay
add setvl to decoder
commit
|
commitdiff
|
tree
2021-03-12
Jacob Lifshay
autoformat code
commit
|
commitdiff
|
tree
2021-03-12
Jacob Lifshay
add forgotten PO (primary opcode) field to DecodeFields
commit
|
commitdiff
|
tree
2020-10-09
Jacob Lifshay
update submodule
commit
|
commitdiff
|
tree
2020-10-09
Jacob Lifshay
update submodule
commit
|
commitdiff
|
tree
2020-10-09
Jacob Lifshay
finish converting mul tests to use common code
commit
|
commitdiff
|
tree
2020-10-09
Jacob Lifshay
working on splitting out common mul pipe test code
commit
|
commitdiff
|
tree
2020-10-09
Jacob Lifshay
add carry handling to pia_res_to_output
commit
|
commitdiff
|
tree
2020-10-09
Jacob Lifshay
move pia_res_to_output to common test helpers
commit
|
commitdiff
|
tree
2020-10-09
Jacob Lifshay
move mul pipe ilang test to separate file
commit
|
commitdiff
|
tree
2020-10-09
Jacob Lifshay
add undef()
commit
|
commitdiff
|
tree
2020-10-09
Jacob Lifshay
update submodule
commit
|
commitdiff
|
tree
2020-10-08
Jacob Lifshay
update submodule
commit
|
commitdiff
|
tree
2020-10-07
Jacob Lifshay
fix div tests
commit
|
commitdiff
|
tree
2020-10-07
Jacob Lifshay
update submodule
commit
|
commitdiff
|
tree
2020-10-07
Jacob Lifshay
Fix forgotten test_pipe_caller changes from e0b4334c7d83dda4...
commit
|
commitdiff
|
tree
2020-10-06
Jacob Lifshay
add divde regression test
commit
|
commitdiff
|
tree
2020-10-06
Jacob Lifshay
update submodule
commit
|
commitdiff
|
tree
2020-10-06
Jacob Lifshay
add moduw regression test
commit
|
commitdiff
|
tree
2020-10-06
Jacob Lifshay
update submodule
commit
|
commitdiff
|
tree
2020-10-06
Jacob Lifshay
add workaround for nmigen bug #502
commit
|
commitdiff
|
tree
2020-10-06
Jacob Lifshay
update submodule
commit
|
commitdiff
|
tree
2020-10-06
Jacob Lifshay
add modsw regression
commit
|
commitdiff
|
tree
2020-10-06
Jacob Lifshay
add test case for divweu regression
commit
|
commitdiff
|
tree
2020-10-06
Jacob Lifshay
update submodule
commit
|
commitdiff
|
tree
2020-10-06
Jacob Lifshay
print regs in hex
commit
|
commitdiff
|
tree
2020-10-05
Jacob Lifshay
`deepcopy` from cache instead of recreating parsers...
commit
|
commitdiff
|
tree
2020-10-05
Jacob Lifshay
format code
commit
|
commitdiff
|
tree
2020-10-05
Jacob Lifshay
simplify create_args
commit
|
commitdiff
|
tree
2020-10-05
Jacob Lifshay
Sort returned variables to make sure `overflow` is...
commit
|
commitdiff
|
tree
2020-10-05
Jacob Lifshay
format caller.py
commit
|
commitdiff
|
tree
2020-10-04
Jacob Lifshay
change div FSM pipeline unit to not have a combinatorial...
commit
|
commitdiff
|
tree
2020-10-03
Jacob Lifshay
add regression testcase
commit
|
commitdiff
|
tree
2020-10-03
Jacob Lifshay
update submodule
commit
|
commitdiff
|
tree
2020-09-22
Jacob Lifshay
update submodule url
commit
|
commitdiff
|
tree
2020-09-22
Jacob Lifshay
Revert "disable pia in div tests"
commit
|
commitdiff
|
tree
2020-09-17
Jacob Lifshay
add divwe regression test case
commit
|
commitdiff
|
tree
2020-09-17
Jacob Lifshay
re-enable test case -- no longer goes into an infinite...
commit
|
commitdiff
|
tree
2020-09-17
Jacob Lifshay
fix bug #492
commit
|
commitdiff
|
tree
2020-09-17
Jacob Lifshay
replace sim._state.timeline.now with sim._engine.now
commit
|
commitdiff
|
tree
2020-09-04
Jacob Lifshay
update to match refactored power-instruction-analyzer API
commit
|
commitdiff
|
tree
2020-08-25
Jacob Lifshay
fix broken remainder for div FSM
commit
|
commitdiff
|
tree
2020-08-25
Jacob Lifshay
clean up formatting
commit
|
commitdiff
|
tree
2020-08-14
Jacob Lifshay
running the simulator works!
commit
|
commitdiff
|
tree
2020-08-13
Jacob Lifshay
add --cpu=libresoc to Makefile
commit
|
commitdiff
|
tree
2020-08-12
Jacob Lifshay
add run_sim to Makefile
commit
|
commitdiff
|
tree
2020-08-05
Jacob Lifshay
Fixed div pipe with FSM
commit
|
commitdiff
|
tree
next