public domain tools for FPGAs
Go to file
2013-07-03 22:55:53 -06:00
doc Rewrite manuals in the better semantic mdoc format (still works in groff). 2013-07-03 22:55:53 -06:00
libs development postponed until 2014 2013-06-07 19:25:34 -04:00
mini-jtag mini-jtag: reset board before load config bits file 2013-01-16 10:06:36 +08:00
.gitignore minor fix 2013-01-19 08:42:59 -05:00
autotest_diff.sh *.sh: use "/usr/bin/env bash" shebang line 2013-01-16 10:06:36 +08:00
autotest.c more work on distributed memory, fixes 2013-02-15 21:32:12 -05:00
bit2fp.c minor cleanup 2013-02-23 03:28:11 -05:00
blinking_led.c more logic variable reorg 2013-02-14 08:42:08 -05:00
draw_svg_tiles.c started with clock routing 2012-12-07 23:02:04 -05:00
fp2bit.c blinking_led fix 2013-01-18 07:53:30 -05:00
fpgastyle.css css 2012-06-23 16:55:17 +02:00
hello_world.c more logic variable reorg 2013-02-14 08:42:08 -05:00
hstrrep.c fix cppcheck warnings 2013-01-16 10:15:05 +08:00
j1_blinking.c bug fixing 2013-01-21 08:51:38 -05:00
jtag_counter.c bug fixing 2013-01-21 08:51:38 -05:00
lib.svg tiny svg steps 2012-06-18 04:47:51 +02:00
LINKS more dirwire modeling 2012-11-04 14:19:18 +01:00
lut.svg finished lut equiv. schematic 2012-06-23 16:54:53 +02:00
Makefile minor fix 2013-01-19 08:42:59 -05:00
Makefile.common Makefile.common: don't export CC, AR, ... to sub-make 2013-01-16 10:06:36 +08:00
merge_log.sh *.sh: use "/usr/bin/env bash" shebang line 2013-01-16 10:06:36 +08:00
merge_seq.c higher-level compiler warnings - thanks to Werner! 2012-08-14 03:04:33 +02:00
new_fp.c started with clock routing 2012-12-07 23:02:04 -05:00
pair2net.c fix cppcheck warnings 2013-01-16 10:15:05 +08:00
printf_swbits.c happy new year 2013 2013-01-16 10:15:05 +08:00
README development postponed until 2014 2013-06-07 19:25:34 -04:00
sort_seq.c fix cppcheck warnings 2013-01-16 10:15:05 +08:00
UNLICENSE ramb16 cleanup, going public domain, see unlicense.org 2012-06-26 01:45:43 +02:00

**** NOTE - JUNE 2013 ****
 I would L O V E to do continue with fpgatools but each day is
 short so I have to postpone fpgatools development probably
 until 2014. Maybe I can switch directly to Artix then :-)
 If you want to contact me please email wspraul@q-ag.de
****
 
Introduction
 fpgatools is a toolchain to program field-programmable gate arrays
 (FPGAs). The only supported chip at this time is the xc6slx9, a
 45nm-generation fpga with 5720 6-input LUTs, block ram and
 multiply-accumulate devices.

 *) maximize chip performance
 *) fast development cycles
 *) independent toolchain that only depends on free software
 *) reconfigure on-chip
 *) include get-started tools such as jtag, debugging, parts data
    and hardware designs
 *) design flow that includes asic manufacturing
 *) lightweight C implementation without GUI
 *) supported platform: Linux
 *) license: public domain

FAQ
 todo

Libraries

- libfpga-cores      reusable cores
- libfpga-stdlib     standard design elements on top of libfpga-control
- libfpga-control    programmatic access to libfpga-model
- libfpga-model      memory-only representation of an FPGA
- libfpga-floorplan  reads and writes .fp floorplan files
- libfpga-bit        reads and writes .bit bitstream files

Design Utilities

- hello_world        outputs an AND gate floorplan to stdout
- blinking_led       outputs blinking led design to stdout
- new_fp             creates empty .fp floorplan file
- fp2bit             converts .fp floorplan into .bit bitstream
- bit2fp             converts .bit bitstream into .fp floorplan
- draw_svg_tiles     draws a simple .svg showing tile types

fpgatools Development Utilities

- autotest           test suite
- sort_seq           sorts line-based text file by sequence numbers in strings
- merge_seq          merges a pre-sorted text file into wire sequences
- pair2net           reads the first two words per line and builds nets
- hstrrep            high-speed hashed array based search and replace util

Profiling

~# time ./hello_world
~# perf record ./hello_world
~# perf annotate
~# perf report

Design Principles

- small independent command line utilities, no GUI
- plain C, no C++
- simple Makefiles
- text-based file formats
- automatic test suite
- public domain software

TODO (as of February, 2013)

short-term (1 month):
* support block memory
  -> develop structure of dev_bram16/8
  -> write block_mem autotest
* example: counter (including clock, jtag)

mid-term (6 months):
* example: j1 soc
* hls: llvm backend
* maybe fp2bit should natively write ieee1532 and separate tools convert
  from ieee1532 to .bit and other formats
* macc
* more cases in logic block configuration
* autotest: fix bugs in lut_encoding, logic_cfg, routing_sw, io_sw tests
* autotest: protect stderr of diff executable in autotest log
* support chips other than xc6slx9, maybe xc7a20
* write standard design elements for libfpga-stdlib library
* several places might benefit from a bison parser:
  - switchbox description into bit parser/generator (bit_frames.c)
  - inter-tile wire connections (model_conns.c)
  - configure devices and route wires

cleanup (whenever convenient):
* use tile flags instead of tile names
* model connections and switches together rather than separately
* describe more wire names/meanings with integers instead of strings
* move all part-specific static data into xc_info()

long-term (>6 months):
* auto-crc calculation in .bit file
* MCB switches and connections
* support lm32 or openrisc core, either via libfpga or iverilog backend
* ipv6 or vnc in hardware?
* iverilog fpga backend
* design fpga core that uses high-speed icap/reconfig to process data

ChangeLog

2012-12-20
* Second design verified: blinking_led is a clocked design where the clock
  increments a counter and the highest bit of the counter drives a LED.

2012-09-24
* First design verified: hello_world is an unclocked AND gate design
  which was verified in a xc6slx9.

2012-08-20
* Beginning of full fidelity circle with model, floorplan, conversion
  between floorplan and binary configuration formats.

2012-06-03
* Project started.