[libre-riscv-dev] [Bug 178] first coriolis2 tutorial, workflow and "test project" page
Jean-Paul.Chaput at lip6.fr
Sun Feb 16 09:56:38 GMT 2020
Could you add my public key to the gitolite so I can check out
your ASIC test repository (in order to backport your modifications
in alliance-check-toolkit). I did send the public key directly to you
in a separate email.
My policy regarding the backport of modifications is that they should
"enhance" or "extend" functionalities without going "against" the
overall structural choices I did make to implement the design flow.
And of course, bug corrections are systematically included.
You may check if a modification is ok by running the regression
test suite with the shell script "bin/go.sh" (must be launched
from the "benchs" directory).
The Makefile system was the quickest way to stitch together the
design flow. In the long run, what I would try is to wrap each
external (non-Coriolis2 tool) in a Python wrapper, so making a
design will be one big Python script.
On Wed, 2020-02-12 at 00:42 +0000, Luke Kenneth Casson Leighton wrote:
> On Tuesday, February 11, 2020, Jean-Paul Chaput <Jean-Paul.Chaput at lip6.fr>
> > On Tue, 2020-02-11 at 17:04 +0000, bugzilla-daemon at libre-riscv.org wrote:
> > > http://bugs.libre-riscv.org/show_bug.cgi?id=178
> > >
> > > --- Comment #1 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
> > > ok tobias i've created a soclayout repo:
> > > git clone gitolite3 at libre-riscv.org:soclayout.git
> > >
> > > can i suggest copying the alliance-check-toolkit/benchs/6502/cmos
> > directory, it
> > > looks dead simple?
> > No problem. This is all free (GPLed).
> > > we don't however want to use verilog, we want ilang, so the
> > synthesis-yosys.mk
> > > file will need changing.
> > Can you supply me with a ".il" or a deterministic way to produce one
> > and I will integrate it to alliance-check-toolkit.
> it is actually possible to import verilog, output ilang, and of course then
> simply read it back in.
> i will however do one tomorrow, it will not be a full chip just a circuit
> or i tell you what, if you are happy to assume nmigen is installed then the
> basic example alu.oy would be a good one to add.
> that you just do python3 nmigen/examples/basic/alu.py gen -t ilang > alu.il
> then use the "read_ilang" command from there.
> the top level is always called top in nmigen (there may be a way to ask for
> an explicit name).
> > My vision of alliance-check-toolkit is to gather all kinds of designs
> > o one in it to server as regression tests / benchmarks / examples.
> good idea
> > > i just managed to verify that the following (manually-run) yosys
> > > commands will work:
> > >
> > > set liberty_file
> > > /home/chroot/coriolis/home/lkcl/alliance/install/cells/sxlib/sxlib.lib
> > > read_ilang part_sig_add.il
> > > hierarchy -check -top top
> > > synth -top top
> > > dfflibmap -liberty $liberty_file
> > > abc -liberty $liberty_file
> > > clean
> > > write_blif test.blif
> > >
> > > and ta-daaa, it produced a blif file!
> > >
> > > if you can modify the mk/synthesis-yosys.mk file that comes with the
> > 6502/cmos
> > > to take into account we are using ilang, that would make a great start.
> > Yes, see above.
> > > we can then pick a simple module as a starting point and go from there.
> > >
> > > later we can do another one with, say, the ARM chip, which has actual
> > > GPIO pads.
> > I've also remembered that Coriolis is almost completely configured to
> > use MOSIS scn6m_deep "real" technology which is a 180nm one.
> > It can be used to check the whole toolchain down to real layout.
> okaay. how do we do that?
> > Thanks to Pr. Shimizu who did make the RDS file.
> > You can then see your design in GDS under Magic.
> niice. that's where we need to go.
.-. J e a n - P a u l C h a p u t / Administrateur Systeme
/v\ Jean-Paul.Chaput at lip6.fr
/(___)\ work: (33) 01.44.27.53.99
^^ ^^ cell: 06.66.25.35.55 home: 09.65.29.83.38
U P M C Universite Pierre & Marie Curie
L I P 6 Laboratoire d'Informatique de Paris VI
S o C System On Chip
More information about the libre-riscv-dev