Main babbageboole channel

Episodes

1. 20

   Very Basic Introduction to Formal Verification

   This is an extremely basic introduction to getting up and running with formally verifying modules written in Verilog using the open source tools Yosys and SymbiYosys. I'm definitely no expert, I'm just getting started. But hopefully this can help ...

   Jul 22, 2019
2. 19

   Creating IC symbols quickly in KiCAD 5

   BitPreserve is a github repo for KiCAD schematics of classic computers that anyone can contribute to. However, with older machines come older chips, and the KiCAD standard libraries just don't have these older chips. Now you have to make your own ...

   Jul 6, 2019
3. 18

   Fixing ALL the TRS-80 PC-1 computers, part 3

   The LCDs have come in, and are available for sale! Store: https://www.tindie.com/products/halfbakedmaker/lcd-replacement-for-trs-80-pc-1-sharp-pc-1211/ Video instructions: https://diode.zone/videos/watch/9dfd94a6-4b89-41a8-9587-d191ffa90bd8

   Jun 2, 2019
4. 17

   Philips EE2000 Electronic Laboratory

   When I was around 8 years old, around 1980 or so, my dad brought home a Philips EE2000 Electronic Laboratory from West Germany. I loved it, but could never get anything to work. Over the years all the components got lost and/or rusted, and eventua...

   Apr 21, 2019
5. 16

   Fixing ALL the TRS-80 PC-1 computers, part 2

   I received the sample LCDs that I designed and had manufactured. They work! This video shows replacing an LCD in a TRS-80 PC-1. Part 1: https://diode.zone/videos/watch/006f2b62-2d29-4190-b549-788b7ddfa919 See the project log here: https://www.ee...

   Apr 14, 2019
6. 15

   Fixing ALL the TRS-80 PC-1 computers

   Can we fix ALL the things? Usually the only things wrong with TRS-80 PC-1 pocket computers are the batteries and the LCD. The batteries are easy to replace. The LCD... not so much. But can China help? See the project log here: https://www.eevblog...

   Apr 14, 2019
7. 14

   Unboxing: Hackerboxes 0040

   Oh no, it's another unboxing video! Hackerboxes is a subscription service where every month you get a box of loosely themed electronic objects along with a small assortment of generally useful stuff. You can subscribe, see previous hackerboxes, an...

   Mar 5, 2019
8. 13

   LMARV-1 (Tangible RISC-V) Part 4.1: Designing the shifter

   After describing how a logarithmic shifter can be used in the LMARV-1 processor to provide the shifting capabilities that the ALU can't, I design the circuit in KiCAD. Part 4.2 will be about designing the PCB.

   Mar 4, 2019
9. 12

   LMARV-1 (Tangible RISC-V) Part 4.2: Feedback on the shifter

   Thanks to all the commenters on part 4.1 for finding errors that I made! This video addresses most of them, one or two didn't make it in by the time this video uploaded.

   Mar 4, 2019
10. 11

    LMARV-1 (Tangible RISC-V) Part 3: Designing the ALU

    I design the Arithmetic Logic Unit for the RISC-V processor. Pleasantly, it turns out to be fast and cheap!

    Mar 4, 2019
11. 10

    LMARV-1 (Tangible RISC-V) Part 2: Redesigning and testing the register file

    32 register cards were just too much! I redesign the register file into a single card and test it. Many things go wrong.

    Mar 4, 2019
12. 9

    LMARV-1: A RISC-V processor you can see. Part 1: 32-bit registers

    The LMARV-1 (Learn Me A Risc-V, version 1) is a RISC-V processor built out of MSI and LSI chips. You can point to pieces of the processor and see the data flow. It should be a nice way of demonstrating how RISC-V works and how simple it is to impl...

    Mar 3, 2019
13. 8

    Fixing (sort of) a TRS-80 Model 100

    Mar 3, 2019
14. 7

    Remex RPS6122 Tape Punch part 3: More fixes, and punching a tape!

    After fixing a few more mechanical things, and figuring out the signals, I use a Raspberry Pi to punch some tape.

    Mar 3, 2019
15. 6

    Reading punched tapes with a Remex RRS7155BA1 reader

    I got a Remex RRS7155BA1 punched tape reader on eBay. It works. Almost the manual: https://archive.org/details/RemexRR7155BA1660TechnicalManualTapeReader/page/n2

    Mar 3, 2019
16. 5

    Silly Pixel cat nose sounds

    Cat!

    Mar 3, 2019
17. 4

    Cat cat cat cat cat

    Cat cat.

    Mar 3, 2019
18. 3

    Remex RPS6122 Tape Punch part 2: Fixing mechanical issues

    I fix some mechanical issues with the tape punch, or perforator, and find a document which closely, but not quite, matches the device.

    Mar 3, 2019
19. 2

    Remex RPS6122 Tape Punch part 1: Examination and powering on

    I received a Remex RPS6122 tape punch. These were mainly used on CNC machines to control them with paper tape, but could also be used as data entry for a computer.

    Mar 3, 2019
20. 1

    Fixing ALL the TRS-80 PC-1 computers

    Can we fix ALL the things? Usually the only things wrong with TRS-80 PC-1 pocket computers are the batteries and the LCD. The batteries are easy to replace. The LCD... not so much. But can China help? Project on EEVblog: https://www.eevblog.com/f...

    Mar 2, 2019