libreriscv.git
9 months agobug 676: noted a way to reduce the number of instructions
Luke Kenneth Casson Leighton [Tue, 13 Feb 2024 12:09:46 +0000 (12:09 +0000)]
bug 676: noted a way to reduce the number of instructions

9 months agobug 1244: add assembler and python maxloc listing to slides
Luke Kenneth Casson Leighton [Mon, 12 Feb 2024 17:51:50 +0000 (17:51 +0000)]
bug 1244: add assembler and python maxloc listing to slides

9 months agobug 1244: add maxloc.s and maxloc.py
Luke Kenneth Casson Leighton [Mon, 12 Feb 2024 17:46:55 +0000 (17:46 +0000)]
bug 1244: add maxloc.s and maxloc.py

9 months agobug 1244: maxloc talk, update intro and summary slide
Luke Kenneth Casson Leighton [Mon, 12 Feb 2024 17:44:45 +0000 (17:44 +0000)]
bug 1244: maxloc talk, update intro and summary slide

9 months agoupdate fosdem 2024 ddffirst strncpy section on slides
Luke Kenneth Casson Leighton [Mon, 12 Feb 2024 16:50:47 +0000 (16:50 +0000)]
update fosdem 2024 ddffirst strncpy section on slides

9 months agobug 676: complete description of maxloc algorithm
Luke Kenneth Casson Leighton [Mon, 12 Feb 2024 10:29:25 +0000 (10:29 +0000)]
bug 676: complete description of maxloc algorithm

9 months agoadd strncpy TODO background
Luke Kenneth Casson Leighton [Sun, 11 Feb 2024 15:26:07 +0000 (15:26 +0000)]
add strncpy TODO background

9 months agominor priority/wording change on ls006.fpintmv
Luke Kenneth Casson Leighton [Sat, 10 Feb 2024 19:46:33 +0000 (19:46 +0000)]
minor priority/wording change on ls006.fpintmv

9 months agoupdate date and status of ls006.fpintmv
Luke Kenneth Casson Leighton [Sat, 10 Feb 2024 19:43:36 +0000 (19:43 +0000)]
update date and status of ls006.fpintmv

9 months agobug 1015:deferring the TODO, it can wait. spelling. whitespace
Luke Kenneth Casson Leighton [Fri, 9 Feb 2024 11:37:38 +0000 (11:37 +0000)]
bug 1015:deferring the TODO, it can wait. spelling. whitespace

9 months agonote update date on RFC ls004 (v2)
Luke Kenneth Casson Leighton [Wed, 7 Feb 2024 20:16:08 +0000 (20:16 +0000)]
note update date on RFC ls004 (v2)

9 months agobug 1055: add fixed/fp load/store shifted to ls004
Luke Kenneth Casson Leighton [Wed, 7 Feb 2024 13:24:21 +0000 (13:24 +0000)]
bug 1055: add fixed/fp load/store shifted to ls004

9 months ago(no commit message)
lkcl [Tue, 6 Feb 2024 17:44:43 +0000 (17:44 +0000)]

9 months ago(no commit message)
lkcl [Tue, 6 Feb 2024 17:37:02 +0000 (17:37 +0000)]

9 months ago(no commit message)
lkcl [Tue, 6 Feb 2024 17:31:46 +0000 (17:31 +0000)]

9 months ago(no commit message)
lkcl [Tue, 6 Feb 2024 17:27:25 +0000 (17:27 +0000)]

9 months ago(no commit message)
lkcl [Tue, 6 Feb 2024 17:24:17 +0000 (17:24 +0000)]

9 months ago(no commit message)
lkcl [Tue, 6 Feb 2024 17:17:58 +0000 (17:17 +0000)]

9 months ago(no commit message)
lkcl [Tue, 6 Feb 2024 17:12:12 +0000 (17:12 +0000)]

9 months ago(no commit message)
lkcl [Tue, 6 Feb 2024 17:08:09 +0000 (17:08 +0000)]

9 months agobug 676 more on maxloc
Luke Kenneth Casson Leighton [Tue, 6 Feb 2024 15:19:36 +0000 (15:19 +0000)]
bug 676 more on maxloc

9 months agobug 676: notes on maxloc algorithm, add python version for clarity
Luke Kenneth Casson Leighton [Tue, 6 Feb 2024 14:15:56 +0000 (14:15 +0000)]
bug 676: notes on maxloc algorithm, add python version for clarity

9 months agobug 676: tidyup and add svp64 assembler to cookbook page
Luke Kenneth Casson Leighton [Tue, 6 Feb 2024 13:51:53 +0000 (13:51 +0000)]
bug 676: tidyup and add svp64 assembler to cookbook page

9 months agowhitespace
Luke Kenneth Casson Leighton [Tue, 6 Feb 2024 13:42:44 +0000 (13:42 +0000)]
whitespace

9 months ago(no commit message)
lkcl [Mon, 5 Feb 2024 14:00:53 +0000 (14:00 +0000)]

9 months agofosdem2024_bigint: add TODO for adding intro and stuff
Jacob Lifshay [Sat, 3 Feb 2024 00:26:23 +0000 (16:26 -0800)]
fosdem2024_bigint: add TODO for adding intro and stuff

9 months ago(no commit message)
lkcl [Fri, 2 Feb 2024 19:03:03 +0000 (19:03 +0000)]

9 months agofosdem2024_bigint: add end slide
Jacob Lifshay [Thu, 1 Feb 2024 06:38:24 +0000 (22:38 -0800)]
fosdem2024_bigint: add end slide

turns out \href is broken when giving it a url with multiple # characters,
so I had to use \hyperref shenanigans to get it to link to the right url

9 months agofosdem2024_bigint: mul pipe diagram completed
Jacob Lifshay [Thu, 1 Feb 2024 04:07:02 +0000 (20:07 -0800)]
fosdem2024_bigint: mul pipe diagram completed

9 months agoadd WIP bigint-mul-pipe.dia
Jacob Lifshay [Wed, 31 Jan 2024 08:57:11 +0000 (00:57 -0800)]
add WIP bigint-mul-pipe.dia

9 months agofosdem2024_bigint: add continuous target: watches when files changes then rebuilds
Jacob Lifshay [Wed, 31 Jan 2024 08:55:04 +0000 (00:55 -0800)]
fosdem2024_bigint: add continuous target: watches when files changes then rebuilds

9 months agofosdem2024_bigint: change add ops to use box to avoid confusion with XOR
Jacob Lifshay [Wed, 31 Jan 2024 07:12:36 +0000 (23:12 -0800)]
fosdem2024_bigint: change add ops to use box to avoid confusion with XOR

9 months agofosdem2024_formal: add slides and diagrams
Cesar Strauss [Tue, 30 Jan 2024 22:25:03 +0000 (19:25 -0300)]
fosdem2024_formal: add slides and diagrams

See Bug #1220:
An introduction to Formal Verification of Digital Circuits

9 months agoTODO cleanup
Tobias Platen [Tue, 30 Jan 2024 21:37:20 +0000 (22:37 +0100)]
TODO cleanup

9 months agoupdate Rita's section, she joined IRC
Jacob Lifshay [Tue, 30 Jan 2024 18:19:51 +0000 (10:19 -0800)]
update Rita's section, she joined IRC

9 months agosync_up_2024-01-30: fill in my section
Jacob Lifshay [Tue, 30 Jan 2024 17:51:46 +0000 (09:51 -0800)]
sync_up_2024-01-30: fill in my section

9 months ago(no commit message)
lkcl [Tue, 30 Jan 2024 17:42:22 +0000 (17:42 +0000)]

9 months ago(no commit message)
lkcl [Tue, 30 Jan 2024 17:41:35 +0000 (17:41 +0000)]

9 months ago(no commit message)
lkcl [Tue, 30 Jan 2024 17:08:09 +0000 (17:08 +0000)]

9 months ago(no commit message)
lkcl [Tue, 30 Jan 2024 17:05:55 +0000 (17:05 +0000)]

9 months ago(no commit message)
lkcl [Tue, 30 Jan 2024 17:02:56 +0000 (17:02 +0000)]

9 months ago(no commit message)
lkcl [Tue, 30 Jan 2024 16:56:22 +0000 (16:56 +0000)]

9 months agoadd cesar
Luke Kenneth Casson Leighton [Tue, 30 Jan 2024 16:54:22 +0000 (16:54 +0000)]
add cesar

9 months agoadd stub sync meeting 2024-01-30
Luke Kenneth Casson Leighton [Tue, 30 Jan 2024 16:32:32 +0000 (16:32 +0000)]
add stub sync meeting 2024-01-30

9 months agoadd notes on 2024-01-23 meeting. terminated due to harrassment
Luke Kenneth Casson Leighton [Tue, 30 Jan 2024 16:17:50 +0000 (16:17 +0000)]
add notes on 2024-01-23 meeting. terminated due to harrassment

9 months agofosdem2024_bigint: add sv.maddedu diagram
Jacob Lifshay [Tue, 30 Jan 2024 05:23:08 +0000 (21:23 -0800)]
fosdem2024_bigint: add sv.maddedu diagram

9 months agofosdem2024_bigint: improve sv.adde diagram
Jacob Lifshay [Tue, 30 Jan 2024 05:22:23 +0000 (21:22 -0800)]
fosdem2024_bigint: improve sv.adde diagram

9 months agofosdem2024_bigint: improve latex escaping for dia
Jacob Lifshay [Tue, 30 Jan 2024 05:20:27 +0000 (21:20 -0800)]
fosdem2024_bigint: improve latex escaping for dia

9 months agofosdem2024_bigint: remove test.dia
Jacob Lifshay [Tue, 30 Jan 2024 05:17:14 +0000 (21:17 -0800)]
fosdem2024_bigint: remove test.dia

9 months agofosdem2024_bigint/Makefile: add upload target
Jacob Lifshay [Mon, 29 Jan 2024 09:35:25 +0000 (01:35 -0800)]
fosdem2024_bigint/Makefile: add upload target

9 months agofosdem2024_bigint: add sv.adde.dia -- flow diagram of how sv.adde works
Jacob Lifshay [Mon, 29 Jan 2024 09:26:31 +0000 (01:26 -0800)]
fosdem2024_bigint: add sv.adde.dia -- flow diagram of how sv.adde works

9 months agofosdem2024_bigint: start adding multiplication section
Jacob Lifshay [Mon, 29 Jan 2024 08:38:38 +0000 (00:38 -0800)]
fosdem2024_bigint: start adding multiplication section

9 months agoadd fosdem slides
Tobias Platen [Sun, 28 Jan 2024 19:13:28 +0000 (20:13 +0100)]
add fosdem slides

9 months agobug 1034: update spec page on bin/tern lut2/lut3
Luke Kenneth Casson Leighton [Sat, 27 Jan 2024 12:50:05 +0000 (12:50 +0000)]
bug 1034: update spec page on bin/tern lut2/lut3

9 months agobug 1034: redo PO5 table, to fit crternlogi crfternlogi etc.
Luke Kenneth Casson Leighton [Sat, 27 Jan 2024 11:56:06 +0000 (11:56 +0000)]
bug 1034: redo PO5 table, to fit crternlogi crfternlogi etc.

10 months agobug 1034: making room for crfbinlog/crfternlogi/crbinlog/crternlogi
Luke Kenneth Casson Leighton [Mon, 22 Jan 2024 13:57:17 +0000 (13:57 +0000)]
bug 1034: making room for crfbinlog/crfternlogi/crbinlog/crternlogi

10 months agomove madd/sub to PO5
Luke Kenneth Casson Leighton [Sat, 20 Jan 2024 18:21:34 +0000 (18:21 +0000)]
move madd/sub to PO5

10 months agoternary function changed to BM2 form
Luke Kenneth Casson Leighton [Sat, 20 Jan 2024 18:21:04 +0000 (18:21 +0000)]
ternary function changed to BM2 form

10 months agocrternlogi does not have a BFC operand (not enough space)
Luke Kenneth Casson Leighton [Tue, 16 Jan 2024 14:20:00 +0000 (14:20 +0000)]
crternlogi does not have a BFC operand (not enough space)

10 months ago(no commit message)
lkcl [Sun, 21 Jan 2024 23:17:09 +0000 (23:17 +0000)]

10 months agoflesh out bigint add pipe slides
Jacob Lifshay [Sat, 20 Jan 2024 00:31:18 +0000 (16:31 -0800)]
flesh out bigint add pipe slides

10 months agoadd WIP 256-bit add frame
Jacob Lifshay [Fri, 19 Jan 2024 08:38:02 +0000 (00:38 -0800)]
add WIP 256-bit add frame

10 months agofosdem2024_bigint.tex: add bigint add frame
Jacob Lifshay [Fri, 19 Jan 2024 07:54:00 +0000 (23:54 -0800)]
fosdem2024_bigint.tex: add bigint add frame

10 months agofosdem2024_bigint.tex: use setvl
Jacob Lifshay [Fri, 19 Jan 2024 07:42:14 +0000 (23:42 -0800)]
fosdem2024_bigint.tex: use setvl

10 months agofosdem2024_bigint.tex: change Libre-SOC to link
Jacob Lifshay [Fri, 19 Jan 2024 07:41:37 +0000 (23:41 -0800)]
fosdem2024_bigint.tex: change Libre-SOC to link

10 months agoadd SVP64 intro page
Jacob Lifshay [Fri, 19 Jan 2024 07:15:38 +0000 (23:15 -0800)]
add SVP64 intro page

10 months agoadd short title
Jacob Lifshay [Fri, 19 Jan 2024 07:15:19 +0000 (23:15 -0800)]
add short title

10 months agoremove deprecated [slidestop]
Jacob Lifshay [Fri, 19 Jan 2024 07:14:52 +0000 (23:14 -0800)]
remove deprecated [slidestop]

10 months agoswitch pdf mode
Jacob Lifshay [Fri, 19 Jan 2024 07:14:32 +0000 (23:14 -0800)]
switch pdf mode

10 months agoremove unnecessary Makefile section
Jacob Lifshay [Fri, 19 Jan 2024 05:43:39 +0000 (21:43 -0800)]
remove unnecessary Makefile section

10 months agogot dia files to work, they're autoconverted to tex
Jacob Lifshay [Fri, 19 Jan 2024 05:41:30 +0000 (21:41 -0800)]
got dia files to work, they're autoconverted to tex

10 months agofosdem2024_bigint: add files for building the pdf
Jacob Lifshay [Fri, 19 Jan 2024 04:04:05 +0000 (20:04 -0800)]
fosdem2024_bigint: add files for building the pdf

10 months agoghostmansd: update status
Dmitry Selyutin [Thu, 18 Jan 2024 14:32:05 +0000 (17:32 +0300)]
ghostmansd: update status

10 months agoghostmansd: update status
Dmitry Selyutin [Thu, 18 Jan 2024 14:08:54 +0000 (17:08 +0300)]
ghostmansd: update status

10 months agoremoved duplicate from last week
sadoon [Wed, 17 Jan 2024 17:55:45 +0000 (17:55 +0000)]
removed duplicate from last week

10 months agosync_up: Update Cesar section
Andrey Miroshnikov [Wed, 17 Jan 2024 09:33:31 +0000 (09:33 +0000)]
sync_up: Update Cesar section

10 months agosync_up: Create page for today's meeting
Andrey Miroshnikov [Wed, 17 Jan 2024 08:53:35 +0000 (08:53 +0000)]
sync_up: Create page for today's meeting

10 months agoadd initial fosdem 2024 bigint presentation
Jacob Lifshay [Wed, 17 Jan 2024 05:35:20 +0000 (21:35 -0800)]
add initial fosdem 2024 bigint presentation

10 months agoupdate meeting notes
Jacob Lifshay [Tue, 16 Jan 2024 18:40:41 +0000 (10:40 -0800)]
update meeting notes

10 months agofill in my section of meeting
Jacob Lifshay [Tue, 16 Jan 2024 18:39:20 +0000 (10:39 -0800)]
fill in my section of meeting

10 months agosync_up: Formatting fixes
Andrey Miroshnikov [Tue, 16 Jan 2024 18:18:27 +0000 (18:18 +0000)]
sync_up: Formatting fixes

10 months agosync_up: Added Jacob's comments
Andrey Miroshnikov [Tue, 16 Jan 2024 18:15:43 +0000 (18:15 +0000)]
sync_up: Added Jacob's comments

10 months agosync_up: Added Dmitry, Sadoon
Andrey Miroshnikov [Tue, 16 Jan 2024 18:08:39 +0000 (18:08 +0000)]
sync_up: Added Dmitry, Sadoon

10 months agosync_up: Fixed link
Andrey Miroshnikov [Mon, 15 Jan 2024 19:18:57 +0000 (19:18 +0000)]
sync_up: Fixed link

10 months agosync_up: Updated my section
Andrey Miroshnikov [Mon, 15 Jan 2024 19:18:00 +0000 (19:18 +0000)]
sync_up: Updated my section

10 months agosync_up: Updated my section
Andrey Miroshnikov [Mon, 15 Jan 2024 19:16:40 +0000 (19:16 +0000)]
sync_up: Updated my section

10 months agosync_up: Discussion, add rest of points from thread
Andrey Miroshnikov [Mon, 15 Jan 2024 19:04:50 +0000 (19:04 +0000)]
sync_up: Discussion, add rest of points from thread

10 months agosync_up: Add link from discussion page
Andrey Miroshnikov [Mon, 15 Jan 2024 18:56:55 +0000 (18:56 +0000)]
sync_up: Add link from discussion page

10 months agosync_up: Discussion page typo fix
Andrey Miroshnikov [Mon, 15 Jan 2024 18:55:44 +0000 (18:55 +0000)]
sync_up: Discussion page typo fix

10 months agosync_up: Update tomorrow's meeting page
Andrey Miroshnikov [Mon, 15 Jan 2024 18:53:20 +0000 (18:53 +0000)]
sync_up: Update tomorrow's meeting page

10 months agosync_up: Discussion page for tomorrow's meeting
Andrey Miroshnikov [Mon, 15 Jan 2024 18:52:55 +0000 (18:52 +0000)]
sync_up: Discussion page for tomorrow's meeting

10 months agoHDL_workflow: Fix typo
Andrey Miroshnikov [Mon, 15 Jan 2024 18:35:56 +0000 (18:35 +0000)]
HDL_workflow: Fix typo

10 months agorfp_submission_guide: Added link to cont. IRC
Andrey Miroshnikov [Mon, 15 Jan 2024 18:07:15 +0000 (18:07 +0000)]
rfp_submission_guide: Added link to cont. IRC

10 months agobug 1244: separate frame for linked list image
Luke Kenneth Casson Leighton [Thu, 11 Jan 2024 14:59:34 +0000 (14:59 +0000)]
bug 1244: separate frame for linked list image

10 months agobug 1244: add linked-list image to tex file
Luke Kenneth Casson Leighton [Thu, 11 Jan 2024 14:56:11 +0000 (14:56 +0000)]
bug 1244: add linked-list image to tex file

10 months agobug 1244: add linked list ddffirst image
Luke Kenneth Casson Leighton [Thu, 11 Jan 2024 14:55:18 +0000 (14:55 +0000)]
bug 1244: add linked list ddffirst image

10 months agobug 1244: add slide on load/fail-first
Luke Kenneth Casson Leighton [Thu, 11 Jan 2024 13:09:50 +0000 (13:09 +0000)]
bug 1244: add slide on load/fail-first

10 months agobug 1244: add sv.lbz ffirst image
Luke Kenneth Casson Leighton [Thu, 11 Jan 2024 13:00:46 +0000 (13:00 +0000)]
bug 1244: add sv.lbz ffirst image

10 months agosync_up: Add meeting notes page for next week.
Andrey Miroshnikov [Wed, 10 Jan 2024 18:16:36 +0000 (18:16 +0000)]
sync_up: Add meeting notes page for next week.

10 months ago(no commit message)
lkcl [Wed, 10 Jan 2024 16:51:47 +0000 (16:51 +0000)]