Execute techmap and arith_map simultaneously

Fix `ifndef

Make SB_LUT4 a whitebox, SB_DFF a blackbox (for now)

Assert that box_unique_id is indeed unique

Remove dupe

Skip internal modules when generating box_unique_id

When creating new holes cell, inherit parameters too

Ooopsie

Consistent with xilinx

Added tests for attributes

Signed-off-by: Maciej Kurc <mkurc@antmicro.com>

Only support Symbiotic EDA flavored Verific

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Add flops as blackboxes

Add FD*E_1 -> FD*E techmap rules

Techmap flops before ABC again

parse_xaiger to cope with flops

ABC9 to understand flops

Merge branch 'xaig' into xc7mux

Throw out unused code inherited from abc

Added support for parsing attributes on port connections.

Signed-off-by: Maciej Kurc <mkurc@antmicro.com>

Fix "tee" handling of log_streams

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Fix issue where keep signal became PI, but also box was adding CI driver

read_xaiger() to name box signals

Fix spelling

Remove whitebox attribute from DRAMs for now

Do not re-sort box_module ports

Remove whitespace

Revert "Re-enable &dc2"

This reverts commit 8c58c728a79954603289abf3520139da0a9bbb26.

Do not double count LUT1s

Carry in/out to be the last input/output for chains to be preserved

Enable Verific flag veri_elaborate_top_level_modules_having_interface_ports, fixes #1055

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #1057 from mmicko/fix_478

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

Re-enable &dc2

Reduce -W to 160

Some more realistic delays...

Erase all boxes before stitching

Call &if with -W 250

Bump ABC

Rename to #23

Add abc_test024

Fix abc_test024

Add some debug to abc9

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

Add abc9_test022

Fix for abc9_test022

Small improvement

Merge pull request #1049 from YosysHQ/clifford/fix1047

 Do not use shiftmul peepopt pattern when mul result is truncated

From master

From master

Typo

Update from master

Update README.md from master

Merge remote-tracking branch 'origin/master' into xc7mux

read_aiger to only clean own design

Misspell

Merge pull request #1050 from YosysHQ/clifford/wandwor

Refactored wand/wor support

Do not use shiftmul peepopt pattern when mul result is truncated, fixes #1047

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #1048 from mmicko/fix_enable_pyosys

Moved pyosys block in Makefile

Refactor hierarchy wand/wor handling

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Add actual wandwor test that is part of "make test"

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge branch 'wandwor' of https://github.com/thasti/yosys into clifford/wandwor

Remove info line in 2nd load of conf file

Moved pyosys block in Makefile

Merge pull request #1045 from mmicko/afl-gcc-target

afl-fuzzer compile config

If driver not found, use LUT2

Parse "a" extension and boxes from map file

Map file to include boxes not CI/CO

Make MUXF{7,8} and CARRY4 whitebox

Re-enable lib_whitebox

Disconnect all ABC boxes too

Remove unused function

parse_xaiger to not parse symbol table

Parse without wideports

Remove mapped_mod when done

Instantiate cell type (from sym file) otherwise 'clean' warnings

make config-afl-gcc to help creating conf file

Add 'cinput' and 'coutput' to symbols file for boxes

Added afl-gcc as target for fuzzer

Merge branch 'master' into wandwor

reformat wand/wor test

remove port direction workaround from test case

update README.md with wand/wor information

remove leftovers from ast data structures

move wand/wor resolution into hierarchy pass

Merge pull request #1044 from mmicko/invalid_width_range

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

Merge pull request #1043 from mmicko/unsized_constant

Added support for unsized constants, fixes #1022

Merge pull request #1026 from YosysHQ/clifford/fix1023

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

Merge pull request #1030 from Kmanfi/makefile_osx

OS X related Makefile fixes.

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

Added support for unsized constants, fixes #1022
Includes work from @sumit0190 and @AaronKel

Guard all Python-api related items.

Fix "a" connectivity

Blackboxes

ABC9 to call &sweep

Fix padding, remove CIs from undriven_bits before erasing undriven POs

Typo

Muck about with LUT delays some more

Combine ABC_COMMAND_LUT

Fix "a" extension

Merge pull request #1035 from YosysHQ/eddie/opt_rmdff

opt_rmdff to work on $dffe and $_DFFE_*

Merge pull request #1042 from mmicko/git_ignore_python

Add files to ignore for python build