yosys.git
5 years agoMerge remote-tracking branch 'origin/clifford/fix1065' into xc7mux
Eddie Hung [Wed, 5 Jun 2019 16:56:51 +0000 (09:56 -0700)]
Merge remote-tracking branch 'origin/clifford/fix1065' into xc7mux

5 years agoSuppress driver-driver conflict warning for unknown cell types, fixes #1065
Clifford Wolf [Wed, 5 Jun 2019 07:14:12 +0000 (09:14 +0200)]
Suppress driver-driver conflict warning for unknown cell types, fixes #1065

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoRename shregmap -tech xilinx -> xilinx_dynamic
Eddie Hung [Tue, 4 Jun 2019 21:34:36 +0000 (14:34 -0700)]
Rename shregmap -tech xilinx -> xilinx_dynamic

5 years agoAdd log_assert to ensure no loops
Eddie Hung [Tue, 4 Jun 2019 19:01:25 +0000 (12:01 -0700)]
Add log_assert to ensure no loops

5 years agoOnly toposort builtin and abc types
Eddie Hung [Tue, 4 Jun 2019 18:56:58 +0000 (11:56 -0700)]
Only toposort builtin and abc types

5 years agoAdd space between -D and _ABC
Eddie Hung [Tue, 4 Jun 2019 18:54:08 +0000 (11:54 -0700)]
Add space between -D and _ABC

5 years agoAdd (* abc_flop_q *) to brams_bb.v
Eddie Hung [Tue, 4 Jun 2019 18:53:51 +0000 (11:53 -0700)]
Add (* abc_flop_q *) to brams_bb.v

5 years agoFix name clash
Eddie Hung [Tue, 4 Jun 2019 16:56:36 +0000 (09:56 -0700)]
Fix name clash

5 years agoAdd mux_map.v for wide mux
Eddie Hung [Tue, 4 Jun 2019 16:51:47 +0000 (09:51 -0700)]
Add mux_map.v for wide mux

5 years agoMerge pull request #1062 from tux3/patch-1
Clifford Wolf [Tue, 4 Jun 2019 12:37:10 +0000 (14:37 +0200)]
Merge pull request #1062 from tux3/patch-1

README.md: Missing formatting for <tag>

5 years agoREADME.md: Missing formatting for <tag>
Tux3 [Tue, 4 Jun 2019 08:45:41 +0000 (10:45 +0200)]
README.md: Missing formatting for <tag>

5 years agoMove ff_map back after ABC for shregmap
Eddie Hung [Tue, 4 Jun 2019 06:43:23 +0000 (23:43 -0700)]
Move ff_map back after ABC for shregmap

5 years agoRespect -nocarry
Eddie Hung [Tue, 4 Jun 2019 06:42:30 +0000 (23:42 -0700)]
Respect -nocarry

5 years agoFix pmux2shiftx logic
Eddie Hung [Tue, 4 Jun 2019 06:29:45 +0000 (23:29 -0700)]
Fix pmux2shiftx logic

5 years agoMerge mistake
Eddie Hung [Tue, 4 Jun 2019 06:19:22 +0000 (23:19 -0700)]
Merge mistake

5 years agoMerge remote-tracking branch 'origin/master' into xc7mux
Eddie Hung [Tue, 4 Jun 2019 06:07:08 +0000 (23:07 -0700)]
Merge remote-tracking branch 'origin/master' into xc7mux

5 years agoMerge pull request #1061 from YosysHQ/eddie/techmap_and_arith_map
Eddie Hung [Tue, 4 Jun 2019 03:23:37 +0000 (20:23 -0700)]
Merge pull request #1061 from YosysHQ/eddie/techmap_and_arith_map

Execute techmap and arith_map simultaneously

5 years agoTypo
Eddie Hung [Tue, 4 Jun 2019 03:21:41 +0000 (20:21 -0700)]
Typo

5 years agoRemove extra newline
Eddie Hung [Tue, 4 Jun 2019 03:04:47 +0000 (20:04 -0700)]
Remove extra newline

5 years agoIS_C_INVERTED
Eddie Hung [Tue, 4 Jun 2019 02:45:56 +0000 (19:45 -0700)]
IS_C_INVERTED

5 years agoExecute techmap and arith_map simultaneously
Eddie Hung [Tue, 4 Jun 2019 02:36:09 +0000 (19:36 -0700)]
Execute techmap and arith_map simultaneously

5 years agoFix `ifndef
Eddie Hung [Mon, 3 Jun 2019 19:37:02 +0000 (12:37 -0700)]
Fix `ifndef

5 years agoMake SB_LUT4 a whitebox, SB_DFF a blackbox (for now)
Eddie Hung [Mon, 3 Jun 2019 19:34:55 +0000 (12:34 -0700)]
Make SB_LUT4 a whitebox, SB_DFF a blackbox (for now)

5 years agoAssert that box_unique_id is indeed unique
Eddie Hung [Mon, 3 Jun 2019 19:33:47 +0000 (12:33 -0700)]
Assert that box_unique_id is indeed unique

5 years agoRemove dupe
Eddie Hung [Mon, 3 Jun 2019 19:32:20 +0000 (12:32 -0700)]
Remove dupe

5 years agoSkip internal modules when generating box_unique_id
Eddie Hung [Mon, 3 Jun 2019 19:31:23 +0000 (12:31 -0700)]
Skip internal modules when generating box_unique_id

5 years agoWhen creating new holes cell, inherit parameters too
Eddie Hung [Mon, 3 Jun 2019 19:30:54 +0000 (12:30 -0700)]
When creating new holes cell, inherit parameters too

5 years agoOoopsie
Eddie Hung [Mon, 3 Jun 2019 16:33:42 +0000 (09:33 -0700)]
Ooopsie

5 years agoConsistent with xilinx
Eddie Hung [Mon, 3 Jun 2019 16:23:43 +0000 (09:23 -0700)]
Consistent with xilinx

5 years agoOnly support Symbiotic EDA flavored Verific
Clifford Wolf [Sun, 2 Jun 2019 08:14:50 +0000 (10:14 +0200)]
Only support Symbiotic EDA flavored Verific

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoAdd flops as blackboxes
Eddie Hung [Sat, 1 Jun 2019 01:11:46 +0000 (18:11 -0700)]
Add flops as blackboxes

5 years agoAdd FD*E_1 -> FD*E techmap rules
Eddie Hung [Sat, 1 Jun 2019 01:11:24 +0000 (18:11 -0700)]
Add FD*E_1 -> FD*E techmap rules

5 years agoTechmap flops before ABC again
Eddie Hung [Sat, 1 Jun 2019 01:10:25 +0000 (18:10 -0700)]
Techmap flops before ABC again

5 years agoparse_xaiger to cope with flops
Eddie Hung [Sat, 1 Jun 2019 01:06:36 +0000 (18:06 -0700)]
parse_xaiger to cope with flops

5 years agoABC9 to understand flops
Eddie Hung [Fri, 31 May 2019 22:23:33 +0000 (15:23 -0700)]
ABC9 to understand flops

5 years agoMerge branch 'xaig' into xc7mux
Eddie Hung [Fri, 31 May 2019 20:03:03 +0000 (13:03 -0700)]
Merge branch 'xaig' into xc7mux

5 years agoThrow out unused code inherited from abc
Eddie Hung [Fri, 31 May 2019 19:50:11 +0000 (12:50 -0700)]
Throw out unused code inherited from abc

5 years agoFix "tee" handling of log_streams
Clifford Wolf [Fri, 31 May 2019 07:28:51 +0000 (09:28 +0200)]
Fix "tee" handling of log_streams

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoFix issue where keep signal became PI, but also box was adding CI driver
Eddie Hung [Thu, 30 May 2019 23:03:22 +0000 (16:03 -0700)]
Fix issue where keep signal became PI, but also box was adding CI driver

5 years agoread_xaiger() to name box signals
Eddie Hung [Thu, 30 May 2019 23:02:40 +0000 (16:02 -0700)]
read_xaiger() to name box signals

5 years agoFix spelling
Eddie Hung [Thu, 30 May 2019 22:50:47 +0000 (15:50 -0700)]
Fix spelling

5 years agoRemove whitebox attribute from DRAMs for now
Eddie Hung [Thu, 30 May 2019 20:07:29 +0000 (13:07 -0700)]
Remove whitebox attribute from DRAMs for now

5 years agoDo not re-sort box_module ports
Eddie Hung [Thu, 30 May 2019 19:26:51 +0000 (12:26 -0700)]
Do not re-sort box_module ports

5 years agoRemove whitespace
Eddie Hung [Thu, 30 May 2019 19:25:21 +0000 (12:25 -0700)]
Remove whitespace

5 years agoRevert "Re-enable &dc2"
Eddie Hung [Thu, 30 May 2019 18:41:50 +0000 (11:41 -0700)]
Revert "Re-enable &dc2"

This reverts commit 8c58c728a79954603289abf3520139da0a9bbb26.

5 years agoDo not double count LUT1s
Eddie Hung [Thu, 30 May 2019 18:32:14 +0000 (11:32 -0700)]
Do not double count LUT1s

5 years agoCarry in/out to be the last input/output for chains to be preserved
Eddie Hung [Thu, 30 May 2019 08:23:36 +0000 (01:23 -0700)]
Carry in/out to be the last input/output for chains to be preserved

5 years agoEnable Verific flag veri_elaborate_top_level_modules_having_interface_ports, fixes...
Clifford Wolf [Thu, 30 May 2019 08:03:54 +0000 (10:03 +0200)]
Enable Verific flag veri_elaborate_top_level_modules_having_interface_ports, fixes #1055

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoMerge pull request #1057 from mmicko/fix_478
Clifford Wolf [Thu, 30 May 2019 07:58:51 +0000 (09:58 +0200)]
Merge pull request #1057 from mmicko/fix_478

Aded one more load of .conf to support change of prefix

5 years agoRe-enable &dc2
Eddie Hung [Thu, 30 May 2019 07:42:41 +0000 (00:42 -0700)]
Re-enable &dc2

5 years agoReduce -W to 160
Eddie Hung [Thu, 30 May 2019 06:01:46 +0000 (23:01 -0700)]
Reduce -W to 160

5 years agoSome more realistic delays...
Eddie Hung [Thu, 30 May 2019 05:55:34 +0000 (22:55 -0700)]
Some more realistic delays...

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 agoAded one more load of .conf to support change of prefix
Miodrag Milanovic [Wed, 29 May 2019 16:57:03 +0000 (18:57 +0200)]
Aded one more load of .conf to support change of prefix

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 agoMerge pull request #1049 from YosysHQ/clifford/fix1047
Clifford Wolf [Tue, 28 May 2019 17:02:26 +0000 (19:02 +0200)]
Merge pull request #1049 from YosysHQ/clifford/fix1047

 Do not use shiftmul peepopt pattern when mul result is truncated

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 agoDo not use shiftmul peepopt pattern when mul result is truncated, fixes #1047
Clifford Wolf [Tue, 28 May 2019 13:33:47 +0000 (15:33 +0200)]
Do not use shiftmul peepopt pattern when mul result is truncated, fixes #1047

Signed-off-by: Clifford Wolf <clifford@clifford.at>
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