Cheri-research/cheri-cap-lib
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity
151 Commits 3 Branches 0 Tags
e4e1ed4c69831e51a2fe3ec460460687abaaf29a
Commit Graph

151 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ivan Ribeiro
e4e1ed4c69 Add some documentation regarding FuseSoC 2023-10-02 18:14:36 +01:00
Ivan Ribeiro
ed0e4dfa65 Add capability size to name of modules and files 2023-10-02 17:46:29 +01:00
Ivan Ribeiro
a8898154d4 Add functions to CHERICapWrap.bsv 2023-10-02 17:46:29 +01:00
Ivan Ribeiro
06eff948d9 Fix bsv_src_root 
files_root is actually the directory where the fusesoc command was
executed, but what we want here is the location of the python file being
executed so we can find the bluespec sources
 2023-10-02 17:46:29 +01:00
Ivan Ribeiro
fd1f7c12a2 Add SystemVerilog wrappers to generator 2023-10-02 17:46:29 +01:00
Ivan Ribeiro
61e7b3e668 Add test core and targets 
To test, run:
fusesoc --cores-root . run --setup --target test ucam:cheri:cheri-cap-lib-test
 2023-10-02 17:46:29 +01:00
Ivan Ribeiro
fcadf1aead Add barebones fusesoc generator core 
This adds a fusesoc generator to create the verilog files from the
bluespec source.
 2023-10-02 17:46:29 +01:00
Ivan Ribeiro
a6664e512c Implement changes suggested by @gameboo + bugfix 
Uses argparse's "choices" argument, remove unused method and use abc and
for abstract methods.
Also updates the python filename in the Makefile
 2023-10-02 17:46:29 +01:00
Ivan Ribeiro
2d6864bbf3 New wrap script to support more languages (inc SV) 
At the moment, the original Blarney support is kept and support for a
SystemVerilog wrapper is added.
 2023-10-02 17:46:29 +01:00
Ivan Ribeiro
49de0f90f0 Reduce VA_Width to allow compilation 
This is almost certainly not the right fix but allows the code to
compile and the trim code is not used anywhere with CAP64
 2023-10-02 17:33:58 +01:00
Simon Moore
27e63bd9fd Remove HTML for adoc. 2023-08-30 18:38:32 +01:00
Jonathan Woodruff
cab12e0532 Add another couple missing exports. 2023-08-18 17:51:33 +00:00
Jonathan Woodruff
9dd923936f Add some missing exports. 2023-08-18 17:46:06 +00:00
Jonathan Woodruff
613af39b8f Add functions to compress/decompress the CapMem format where the tag is 
assumed to be set and the address is assumed to be a valid virtual
address.

This is being used for getting realistic area usage for the BTB.
 2023-08-18 17:33:25 +00:00
Peter Rugg
f11156ef9a Remove non-ascii characters 2023-01-25 16:27:06 +00:00
PeterRugg
7d9fdce16a Single cycle setBounds checking if the request is in bounds (#10) 2022-10-25 20:02:43 +01:00
Jonathan Woodruff
be80fbe51c Merge pull request #9 from CTSRD-CHERI/wip-aj443-bounds-info-api-refactor 
bounds info api refactor
 2022-10-25 10:43:07 +01:00
Alexandre Joannou
20daecce77 Update readme.adoc 2022-10-05 17:15:44 +01:00
Alexandre Joannou
6c71799edb Added a toc to CHERI_CAP_API 2022-09-30 17:30:04 +01:00
Alexandre Joannou
11a88def9f A bit more details in teh CHERI CAP API description 2022-09-30 16:22:24 +00:00
Alexandre Joannou
9c09922ab0 Rephrase 2022-09-30 15:48:24 +00:00
Alexandre Joannou
c72cda1a3c More detailed API adoc 2022-09-30 15:10:09 +00:00
Alexandre Joannou
e4826ac997 rephrase + typo 2022-09-30 12:33:49 +01:00
Alexandre Joannou
49e6e07a70 Update and rename readme.md to readme.adoc 2022-09-30 12:22:47 +01:00
Peter Rugg
149733072a Don't unseal caps in setBounds 
I'm not sure why this was here, as setBounds on a sealed cap would previously cause a trap anyway.
Maybe left over from when otype bits were shared with the bounds?
 2022-05-13 14:17:41 +01:00
gameboo
bc727f9731 Fold in discussions with Jon and Matt regarding split representable regions 2021-10-07 15:17:13 +01:00
gameboo
aa0a8fe224 Fold in some comments from jdw57 and pdr32 2021-09-28 12:42:17 +01:00
gameboo
6e20d177dc Fixup base/top/repBase/repTop implementation 2021-09-28 12:06:12 +01:00
gameboo
5bb91d9d99 Cosmetics for CapReg CHERICap instance 2021-09-28 01:30:19 +01:00
gameboo
e55c65556a Comment about orphan instance for CapMem 2021-09-28 01:29:29 +01:00
gameboo
321409df6a Cosmetics for CapMem CHERICap instance 2021-09-28 01:29:29 +01:00
gameboo
76d4dea31e Minor renames and cosmetic changes 2021-09-28 01:27:46 +01:00
gameboo
f8dd165505 Can't cleanly use export mechanism at the moment apparently... + typo in comments 2021-09-28 00:08:38 +01:00
gameboo
e110284da7 More refactor + first implementation for rep{Base,Top,Length} 2021-09-24 17:24:48 +01:00
gameboo
f1837b9fb6 Mock up of the getBoundsInfo API update 2021-09-23 19:23:28 +01:00
Jonathan Woodruff
806b687e8a Merge pull request #8 from CTSRD-CHERI/wip-aj443-getMeta 
Introduced a getMeta method as a counterpart to getAddr for getting all
 2021-09-16 09:31:59 +00:00
gameboo
1741ce43dd Introduced a getMeta method as a counterpart to getAddr for getting all 
bits of in-memory architectural capability representation
 2021-09-15 17:57:01 +01:00
Alexandre Joannou
8ab0d3888f Merge pull request #7 from mn416/mn416-blarney-update 
Blarney wrappers now compile with latest Blarney
 2021-06-29 00:06:41 +01:00
Matthew Naylor
bea5e463c6 Blarney wrappers now compile with latest Blarney 
Various minor changes to Blarney wrapper script:
  * Blarney.BV -> Blarney.Core.BV
  * Custom now needs input widths as well as output widths
  * Custom now takes additional argument (netlist generator -> Nothing)
  * makePrim1 now takes 2 params, not 3
 2021-06-28 15:00:02 +01:00
gameboo
350229febb CHERICapWrap.bsv: CapAddressW -> CapAddrW 2021-03-03 19:18:30 +00:00
Jonathan Woodruff
b80c1b3c59 Merge pull request #4 from arichardson/master 
Add a simple verilator simulator for module_wrap128_fromMem
 2021-02-02 14:48:57 +00:00
Jonathan Woodruff
67297e939c Merge pull request #6 from dpgao/patch-1 
Compute deltaAddrUpper correctly in setAddress
 2021-02-02 14:48:08 +00:00
Dapeng Gao
762f4a6a48 Compute deltaAddrUpper correctly in setAddress 
The new version is formally verified to comply with the Sail specification.
 2021-02-02 21:36:18 +08:00
jon
6e8df02532 Use Dapeng's algorithm (adapted from his verified verilog) for 
SetAddress.
 2021-02-01 18:42:01 +00:00
Alexandre Joannou
6f8e3fa503 Fix setAddress representability bug spotted by Dapeng Gao (with jdw57 and pdr32) 2021-01-28 18:06:52 +00:00
Alexandre Joannou
bd378bf834 turn newAddrBits in incOffsetFat into a Bit#(MW) as pointed out by 
Dapeng Gao + some comments
 2021-01-22 15:40:31 +00:00
Jonathan Woodruff
7c4191cfbb Merge pull request #5 from CTSRD-CHERI/wip-aj443-sanitize 
Sanitising CHERICC_Fat
 2021-01-21 16:23:17 +00:00
Alexandre Joannou
7c19694080 Unify indentation / simplify style throughout CHERICC_Fat 2021-01-21 14:54:37 +00:00
Alexandre Joannou
e3d4c7ad87 Simpify style in CapMem CHERICap instance 2021-01-21 12:59:28 +00:00
Alexandre Joannou
db72831f31 Simpify style in CapReg CHERICap instance 2021-01-21 12:48:50 +00:00