Friday, 2022-01-14

*** tpb <[email protected]> has joined #yosys00:00
*** gsmecher <[email protected]> has quit IRC (Ping timeout: 250 seconds)01:26
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys02:23
*** bl0x_ <bl0x_!~bastii@p200300d7a7153000a4a1affdd6575fd3.dip0.t-ipconnect.de> has quit IRC (Ping timeout: 240 seconds)02:28
*** bl0x_ <bl0x_!~bastii@p200300d7a711f10012ea2bb20d807cf5.dip0.t-ipconnect.de> has joined #yosys02:30
*** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Ping timeout: 276 seconds)03:13
*** nelgau <[email protected]> has joined #yosys03:19
*** nelgau <[email protected]> has quit IRC (Remote host closed the connection)04:19
*** sagar_acharya <sagar_acharya!~sagar_ach@2405:201:f:1db9:4a96:8154:92bb:7691> has joined #yosys05:04
*** sagar_acharya <sagar_acharya!~sagar_ach@2405:201:f:1db9:4a96:8154:92bb:7691> has quit IRC (Quit: Leaving)05:46
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Read error: Connection reset by peer)07:01
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys07:06
*** FabM <FabM!~FabM@2a03:d604:103:600:f51d:e513:8c9f:fdb4> has joined #yosys07:32
*** adjtm <adjtm!~adjtm@2a0c:5a80:3a17:7800:d1f9:3a6a:2c35:84e> has quit IRC (Remote host closed the connection)07:40
*** adjtm <adjtm!~adjtm@2a0c:5a80:3a17:7800:d1f9:3a6a:2c35:84e> has joined #yosys07:40
*** sagar_acharya <sagar_acharya!~sagar_ach@2405:201:f:1db9:4a96:8154:92bb:7691> has joined #yosys08:49
sagar_acharyaWhen I open Makefile of picorv32 in an editor, things crash, has anyone else experienced this?08:56
sagar_acharyaI have to kill the process with "kill -9 <pid>". I just deleted the repo, cloned it and again with fresh downloaded file, featherpad goes in an infinite loop08:58
sagar_acharyaDoesn't happen with nano, strange!08:59
*** vidbina_ <[email protected]> has joined #yosys09:04
sagar_acharyaWhat does picosoc contain in addition to rv32 processor? In layman terms.09:32
tnthttps://github.com/YosysHQ/picorv32/tree/master/picosoc ... like ... first picture of the readme.09:34
sagar_acharyaAlright, I still find it difficult to understand the working. Say I have ps2 and vga, where would they be connected?09:38
sagar_acharyaI guess VGA would be on GPIO controller09:38
tntHuh no.09:39
SarayanI wonder if I could run that in the mister using the sdram as ram and the usb-serial as serial to probe internal stuff.  I don't have working bram yet09:39
Sarayanor possibly the ddr3 as ram.  Do we have scripting languages implementations on the rv32 that would allow for such probing?09:39
sagar_acharyaOk, I'll read a bit on this basic nomenclature and be back09:40
Sarayansagar: it does flash and serial, no vga or ps2 with the provided code09:40
sagar_acharyaYes, I'm saying if I want to use vga and ps2, I should be able to connect it in "Your circuit" part.09:41
Sarayansure09:41
Sarayanin the "Memory mapped user peripherals"09:42
Sarayanyou have to decide where you put the framebuffer though for vga09:42
Sarayanand what it looks like09:42
Sarayanand how you ensure that the scanout and the cpu accesses don't walk on each other09:43
Sarayanall the usual hardware fun09:43
sagar_acharyaI'm new man. The things usual for you are new to me.09:44
*** vidbina_ <[email protected]> has quit IRC (Ping timeout: 240 seconds)09:45
sagar_acharyaI started with verilog a week ago. I have done digital electronics though. I understand signals, fsms, karnaugh maps, and completed a course of vlsi09:45
sagar_acharyaWhere the prof implemented rv32 processor in a 5 stage pipeline at end.09:45
sagar_acharyaI'm unaware of typical hardware debugging.09:46
sagar_acharya0x03000000 .. 0xFFFFFFFF09:46
sagar_acharyaThis is address range of memory mapped peripherals.09:46
sagar_acharyaDo these hex codes point to particular connection lines, after all, I have to connect vga and ps2 to some lines.09:47
Sarayanhttps://github.com/YosysHQ/picorv32/blob/master/picosoc/picosoc.v09:51
Sarayanyou can see the (minimalist) memory decode at 117+09:51
Sarayan03xxxxxx is indicative, you can do what you want in reality09:51
sagar_acharyaThanks, that's interesting! I'll be back after some study of pre-requisites.09:53
*** sagar_acharya <sagar_acharya!~sagar_ach@2405:201:f:1db9:4a96:8154:92bb:7691> has quit IRC (Quit: Leaving)09:53
*** vidbina_ <[email protected]> has joined #yosys10:07
*** lizelive <[email protected]> has joined #yosys10:23
*** lizelive <[email protected]> has quit IRC (Quit: Client closed)10:30
*** peeps <peeps!~peepsalot@openscad/peepsalot> has quit IRC (Read error: Connection reset by peer)10:31
*** Guest40 <[email protected]> has joined #yosys10:32
*** Guest40 <[email protected]> has quit IRC (Client Quit)10:32
*** peeps[zen] <peeps[zen]!~peepsalot@openscad/peepsalot> has joined #yosys10:34
*** bl0x_ <bl0x_!~bastii@p200300d7a711f10012ea2bb20d807cf5.dip0.t-ipconnect.de> has quit IRC (Ping timeout: 245 seconds)12:22
*** bl0x_ <bl0x_!~bastii@p200300d7a711f10012ea2bb20d807cf5.dip0.t-ipconnect.de> has joined #yosys12:22
*** sagar_acharya <sagar_acharya!~sagar_ach@2405:201:f:1db9:4a96:8154:92bb:7691> has joined #yosys12:23
*** mwk <mwk!~mwk@yosys/mwk> has quit IRC (Ping timeout: 240 seconds)12:35
*** mwk <mwk!~mwk@yosys/mwk> has joined #yosys12:37
*** sagar_acharya <sagar_acharya!~sagar_ach@2405:201:f:1db9:4a96:8154:92bb:7691> has quit IRC (Quit: Leaving)12:57
*** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys14:41
*** vidbina_ <[email protected]> has quit IRC (Ping timeout: 256 seconds)14:58
*** vidbina_ <[email protected]> has joined #yosys15:47
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:309e:48f3:3884:ae8> has quit IRC (Read error: Connection reset by peer)16:07
*** cr1901 <cr1901!~cr1901@2601:8d:8600:911:51a1:26ce:1709:19d8> has joined #yosys16:08
*** sagar_acharya <sagar_acharya!~sagar_ach@2405:201:f:1db9:4a96:8154:92bb:7691> has joined #yosys16:08
sagar_acharyaI read on UART and XIP SPI Flash controller. What's their role in picosoc. I guess UART is used for inputs. I didn't get what XIP SPI Flash controller would do.16:19
sagar_acharyaI didn't get storage of instruction addresses in XIP instead of instructions themselves. Would the instruction addresses point to SRAM?16:19
sagar_acharyaHow would the control of picosoc look like? Say I attach ps2 and vga and nothing else, just picosoc as in uart, sram, picorv32 and xip. How would the connections happen and how would control flow happen?16:21
gatecatno, the instructions are stored as-is in flash - XIP means that the 16MB (max) of SPI flash is directly mapped to memory and code in  SPI flash can be run by the processor by pointing the PC into that range16:23
sagar_acharyaalright. So control inputs for loading the instructions to rv32 are not shown in the diagram?16:24
gatecatno, they're loaded on the system bus16:25
gatecatpicorv32 doesn't have a split instruction/data bus16:25
gatecateverything is loaded on the same bus16:25
sagar_acharyaI mean that bus is shared across uart, sram and xip so, there must be some control right where other 2 would stop while 1 is using the bus?16:27
gatecatthat's the decode Sarayan has pointed to16:27
sagar_acharyaaah ok.16:28
sagar_acharyanice16:28
*** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 276 seconds)16:29
sagar_acharyaCan you tell me about 8 inputs except system clock and reset16:29
*** unkraut <[email protected]> has quit IRC (Remote host closed the connection)16:30
sagar_acharyaThis nomenclature is really tough for me. I'll try reading some verilog of picosoc.16:34
sagar_acharyaIf someone knows some basic book for understanding basic structure of such SoC, please recommend me.16:34
*** vidbina_ <[email protected]> has quit IRC (Ping timeout: 250 seconds)16:49
*** gsmecher <[email protected]> has joined #yosys17:09
*** vidbina_ <[email protected]> has joined #yosys17:30
*** sagar_acharya <sagar_acharya!~sagar_ach@2405:201:f:1db9:4a96:8154:92bb:7691> has quit IRC (Quit: Leaving)17:40
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 245 seconds)17:40
*** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has quit IRC (Read error: Connection reset by peer)17:47
*** Lord_Nightmare <Lord_Nightmare!~Lord_Nigh@user/lord-nightmare/x-3657113> has joined #yosys17:49
*** unkraut <[email protected]> has joined #yosys17:52
*** sagar_acharya <sagar_acharya!~sagar_ach@2405:201:f:1db9:4a96:8154:92bb:7691> has joined #yosys17:57
sagar_acharyaFor iCE40, are there already available SoCs with ps2 and vga support?17:58
*** zachjs <[email protected]> has joined #yosys18:24
*** sagar_acharya <sagar_acharya!~sagar_ach@2405:201:f:1db9:4a96:8154:92bb:7691> has quit IRC (Quit: Leaving)18:38
*** zachjs <[email protected]> has quit IRC (Quit: zachjs)19:02
*** vidbina_ <[email protected]> has quit IRC (Quit: vidbina_)21:29

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!