aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/fpga.scm
Commit message (Collapse)AuthorAge
* gnu: yosys: Update to 0.7.Theodoros Foradis2017-01-01
| | | | | | * gnu/packages/fpga.scm (yosys): Update to 0.7. Signed-off-by: Leo Famulari <leo@famulari.name>
* gnu: yosys: Add xdot functionality.Theodoros Foradis2017-01-01
| | | | | | | * gnu/packages/fpga.scm (yosys)[inputs]: Add xdot, graphviz and psmisc. [arguments]: Add 'fix-paths' phase. Signed-off-by: Leo Famulari <leo@famulari.name>
* gnu: Add gtkwave.Danny Milosavljevic2016-10-09
| | | | | | * gnu/packages/fpga.scm (gtkwave): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: Add arachne-pnr.Danny Milosavljevic2016-10-09
| | | | | | * gnu/packages/fpga.scm (arachne-pnr): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: Add icestorm.Danny Milosavljevic2016-10-09
| | | | | | * gnu/packages/fpga.scm (icestorm): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: Add yosys.Danny Milosavljevic2016-10-09
| | | | | | * gnu/packages/fpga.scm (yosys): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: Add iverilog.Danny Milosavljevic2016-10-09
| | | | | | * gnu/packages/fpga.scm (iverilog): New variable. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
* gnu: Add abc.Danny Milosavljevic2016-10-09
* gnu/packages/fpga.scm (abc): New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>