Luke Kenneth Casson Leighton [Sat, 10 Feb 2024 19:43:36 +0000 (19:43 +0000)]
update date and status of ls006.fpintmv
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
Luke Kenneth Casson Leighton [Wed, 7 Feb 2024 20:16:08 +0000 (20:16 +0000)]
note update date on RFC ls004 (v2)
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
lkcl [Tue, 6 Feb 2024 17:44:43 +0000 (17:44 +0000)]
lkcl [Tue, 6 Feb 2024 17:37:02 +0000 (17:37 +0000)]
lkcl [Tue, 6 Feb 2024 17:31:46 +0000 (17:31 +0000)]
lkcl [Tue, 6 Feb 2024 17:27:25 +0000 (17:27 +0000)]
lkcl [Tue, 6 Feb 2024 17:24:17 +0000 (17:24 +0000)]
lkcl [Tue, 6 Feb 2024 17:17:58 +0000 (17:17 +0000)]
lkcl [Tue, 6 Feb 2024 17:12:12 +0000 (17:12 +0000)]
lkcl [Tue, 6 Feb 2024 17:08:09 +0000 (17:08 +0000)]
Luke Kenneth Casson Leighton [Tue, 6 Feb 2024 15:19:36 +0000 (15:19 +0000)]
bug 676 more on maxloc
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
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
Luke Kenneth Casson Leighton [Tue, 6 Feb 2024 13:42:44 +0000 (13:42 +0000)]
whitespace
lkcl [Mon, 5 Feb 2024 14:00:53 +0000 (14:00 +0000)]
Jacob Lifshay [Sat, 3 Feb 2024 00:26:23 +0000 (16:26 -0800)]
fosdem2024_bigint: add TODO for adding intro and stuff
lkcl [Fri, 2 Feb 2024 19:03:03 +0000 (19:03 +0000)]
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
Jacob Lifshay [Thu, 1 Feb 2024 04:07:02 +0000 (20:07 -0800)]
fosdem2024_bigint: mul pipe diagram completed
Jacob Lifshay [Wed, 31 Jan 2024 08:57:11 +0000 (00:57 -0800)]
add WIP bigint-mul-pipe.dia
Jacob Lifshay [Wed, 31 Jan 2024 08:55:04 +0000 (00:55 -0800)]
fosdem2024_bigint: add continuous target: watches when files changes then rebuilds
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
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
Tobias Platen [Tue, 30 Jan 2024 21:37:20 +0000 (22:37 +0100)]
TODO cleanup
Jacob Lifshay [Tue, 30 Jan 2024 18:19:51 +0000 (10:19 -0800)]
update Rita's section, she joined IRC
Jacob Lifshay [Tue, 30 Jan 2024 17:51:46 +0000 (09:51 -0800)]
sync_up_2024-01-30: fill in my section
lkcl [Tue, 30 Jan 2024 17:42:22 +0000 (17:42 +0000)]
lkcl [Tue, 30 Jan 2024 17:41:35 +0000 (17:41 +0000)]
lkcl [Tue, 30 Jan 2024 17:08:09 +0000 (17:08 +0000)]
lkcl [Tue, 30 Jan 2024 17:05:55 +0000 (17:05 +0000)]
lkcl [Tue, 30 Jan 2024 17:02:56 +0000 (17:02 +0000)]
lkcl [Tue, 30 Jan 2024 16:56:22 +0000 (16:56 +0000)]
Luke Kenneth Casson Leighton [Tue, 30 Jan 2024 16:54:22 +0000 (16:54 +0000)]
add cesar
Luke Kenneth Casson Leighton [Tue, 30 Jan 2024 16:32:32 +0000 (16:32 +0000)]
add stub sync meeting 2024-01-30
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
Jacob Lifshay [Tue, 30 Jan 2024 05:23:08 +0000 (21:23 -0800)]
fosdem2024_bigint: add sv.maddedu diagram
Jacob Lifshay [Tue, 30 Jan 2024 05:22:23 +0000 (21:22 -0800)]
fosdem2024_bigint: improve sv.adde diagram
Jacob Lifshay [Tue, 30 Jan 2024 05:20:27 +0000 (21:20 -0800)]
fosdem2024_bigint: improve latex escaping for dia
Jacob Lifshay [Tue, 30 Jan 2024 05:17:14 +0000 (21:17 -0800)]
fosdem2024_bigint: remove test.dia
Jacob Lifshay [Mon, 29 Jan 2024 09:35:25 +0000 (01:35 -0800)]
fosdem2024_bigint/Makefile: add upload target
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
Jacob Lifshay [Mon, 29 Jan 2024 08:38:38 +0000 (00:38 -0800)]
fosdem2024_bigint: start adding multiplication section
Tobias Platen [Sun, 28 Jan 2024 19:13:28 +0000 (20:13 +0100)]
add fosdem slides
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
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.
Luke Kenneth Casson Leighton [Mon, 22 Jan 2024 13:57:17 +0000 (13:57 +0000)]
bug 1034: making room for crfbinlog/crfternlogi/crbinlog/crternlogi
Luke Kenneth Casson Leighton [Sat, 20 Jan 2024 18:21:34 +0000 (18:21 +0000)]
move madd/sub to PO5
Luke Kenneth Casson Leighton [Sat, 20 Jan 2024 18:21:04 +0000 (18:21 +0000)]
ternary function changed to BM2 form
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)
lkcl [Sun, 21 Jan 2024 23:17:09 +0000 (23:17 +0000)]
Jacob Lifshay [Sat, 20 Jan 2024 00:31:18 +0000 (16:31 -0800)]
flesh out bigint add pipe slides
Jacob Lifshay [Fri, 19 Jan 2024 08:38:02 +0000 (00:38 -0800)]
add WIP 256-bit add frame
Jacob Lifshay [Fri, 19 Jan 2024 07:54:00 +0000 (23:54 -0800)]
fosdem2024_bigint.tex: add bigint add frame
Jacob Lifshay [Fri, 19 Jan 2024 07:42:14 +0000 (23:42 -0800)]
fosdem2024_bigint.tex: use setvl
Jacob Lifshay [Fri, 19 Jan 2024 07:41:37 +0000 (23:41 -0800)]
fosdem2024_bigint.tex: change Libre-SOC to link
Jacob Lifshay [Fri, 19 Jan 2024 07:15:38 +0000 (23:15 -0800)]
add SVP64 intro page
Jacob Lifshay [Fri, 19 Jan 2024 07:15:19 +0000 (23:15 -0800)]
add short title
Jacob Lifshay [Fri, 19 Jan 2024 07:14:52 +0000 (23:14 -0800)]
remove deprecated [slidestop]
Jacob Lifshay [Fri, 19 Jan 2024 07:14:32 +0000 (23:14 -0800)]
switch pdf mode
Jacob Lifshay [Fri, 19 Jan 2024 05:43:39 +0000 (21:43 -0800)]
remove unnecessary Makefile section
Jacob Lifshay [Fri, 19 Jan 2024 05:41:30 +0000 (21:41 -0800)]
got dia files to work, they're autoconverted to tex
Jacob Lifshay [Fri, 19 Jan 2024 04:04:05 +0000 (20:04 -0800)]
fosdem2024_bigint: add files for building the pdf
Dmitry Selyutin [Thu, 18 Jan 2024 14:32:05 +0000 (17:32 +0300)]
ghostmansd: update status
Dmitry Selyutin [Thu, 18 Jan 2024 14:08:54 +0000 (17:08 +0300)]
ghostmansd: update status
sadoon [Wed, 17 Jan 2024 17:55:45 +0000 (17:55 +0000)]
removed duplicate from last week
Andrey Miroshnikov [Wed, 17 Jan 2024 09:33:31 +0000 (09:33 +0000)]
sync_up: Update Cesar section
Andrey Miroshnikov [Wed, 17 Jan 2024 08:53:35 +0000 (08:53 +0000)]
sync_up: Create page for today's meeting
Jacob Lifshay [Wed, 17 Jan 2024 05:35:20 +0000 (21:35 -0800)]
add initial fosdem 2024 bigint presentation
Jacob Lifshay [Tue, 16 Jan 2024 18:40:41 +0000 (10:40 -0800)]
update meeting notes
Jacob Lifshay [Tue, 16 Jan 2024 18:39:20 +0000 (10:39 -0800)]
fill in my section of meeting
Andrey Miroshnikov [Tue, 16 Jan 2024 18:18:27 +0000 (18:18 +0000)]
sync_up: Formatting fixes
Andrey Miroshnikov [Tue, 16 Jan 2024 18:15:43 +0000 (18:15 +0000)]
sync_up: Added Jacob's comments
Andrey Miroshnikov [Tue, 16 Jan 2024 18:08:39 +0000 (18:08 +0000)]
sync_up: Added Dmitry, Sadoon
Andrey Miroshnikov [Mon, 15 Jan 2024 19:18:57 +0000 (19:18 +0000)]
sync_up: Fixed link
Andrey Miroshnikov [Mon, 15 Jan 2024 19:18:00 +0000 (19:18 +0000)]
sync_up: Updated my section
Andrey Miroshnikov [Mon, 15 Jan 2024 19:16:40 +0000 (19:16 +0000)]
sync_up: Updated my section
Andrey Miroshnikov [Mon, 15 Jan 2024 19:04:50 +0000 (19:04 +0000)]
sync_up: Discussion, add rest of points from thread
Andrey Miroshnikov [Mon, 15 Jan 2024 18:56:55 +0000 (18:56 +0000)]
sync_up: Add link from discussion page
Andrey Miroshnikov [Mon, 15 Jan 2024 18:55:44 +0000 (18:55 +0000)]
sync_up: Discussion page typo fix
Andrey Miroshnikov [Mon, 15 Jan 2024 18:53:20 +0000 (18:53 +0000)]
sync_up: Update tomorrow's meeting page
Andrey Miroshnikov [Mon, 15 Jan 2024 18:52:55 +0000 (18:52 +0000)]
sync_up: Discussion page for tomorrow's meeting
Andrey Miroshnikov [Mon, 15 Jan 2024 18:35:56 +0000 (18:35 +0000)]
HDL_workflow: Fix typo
Andrey Miroshnikov [Mon, 15 Jan 2024 18:07:15 +0000 (18:07 +0000)]
rfp_submission_guide: Added link to cont. IRC
Luke Kenneth Casson Leighton [Thu, 11 Jan 2024 14:59:34 +0000 (14:59 +0000)]
bug 1244: separate frame for linked list image
Luke Kenneth Casson Leighton [Thu, 11 Jan 2024 14:56:11 +0000 (14:56 +0000)]
bug 1244: add linked-list image to tex file
Luke Kenneth Casson Leighton [Thu, 11 Jan 2024 14:55:18 +0000 (14:55 +0000)]
bug 1244: add linked list ddffirst image
Luke Kenneth Casson Leighton [Thu, 11 Jan 2024 13:09:50 +0000 (13:09 +0000)]
bug 1244: add slide on load/fail-first
Luke Kenneth Casson Leighton [Thu, 11 Jan 2024 13:00:46 +0000 (13:00 +0000)]
bug 1244: add sv.lbz ffirst image
Andrey Miroshnikov [Wed, 10 Jan 2024 18:16:36 +0000 (18:16 +0000)]
sync_up: Add meeting notes page for next week.
lkcl [Wed, 10 Jan 2024 16:51:47 +0000 (16:51 +0000)]
Andrey Miroshnikov [Wed, 10 Jan 2024 11:35:36 +0000 (11:35 +0000)]
bug 1048, ls011: Remove inline import of PowerISA 3.0 ldst insn's
Andrey Miroshnikov [Wed, 10 Jan 2024 10:27:25 +0000 (10:27 +0000)]
bug 1048, ls011: Add FP Store Shifted Post-Update section
Andrey Miroshnikov [Wed, 10 Jan 2024 10:23:20 +0000 (10:23 +0000)]
bug 1048, ls011: Add FP Load Shifted Post-Update section
Andrey Miroshnikov [Wed, 10 Jan 2024 10:20:33 +0000 (10:20 +0000)]
bug 1048, ls011: Add Fixed Store Shifted Post-Update section
Andrey Miroshnikov [Wed, 10 Jan 2024 10:18:50 +0000 (10:18 +0000)]
bug 1048, ls011: Add Fixed Load Shifted Post-Update section
Andrey Miroshnikov [Wed, 10 Jan 2024 10:10:50 +0000 (10:10 +0000)]
bug 1048, ls011: Add Floating-Point Store Post-Update section
Andrey Miroshnikov [Wed, 10 Jan 2024 10:06:43 +0000 (10:06 +0000)]
bug 1048, ls011: Add Floating-Point Load Post-Update section
Andrey Miroshnikov [Wed, 10 Jan 2024 09:59:36 +0000 (09:59 +0000)]
bug 1048, ls011: Remove duplicate Fixed-Point Store Post-Update.