Sébastien Bourdeauducq | 30 Oct 15:47 2014
Picon

[M-Labs devel] ARTIQ

Hi,

this is probably old news if you are on #m-labs IRC, but I've been
working (with help from Florent and Yann) on developing a new quantum
physics experiment control system for the Ion Storage Group at NIST.

It uses MiSoC with custom realtime I/O gateware and a Python static
compiler to provide both high expressivity and good timing performance.

This slideshow makes a good intro:
http://m-labs.hk/artiq/slides_taaccs.pdf

It's an open source project, and you are welcome to subscribe to the
mailing list to follow and participate in the discussions:
https://ssl.serverraum.org/lists/listinfo/artiq

Sébastien
_______________________________________________
M-Labs devel mailing list
https://ssl.serverraum.org/lists/listinfo/devel
Sébastien Bourdeauducq | 11 Oct 17:16 2014
Picon

[M-Labs devel] Fwd: [EHSM-public] FOSDEM 2015 EDA Devroom Call for Participation


---------- Forwarded message ----------
From: *Javier Serrano* <javier.serrano.pareja@...
<mailto:javier.serrano.pareja@...>>
Date: 11 October 2014 09:59
Subject: [Kicad-developers] FOSDEM 2015 EDA Devroom Call for Participation
To: KiCad Developers <kicad-developers@...
<mailto:kicad-developers@...>>

Dear all,

Here's the Call for Participation for the FOSS EDA Devroom in FOSDEM 2015:

http://www.ohwr.org/projects/ohr-meta/wiki/FOSDEM2015

Looking forward to meeting many of you there.

Javier

Guy Hutchison | 25 Sep 02:30 2014
Picon

[M-Labs devel] ECC generator/checker

Hamming code ECC generator/checker for SECDEC code.


<div><div dir="ltr">Hamming code ECC generator/checker for SECDEC code.<div><br></div>
<div><br></div>
</div></div>
Florent Kermarrec | 24 Sep 22:41 2014
Picon

[M-Labs devel] [PATCH] add generic CRCEngine, CRC32, CRCInserter and CRCChecker


<div><div dir="ltr"><br></div></div>
Florent Kermarrec | 24 Sep 22:12 2014
Picon

[M-Labs devel] [PATCH] update README with new Kintex-7 support


<div><div dir="ltr"><br></div></div>
Florent Kermarrec | 24 Sep 21:44 2014
Picon

[M-Labs devel] [PATCH] uart: split it and use dataflow


Attachment (0002-uart-split-it-and-use-dataflow.patch): application/octet-stream, 7744 bytes
<div><div dir="ltr"><br></div></div>
Florent Kermarrec | 24 Sep 21:44 2014
Picon

[M-Labs devel] [PATCH] targets: add simple design


<div><div dir="ltr"><br></div></div>
Michael Walle | 21 Sep 21:05 2014

[M-Labs devel] Milkymist One QEMU image

Hi all,

I've created a full disk image of the Milkymist One. It contains the BIOS, 
splash screen, flickernoise and the data files. Therefore, it should behave 
the same like the real milkymist hardware (spash screen is not working for 
some reason).

Start it with any recent qemu-system-lm32 binary:
  qemu-system-lm32 -M milkymist -pflash flash-2012-07-09.img

You can find it at http://milkymist.walle.cc/.

Additonally, i've mirrored the old update files/images, which used to be at 
http://www.milkymist.org/updates/.

--

-- 
-michael
Florent Kermarrec | 17 Sep 18:25 2014
Picon

[M-Labs devel] [PATCH] Migen: add reverse to Pack/Unpack and add packet support for Sink and Source

Hi,

please find attached some patchs.

It will be fine to have packet support on Sink and Source in Migen since it's very useful on lots of designs. I've also added __getattr__ to _Endpoint to be able to access directly Sink and Source elements (I find more practical to use obj.elt instead of obj.payload.elt). If we really want to be sure that the user will not use specific keywords like "stb", "ack", "payload", "sop", "eop" in payload, we can add a check on _make_m2s.

If you are OK to merge that, I will have others modules using packets that we can integrate to Migen: Crossbar, Dispatcher, Arbiter, CRCChecker/CRCInserter, etc...

I'd also like to remove use of DataFlowGraph on simple examples (ex: DMAReadController, DMAWriteController) by using only packetized Sink and Source and Record.connect(). I really think DataFlowGraph make things really difficults to understand on simple examples (and I think even "complex" examples can be described without DataFlowGraph). Would you be OK with that?

Thanks,

Florent
<div><div dir="ltr">
<span>Hi,</span><div><br></div>
<div>please find attached some patchs.</div>
<div><br></div>
<div>It will be fine to have packet support on Sink and Source in Migen since it's very useful on lots of designs. I've also added __getattr__ to _Endpoint to be able to access directly Sink and Source elements (I find more practical to use obj.elt instead of obj.payload.elt). If we really want to be sure that the user will not use specific keywords like "stb", "ack", "payload", "sop", "eop" in payload, we can add a check on&nbsp;_make_m2s.</div>
<div><br></div>
<div>If you are OK to merge that, I will have others modules using packets that we can integrate to Migen: Crossbar, Dispatcher, Arbiter, CRCChecker/CRCInserter, etc...</div>
<div><br></div>
<div>I'd also like to remove use of&nbsp;DataFlowGraph on simple examples (ex:&nbsp;DMAReadController,&nbsp;DMAWriteController) by using only packetized Sink and Source and Record.connect(). I really think DataFlowGraph make things really difficults to understand on simple examples (and I think even "complex" examples can be described without DataFlowGraph). Would you be OK with that?</div>
<div><br></div>
<div>Thanks,</div>
<div><br></div>
<div>Florent</div>
</div></div>
Poul Laurids W. Larsen | 16 Sep 14:32 2014
Picon

[M-Labs devel] realtime trail/echo/RecursiveOPS for lightwriting

Hello M-Labs, Sebastian and others!

Can You help us find a device that can make realtime trails or overlays without over expose! 

I found the Mixxeo and it looks very interesting! It might be able to do what we are seeking! a piece of
hardware that when connected to cam/hdmi-OUT it will apply realtime processing of videostream/signal
with effects of “building up” the final result/picture (2000-3000frms is the hardcore version if
possible)! We often use up to 2mins on some of our sets and we are looking for a tool that could make that FX for
workshops, shows and other event as well as broadcast!

hope someone can help! my email is pl@...

best regards  
Florent Kermarrec | 15 Sep 19:51 2014
Picon

[M-Labs devel] mor1kx diet

Hi,

by curiosity I've tried to understand why mor1kx uses more logic than LM32 and already discuss of some points with Stefan last week.

To do the comparison, I'm using MiSoC on de0-nano and mixxeo board.

mor1kx and LM32 configurations have to be almost identical, so the attached patch for MiSoC has to be used:
- it disables the store buffer (thanks to the work done by Stefan last week on that).
- it disable burst on Wishbone

One other difference is that LM32 does not support signed division and it's not possible to disable it on mor1kx. By removing the logic specific to the signed part of the division, it saves ~130 LUTs on BaseSoC on Mixxeo.

With the upstream code of mor1kx we have for BaseSoC:
LM32: 2514 regs / 3068 luts
mor1kx: 2761 regs / 3937 luts
--> LM32 beats mor1kx by ~250 regs /  869-130 = ~740 luts.

I've done some others "experiments" on the code to try to reduce this difference, but before doing that I've done some clean up on the code to avoid mixing spaces and tabs
and removed trailing whitespaces, you can merge it... or not :)

The "experiments":
- remove some unneeded resets on some alu registers (divider and multiplier). Since decode_valid_i already invalidates the data, there is no reason to reset the data registers.
- when PIC uses LEVEL interruptions, it's not necessary to registers IRQs.
- to my mind, some simplications can be done in mor1kx_ctrl_cappuccino.v to reduce logic.

which gives me:
mor1kx: 2771 regs / 3828 luts
+10 regs / - 110 luts compared to the upstream code.
timings are also better on Altera and Xilinx.

I have done very limited tests on the code (run MiSoC Bios with SDRAM test on the de0-nano).

With that LM32 still beats mor1kx by ~+250 regs /+ 600 luts... but it was +500 regs/ +1350 luts some days ago :)

Florent 
Attachment (mor1kx_patchs.7z): application/octet-stream, 132 KiB
<div><div dir="ltr">Hi,<div><br></div>
<div>by curiosity I've tried to understand why mor1kx uses more logic than LM32 and already discuss of some points with Stefan last week.</div>
<div><br></div>
<div>To do the comparison, I'm using MiSoC on de0-nano and mixxeo board.<br>
</div>
<div><br></div>
<div>mor1kx and LM32 configurations have to be almost identical, so the attached patch for MiSoC has to be used:</div>
<div>- it disables the store buffer (thanks to the work done by Stefan last week on that).</div>
<div>- it disable burst on Wishbone</div>
<div><br></div>
<div>One other difference is that LM32 does not support signed division and it's not possible to disable it on mor1kx. By removing the logic specific to the signed part of the division, it saves ~130 LUTs on BaseSoC on Mixxeo.</div>
<div><br></div>
<div>With the upstream code of mor1kx we have for BaseSoC:</div>
<div>LM32:&nbsp;2514 regs /&nbsp;3068 luts</div>
<div>mor1kx: 2761 regs / 3937 luts</div>
<div>--&gt; LM32 beats mor1kx by ~250 regs / &nbsp;869-130 = ~740 luts.</div>
<div><br></div>
<div>I've done some others "experiments" on the code to try to reduce this difference, but before doing that I've done some clean up on the code to avoid mixing spaces and tabs</div>
<div>and removed trailing whitespaces, you can merge it... or not :)</div>
<div><br></div>
<div>The "experiments":</div>
<div>- remove some unneeded resets on some alu registers (divider and multiplier). Since decode_valid_i already invalidates the data, there is no reason to reset the data registers.</div>
<div>- when PIC uses LEVEL interruptions, it's not necessary to registers IRQs.</div>
<div>- to my mind, some simplications can be done in&nbsp;mor1kx_ctrl_cappuccino.v to reduce logic.</div>
<div><br></div>
<div>which gives me:</div>
<div>mor1kx: 2771 regs / 3828 luts<br>
</div>
<div>+10 regs / - 110 luts compared to the upstream code.</div>
<div>timings are also better on Altera and Xilinx.</div>
<div><br></div>
<div>I have done very limited tests on the code (run MiSoC Bios with SDRAM test on the de0-nano).</div>
<div><br></div>
<div>With that LM32 still beats mor1kx by ~+250 regs /+ 600 luts... but it was +500 regs/ +1350 luts some days ago :)</div>
<div><br></div>
<div>Florent&nbsp;</div>
</div></div>

Gmane