yosys.git
5 years agoErase all boxes before stitching
Eddie Hung [Thu, 30 May 2019 02:17:36 +0000 (19:17 -0700)]
Erase all boxes before stitching

5 years agoCall &if with -W 250
Eddie Hung [Wed, 29 May 2019 23:34:52 +0000 (16:34 -0700)]
Call &if with -W 250

5 years agoBump ABC
Eddie Hung [Wed, 29 May 2019 23:34:43 +0000 (16:34 -0700)]
Bump ABC

5 years agoRename to #23
Eddie Hung [Wed, 29 May 2019 22:26:33 +0000 (15:26 -0700)]
Rename to #23

5 years agoAdd abc_test024
Eddie Hung [Wed, 29 May 2019 22:24:38 +0000 (15:24 -0700)]
Add abc_test024

5 years agoFix abc_test024
Eddie Hung [Wed, 29 May 2019 22:24:09 +0000 (15:24 -0700)]
Fix abc_test024

5 years agoAdd some debug to abc9
Eddie Hung [Wed, 29 May 2019 22:21:41 +0000 (15:21 -0700)]
Add some debug to abc9

5 years agoAdd abc9_test022
Eddie Hung [Tue, 28 May 2019 19:43:07 +0000 (12:43 -0700)]
Add abc9_test022

5 years agoFix for abc9_test022
Eddie Hung [Tue, 28 May 2019 19:42:17 +0000 (12:42 -0700)]
Fix for abc9_test022

5 years agoSmall improvement
Eddie Hung [Tue, 28 May 2019 18:29:59 +0000 (11:29 -0700)]
Small improvement

5 years agoFrom master
Eddie Hung [Tue, 28 May 2019 16:38:58 +0000 (09:38 -0700)]
From master

5 years agoFrom master
Eddie Hung [Tue, 28 May 2019 16:37:50 +0000 (09:37 -0700)]
From master

5 years agoTypo
Eddie Hung [Tue, 28 May 2019 16:36:01 +0000 (09:36 -0700)]
Typo

5 years agoUpdate from master
Eddie Hung [Tue, 28 May 2019 16:35:45 +0000 (09:35 -0700)]
Update from master

5 years agoUpdate README.md from master
Eddie Hung [Tue, 28 May 2019 16:32:18 +0000 (09:32 -0700)]
Update README.md from master

5 years agoMerge remote-tracking branch 'origin/master' into xc7mux
Eddie Hung [Tue, 28 May 2019 16:30:53 +0000 (09:30 -0700)]
Merge remote-tracking branch 'origin/master' into xc7mux

5 years agoread_aiger to only clean own design
Eddie Hung [Tue, 28 May 2019 15:45:10 +0000 (08:45 -0700)]
read_aiger to only clean own design

5 years agoMisspell
Eddie Hung [Tue, 28 May 2019 15:44:59 +0000 (08:44 -0700)]
Misspell

5 years agoMerge pull request #1050 from YosysHQ/clifford/wandwor
Clifford Wolf [Tue, 28 May 2019 15:42:16 +0000 (17:42 +0200)]
Merge pull request #1050 from YosysHQ/clifford/wandwor

Refactored wand/wor support

5 years agoMerge pull request #1048 from mmicko/fix_enable_pyosys
Clifford Wolf [Tue, 28 May 2019 14:52:40 +0000 (16:52 +0200)]
Merge pull request #1048 from mmicko/fix_enable_pyosys

Moved pyosys block in Makefile

5 years agoRefactor hierarchy wand/wor handling
Clifford Wolf [Tue, 28 May 2019 14:43:25 +0000 (16:43 +0200)]
Refactor hierarchy wand/wor handling

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoAdd actual wandwor test that is part of "make test"
Clifford Wolf [Tue, 28 May 2019 14:42:50 +0000 (16:42 +0200)]
Add actual wandwor test that is part of "make test"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge branch 'wandwor' of https://github.com/thasti/yosys into clifford/wandwor
Clifford Wolf [Tue, 28 May 2019 13:45:15 +0000 (15:45 +0200)]
Merge branch 'wandwor' of https://github.com/thasti/yosys into clifford/wandwor

5 years agoRemove info line in 2nd load of conf file
Miodrag Milanovic [Tue, 28 May 2019 13:43:27 +0000 (15:43 +0200)]
Remove info line in 2nd load of conf file

5 years agoMoved pyosys block in Makefile
Miodrag Milanovic [Tue, 28 May 2019 12:53:07 +0000 (14:53 +0200)]
Moved pyosys block in Makefile

5 years agoMerge pull request #1045 from mmicko/afl-gcc-target
Clifford Wolf [Tue, 28 May 2019 12:00:28 +0000 (14:00 +0200)]
Merge pull request #1045 from mmicko/afl-gcc-target

afl-fuzzer compile config

5 years agoIf driver not found, use LUT2
Eddie Hung [Tue, 28 May 2019 06:12:21 +0000 (23:12 -0700)]
If driver not found, use LUT2

5 years agoParse "a" extension and boxes from map file
Eddie Hung [Tue, 28 May 2019 06:11:21 +0000 (23:11 -0700)]
Parse "a" extension and boxes from map file

5 years agoMap file to include boxes not CI/CO
Eddie Hung [Tue, 28 May 2019 06:10:59 +0000 (23:10 -0700)]
Map file to include boxes not CI/CO

5 years agoMake MUXF{7,8} and CARRY4 whitebox
Eddie Hung [Tue, 28 May 2019 06:09:06 +0000 (23:09 -0700)]
Make MUXF{7,8} and CARRY4 whitebox

5 years agoRe-enable lib_whitebox
Eddie Hung [Tue, 28 May 2019 06:08:55 +0000 (23:08 -0700)]
Re-enable lib_whitebox

5 years agoDisconnect all ABC boxes too
Eddie Hung [Tue, 28 May 2019 02:40:27 +0000 (19:40 -0700)]
Disconnect all ABC boxes too

5 years agoRemove unused function
Eddie Hung [Mon, 27 May 2019 20:49:42 +0000 (13:49 -0700)]
Remove unused function

5 years agoparse_xaiger to not parse symbol table
Eddie Hung [Mon, 27 May 2019 19:34:17 +0000 (12:34 -0700)]
parse_xaiger to not parse symbol table

5 years agoParse without wideports
Eddie Hung [Mon, 27 May 2019 19:22:05 +0000 (12:22 -0700)]
Parse without wideports

5 years agoRemove mapped_mod when done
Eddie Hung [Mon, 27 May 2019 19:19:21 +0000 (12:19 -0700)]
Remove mapped_mod when done

5 years agoInstantiate cell type (from sym file) otherwise 'clean' warnings
Eddie Hung [Mon, 27 May 2019 19:16:10 +0000 (12:16 -0700)]
Instantiate cell type (from sym file) otherwise 'clean' warnings

5 years agomake config-afl-gcc to help creating conf file
Miodrag Milanovic [Mon, 27 May 2019 18:43:10 +0000 (20:43 +0200)]
make config-afl-gcc to help creating conf file

5 years agoAdd 'cinput' and 'coutput' to symbols file for boxes
Eddie Hung [Mon, 27 May 2019 18:38:52 +0000 (11:38 -0700)]
Add 'cinput' and 'coutput' to symbols file for boxes

5 years agoAdded afl-gcc as target for fuzzer
Miodrag Milanovic [Mon, 27 May 2019 18:38:44 +0000 (20:38 +0200)]
Added afl-gcc as target for fuzzer

5 years agoMerge branch 'master' into wandwor
Stefan Biereigel [Mon, 27 May 2019 17:07:46 +0000 (19:07 +0200)]
Merge branch 'master' into wandwor

5 years agoreformat wand/wor test
Stefan Biereigel [Mon, 27 May 2019 16:45:54 +0000 (18:45 +0200)]
reformat wand/wor test

5 years agoremove port direction workaround from test case
Stefan Biereigel [Mon, 27 May 2019 16:10:39 +0000 (18:10 +0200)]
remove port direction workaround from test case

5 years agoupdate README.md with wand/wor information
Stefan Biereigel [Mon, 27 May 2019 16:07:12 +0000 (18:07 +0200)]
update README.md with wand/wor information

5 years agoremove leftovers from ast data structures
Stefan Biereigel [Mon, 27 May 2019 16:01:44 +0000 (18:01 +0200)]
remove leftovers from ast data structures

5 years agomove wand/wor resolution into hierarchy pass
Stefan Biereigel [Mon, 27 May 2019 16:00:22 +0000 (18:00 +0200)]
move wand/wor resolution into hierarchy pass

5 years agoMerge pull request #1044 from mmicko/invalid_width_range
Clifford Wolf [Mon, 27 May 2019 11:26:12 +0000 (13:26 +0200)]
Merge pull request #1044 from mmicko/invalid_width_range

Give error instead of asserting for invalid range, fixes #947

5 years agoMerge pull request #1043 from mmicko/unsized_constant
Clifford Wolf [Mon, 27 May 2019 11:25:52 +0000 (13:25 +0200)]
Merge pull request #1043 from mmicko/unsized_constant

Added support for unsized constants, fixes #1022

5 years agoMerge pull request #1026 from YosysHQ/clifford/fix1023
Clifford Wolf [Mon, 27 May 2019 11:24:19 +0000 (13:24 +0200)]
Merge pull request #1026 from YosysHQ/clifford/fix1023

 Keep zero-width wires in opt_clean if and only if they are ports

5 years agoMerge pull request #1030 from Kmanfi/makefile_osx
Clifford Wolf [Mon, 27 May 2019 11:22:51 +0000 (13:22 +0200)]
Merge pull request #1030 from Kmanfi/makefile_osx

OS X related Makefile fixes.

5 years agoGive error instead of asserting for invalid range, fixes #947
Miodrag Milanovic [Mon, 27 May 2019 10:25:18 +0000 (12:25 +0200)]
Give error instead of asserting for invalid range, fixes #947

5 years agoAdded support for unsized constants, fixes #1022
Miodrag Milanovic [Mon, 27 May 2019 09:42:10 +0000 (11:42 +0200)]
Added support for unsized constants, fixes #1022
Includes work from @sumit0190 and @AaronKel

5 years agoGuard all Python-api related items.
Kaj Tuomi [Mon, 27 May 2019 08:31:50 +0000 (11:31 +0300)]
Guard all Python-api related items.

5 years agoFix "a" connectivity
Eddie Hung [Sun, 26 May 2019 21:14:13 +0000 (14:14 -0700)]
Fix "a" connectivity

5 years agoBlackboxes
Eddie Hung [Sun, 26 May 2019 18:32:02 +0000 (11:32 -0700)]
Blackboxes

5 years agoABC9 to call &sweep
Eddie Hung [Sun, 26 May 2019 18:31:35 +0000 (11:31 -0700)]
ABC9 to call &sweep

5 years agoFix padding, remove CIs from undriven_bits before erasing undriven POs
Eddie Hung [Sun, 26 May 2019 18:26:38 +0000 (11:26 -0700)]
Fix padding, remove CIs from undriven_bits before erasing undriven POs

5 years agoTypo
Eddie Hung [Sun, 26 May 2019 10:17:20 +0000 (03:17 -0700)]
Typo

5 years agoMuck about with LUT delays some more
Eddie Hung [Sun, 26 May 2019 09:52:48 +0000 (02:52 -0700)]
Muck about with LUT delays some more

5 years agoCombine ABC_COMMAND_LUT
Eddie Hung [Sun, 26 May 2019 09:47:06 +0000 (02:47 -0700)]
Combine ABC_COMMAND_LUT

5 years agoFix "a" extension
Eddie Hung [Sun, 26 May 2019 09:44:36 +0000 (02:44 -0700)]
Fix "a" extension

5 years agoMerge pull request #1035 from YosysHQ/eddie/opt_rmdff
Clifford Wolf [Sun, 26 May 2019 09:44:31 +0000 (11:44 +0200)]
Merge pull request #1035 from YosysHQ/eddie/opt_rmdff

opt_rmdff to work on $dffe and $_DFFE_*

5 years agoMerge pull request #1042 from mmicko/git_ignore_python
Clifford Wolf [Sun, 26 May 2019 08:40:40 +0000 (10:40 +0200)]
Merge pull request #1042 from mmicko/git_ignore_python

Add files to ignore for python build

5 years agoAdd files to ignore for python build
Miodrag Milanovic [Sun, 26 May 2019 07:31:43 +0000 (09:31 +0200)]
Add files to ignore for python build

5 years agoFix "write_xaiger", and to write each box contents into holes
Eddie Hung [Sun, 26 May 2019 05:34:50 +0000 (22:34 -0700)]
Fix "write_xaiger", and to write each box contents into holes

5 years agoMerge remote-tracking branch 'origin/master' into xc7mux
Eddie Hung [Sun, 26 May 2019 03:50:47 +0000 (20:50 -0700)]
Merge remote-tracking branch 'origin/master' into xc7mux

5 years agoRevert enable check
Eddie Hung [Sat, 25 May 2019 19:55:57 +0000 (12:55 -0700)]
Revert enable check

5 years agoMerge pull request #1041 from YosysHQ/clifford/fix1040
Clifford Wolf [Sat, 25 May 2019 17:17:05 +0000 (19:17 +0200)]
Merge pull request #1041 from YosysHQ/clifford/fix1040

Fix handling of offset and upto module ports in write_blif

5 years agoFix handling of offset and upto module ports in write_blif, fixes #1040
Clifford Wolf [Sat, 25 May 2019 15:45:14 +0000 (17:45 +0200)]
Fix handling of offset and upto module ports in write_blif, fixes #1040

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoTry new LUT delays
Eddie Hung [Sat, 25 May 2019 03:39:55 +0000 (20:39 -0700)]
Try new LUT delays

5 years agoFix init
Eddie Hung [Sat, 25 May 2019 01:43:26 +0000 (18:43 -0700)]
Fix init

5 years agoFix typos
Eddie Hung [Sat, 25 May 2019 01:34:27 +0000 (18:34 -0700)]
Fix typos

5 years agoAdd more tests
Eddie Hung [Sat, 25 May 2019 01:33:18 +0000 (18:33 -0700)]
Add more tests

5 years agoCall proc
Eddie Hung [Sat, 25 May 2019 01:32:02 +0000 (18:32 -0700)]
Call proc

5 years agoopt_rmdff to optimise even in presence of enable signal, even removing
Eddie Hung [Sat, 25 May 2019 01:30:51 +0000 (18:30 -0700)]
opt_rmdff to optimise even in presence of enable signal, even removing

5 years agoFix duplicate driver
Eddie Hung [Sat, 25 May 2019 00:44:57 +0000 (17:44 -0700)]
Fix duplicate driver

5 years agoAdd comments
Eddie Hung [Fri, 24 May 2019 23:33:10 +0000 (16:33 -0700)]
Add comments

5 years agoResolve @cliffordwolf review, set even if !has_init
Eddie Hung [Fri, 24 May 2019 23:15:22 +0000 (16:15 -0700)]
Resolve @cliffordwolf review, set even if !has_init

5 years agoAdd &fraig and &mfs back
Eddie Hung [Fri, 24 May 2019 22:10:18 +0000 (15:10 -0700)]
Add &fraig and &mfs back

5 years agoTranspose CARRY4 delays
Eddie Hung [Fri, 24 May 2019 21:09:15 +0000 (14:09 -0700)]
Transpose CARRY4 delays

5 years agoAdd proper error message for btor recursion_guard
Clifford Wolf [Fri, 24 May 2019 14:22:34 +0000 (16:22 +0200)]
Add proper error message for btor recursion_guard

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge remote-tracking branch 'origin/master' into xc7mux
Eddie Hung [Thu, 23 May 2019 20:38:04 +0000 (13:38 -0700)]
Merge remote-tracking branch 'origin/master' into xc7mux

5 years agoMerge remote-tracking branch 'origin/eddie/opt_rmdff' into xc7mux
Eddie Hung [Thu, 23 May 2019 20:37:53 +0000 (13:37 -0700)]
Merge remote-tracking branch 'origin/eddie/opt_rmdff' into xc7mux

5 years agoMerge pull request #1036 from YosysHQ/eddie/xilinx_dram
Eddie Hung [Thu, 23 May 2019 20:13:10 +0000 (13:13 -0700)]
Merge pull request #1036 from YosysHQ/eddie/xilinx_dram

Add "min bits" and "min wports" to xilinx dram rules

5 years agoFix spacing
Eddie Hung [Thu, 23 May 2019 19:58:30 +0000 (12:58 -0700)]
Fix spacing

5 years agoAdd "min bits" and "min wports" to xilinx dram rules
Eddie Hung [Thu, 23 May 2019 18:32:28 +0000 (11:32 -0700)]
Add "min bits" and "min wports" to xilinx dram rules

5 years agoAdd opt_rmdff tests
Eddie Hung [Thu, 23 May 2019 18:26:38 +0000 (11:26 -0700)]
Add opt_rmdff tests

5 years agoopt_rmdff to work on $dffe and $_DFFE_*
Eddie Hung [Thu, 23 May 2019 18:26:18 +0000 (11:26 -0700)]
opt_rmdff to work on $dffe and $_DFFE_*

5 years agoAdd whitebox support to DRAM
Eddie Hung [Thu, 23 May 2019 15:58:57 +0000 (08:58 -0700)]
Add whitebox support to DRAM

5 years agofix assignment of non-wires
Stefan Biereigel [Thu, 23 May 2019 15:55:56 +0000 (17:55 +0200)]
fix assignment of non-wires

5 years agoadd simple test case for wand/wor
Stefan Biereigel [Thu, 23 May 2019 11:42:42 +0000 (13:42 +0200)]
add simple test case for wand/wor

5 years agofix indentation across files
Stefan Biereigel [Thu, 23 May 2019 11:42:30 +0000 (13:42 +0200)]
fix indentation across files

5 years agoimplementation for assignments working
Stefan Biereigel [Thu, 23 May 2019 08:16:41 +0000 (10:16 +0200)]
implementation for assignments working

5 years agomake lexer/parser aware of wand/wor net types
Stefan Biereigel [Wed, 22 May 2019 12:22:42 +0000 (14:22 +0200)]
make lexer/parser aware of wand/wor net types

5 years agoMerge pull request #1031 from mdaiter/optimizeLookupTableBtor
Clifford Wolf [Thu, 23 May 2019 11:52:48 +0000 (13:52 +0200)]
Merge pull request #1031 from mdaiter/optimizeLookupTableBtor

Optimize numberOfPermutations

5 years agoOptimize numberOfPermutations
Matthew Daiter [Wed, 22 May 2019 21:14:13 +0000 (17:14 -0400)]
Optimize numberOfPermutations

5 years agoOS X related fixes.
Kaj Tuomi [Wed, 22 May 2019 19:58:12 +0000 (22:58 +0300)]
OS X related fixes.

5 years agoKeep zero-width wires in opt_clean if and only if they are ports, fixes #1023
Clifford Wolf [Wed, 22 May 2019 11:56:56 +0000 (13:56 +0200)]
Keep zero-width wires in opt_clean if and only if they are ports, fixes #1023

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoFix handling of warning and error messages within log_make_debug-blocks
Clifford Wolf [Wed, 22 May 2019 11:46:38 +0000 (13:46 +0200)]
Fix handling of warning and error messages within log_make_debug-blocks

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge pull request #1019 from YosysHQ/clifford/fix1016
Clifford Wolf [Wed, 22 May 2019 11:29:04 +0000 (13:29 +0200)]
Merge pull request #1019 from YosysHQ/clifford/fix1016

Add "wreduce -keepdc"