yosys.git
10 years agoFixed MXE build
Clifford Wolf [Wed, 15 Oct 2014 00:43:50 +0000 (02:43 +0200)]
Fixed MXE build

10 years agoMerge branch 'win32'
Clifford Wolf [Tue, 14 Oct 2014 23:20:14 +0000 (01:20 +0200)]
Merge branch 'win32'

10 years agoCheck for _YOSYS_ in yosys.h
Clifford Wolf [Tue, 14 Oct 2014 23:18:31 +0000 (01:18 +0200)]
Check for _YOSYS_ in yosys.h

10 years agoUpdated .gitignore file for ilang and verilog frontends
Clifford Wolf [Tue, 14 Oct 2014 23:14:38 +0000 (01:14 +0200)]
Updated .gitignore file for ilang and verilog frontends

10 years agoReplaced readsome() with read() and gcount()
Clifford Wolf [Tue, 14 Oct 2014 23:12:53 +0000 (01:12 +0200)]
Replaced readsome() with read() and gcount()

10 years agoA few indent fixes
Clifford Wolf [Tue, 14 Oct 2014 23:05:08 +0000 (01:05 +0200)]
A few indent fixes

10 years agoChanged from "and" to "&&"
William Speirs [Tue, 14 Oct 2014 21:15:35 +0000 (17:15 -0400)]
Changed from "and" to "&&"

10 years agoChanged to explicit heap allocated memory
William Speirs [Tue, 14 Oct 2014 21:15:08 +0000 (17:15 -0400)]
Changed to explicit heap allocated memory

10 years agoWrapped init in std::set constructor
William Speirs [Tue, 14 Oct 2014 21:10:53 +0000 (17:10 -0400)]
Wrapped init in std::set constructor

10 years agoMade iterators extend std::iterator and added == operator
William Speirs [Tue, 14 Oct 2014 21:10:08 +0000 (17:10 -0400)]
Made iterators extend std::iterator and added == operator

10 years agoDefine empty __attribute__ macro for non-gcc, non-clang compilers
Clifford Wolf [Tue, 14 Oct 2014 22:56:04 +0000 (00:56 +0200)]
Define empty __attribute__ macro for non-gcc, non-clang compilers

10 years agoFixed log so it will compile under Visual Studio
William Speirs [Tue, 14 Oct 2014 21:07:30 +0000 (17:07 -0400)]
Fixed log so it will compile under Visual Studio
- Included an implementation of gettimeofday

10 years agoUpdated lexers & parsers to include prefixes
William Speirs [Tue, 14 Oct 2014 21:06:02 +0000 (17:06 -0400)]
Updated lexers & parsers to include prefixes

10 years agoUpdated ABC, enabled ABC in mxe builds
Clifford Wolf [Tue, 14 Oct 2014 22:41:14 +0000 (00:41 +0200)]
Updated ABC, enabled ABC in mxe builds

10 years agoRemoved CHECK() macro from libparse.cc (was using non-std c features)
Clifford Wolf [Mon, 13 Oct 2014 15:22:06 +0000 (17:22 +0200)]
Removed CHECK() macro from libparse.cc (was using non-std c features)

10 years agoFixed ABC ARCHFLAGS for win32 cross build
Clifford Wolf [Sun, 12 Oct 2014 13:02:40 +0000 (15:02 +0200)]
Fixed ABC ARCHFLAGS for win32 cross build

10 years agoMore win32/abc fixes
Clifford Wolf [Sun, 12 Oct 2014 12:48:19 +0000 (14:48 +0200)]
More win32/abc fixes

10 years agoVarious Makefile changes for cross-compiling ABC for Win32
Clifford Wolf [Sun, 12 Oct 2014 11:48:05 +0000 (13:48 +0200)]
Various Makefile changes for cross-compiling ABC for Win32

10 years agoVarious small fixes for non-win32 builds
Clifford Wolf [Sun, 12 Oct 2014 10:18:38 +0000 (12:18 +0200)]
Various small fixes for non-win32 builds

10 years agoAdded make_temp_{file,dir}() and remove_directory() APIs
Clifford Wolf [Sun, 12 Oct 2014 10:11:57 +0000 (12:11 +0200)]
Added make_temp_{file,dir}() and remove_directory() APIs

10 years agoUsing stringf() instead of asprintf() in "abc" pass
Clifford Wolf [Sun, 12 Oct 2014 09:17:53 +0000 (11:17 +0200)]
Using stringf() instead of asprintf() in "abc" pass

10 years agoAdded run_command() api to replace system() and popen()
Clifford Wolf [Sun, 12 Oct 2014 08:57:15 +0000 (10:57 +0200)]
Added run_command() api to replace system() and popen()

10 years agoRenamed "log.cc" to "logcmd.cc" so there aren't two "log.cc" in the source tree
Clifford Wolf [Sat, 11 Oct 2014 10:13:46 +0000 (12:13 +0200)]
Renamed "log.cc" to "logcmd.cc" so there aren't two "log.cc" in the source tree

10 years agoShrinked the copyright banner by 1 character
Clifford Wolf [Sat, 11 Oct 2014 09:59:35 +0000 (11:59 +0200)]
Shrinked the copyright banner by 1 character

10 years agoAdded "make dist" for mxe builds
Clifford Wolf [Sat, 11 Oct 2014 09:53:36 +0000 (11:53 +0200)]
Added "make dist" for mxe builds

10 years agoFixed Makefile PRETTY=1 for MXE (win32) and EMCC (js) builds
Clifford Wolf [Sat, 11 Oct 2014 09:44:36 +0000 (11:44 +0200)]
Fixed Makefile PRETTY=1 for MXE (win32) and EMCC (js) builds

10 years agoDo not the 'z' modifier in format string (another win32 fix)
Clifford Wolf [Sat, 11 Oct 2014 09:42:08 +0000 (11:42 +0200)]
Do not the 'z' modifier in format string (another win32 fix)

10 years agoFixed win32 troubles with f.readsome()
Clifford Wolf [Sat, 11 Oct 2014 09:36:22 +0000 (11:36 +0200)]
Fixed win32 troubles with f.readsome()

10 years agoStrip win32 executeables
Clifford Wolf [Sat, 11 Oct 2014 09:35:54 +0000 (11:35 +0200)]
Strip win32 executeables

10 years agoAdded proc_self_dirname() for win32
Clifford Wolf [Sat, 11 Oct 2014 09:08:52 +0000 (11:08 +0200)]
Added proc_self_dirname() for win32

10 years agoFixed MXE readline support
Clifford Wolf [Sat, 11 Oct 2014 08:59:11 +0000 (10:59 +0200)]
Fixed MXE readline support

10 years agoFixed ifdefs for plugin unloading
Clifford Wolf [Sat, 11 Oct 2014 08:57:46 +0000 (10:57 +0200)]
Fixed ifdefs for plugin unloading

10 years agoDisabled "cover -d" on win32
Clifford Wolf [Sat, 11 Oct 2014 08:49:43 +0000 (10:49 +0200)]
Disabled "cover -d" on win32

10 years agoNot using std::to_string in ezsat (problems with mingw)
Clifford Wolf [Sat, 11 Oct 2014 08:46:50 +0000 (10:46 +0200)]
Not using std::to_string in ezsat (problems with mingw)

10 years agoDisabled vhdl2verilog command for win32 builds
Clifford Wolf [Sat, 11 Oct 2014 08:46:19 +0000 (10:46 +0200)]
Disabled vhdl2verilog command for win32 builds

10 years agoDisabled ezminisat timeout feature for Win32
Clifford Wolf [Sat, 11 Oct 2014 08:24:46 +0000 (10:24 +0200)]
Disabled ezminisat timeout feature for Win32

10 years agoUsing next_token() to parse commands
Clifford Wolf [Fri, 10 Oct 2014 16:53:03 +0000 (18:53 +0200)]
Using next_token() to parse commands

10 years agoFixed next_token()
Clifford Wolf [Fri, 10 Oct 2014 16:38:40 +0000 (18:38 +0200)]
Fixed next_token()

10 years agoMore Win32 build fixes
Clifford Wolf [Fri, 10 Oct 2014 16:34:19 +0000 (18:34 +0200)]
More Win32 build fixes

10 years agoAdded next_token() function (strtok() replacement)
Clifford Wolf [Fri, 10 Oct 2014 16:33:55 +0000 (18:33 +0200)]
Added next_token() function (strtok() replacement)

10 years agoVarious win32 build fixes in yosys.cc
Clifford Wolf [Fri, 10 Oct 2014 16:19:18 +0000 (18:19 +0200)]
Various win32 build fixes in yosys.cc

10 years agoMoved patmatch() to yosys.cc
Clifford Wolf [Fri, 10 Oct 2014 16:19:00 +0000 (18:19 +0200)]
Moved patmatch() to yosys.cc

10 years agoReplaced fnmatch() with patmatch()
Clifford Wolf [Fri, 10 Oct 2014 16:02:17 +0000 (18:02 +0200)]
Replaced fnmatch() with patmatch()

10 years agoAdded format __attribute__ to stringf()
Clifford Wolf [Fri, 10 Oct 2014 15:22:08 +0000 (17:22 +0200)]
Added format __attribute__ to stringf()

10 years agoRenamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32
Clifford Wolf [Fri, 10 Oct 2014 15:06:02 +0000 (17:06 +0200)]
Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32

10 years agoRenamed SIZE() to GetSize() because of name collision on Win32
Clifford Wolf [Fri, 10 Oct 2014 14:59:44 +0000 (16:59 +0200)]
Renamed SIZE() to GetSize() because of name collision on Win32

10 years agoReplaced "#ifdef WIN32" with "#ifdef _WIN32"
Clifford Wolf [Thu, 9 Oct 2014 15:00:54 +0000 (17:00 +0200)]
Replaced "#ifdef WIN32" with "#ifdef _WIN32"

10 years agoAdded API for generic cell cost calculations
Clifford Wolf [Thu, 9 Oct 2014 11:59:26 +0000 (13:59 +0200)]
Added API for generic cell cost calculations

10 years agoadded .exe and .html output files to .gitignore
Clifford Wolf [Thu, 9 Oct 2014 08:52:45 +0000 (10:52 +0200)]
added .exe and .html output files to .gitignore

10 years agoNo rusage on win32
Clifford Wolf [Thu, 9 Oct 2014 08:51:24 +0000 (10:51 +0200)]
No rusage on win32

10 years agoAdded mxe-based cross build for win32
Clifford Wolf [Thu, 9 Oct 2014 08:50:44 +0000 (10:50 +0200)]
Added mxe-based cross build for win32

10 years agoFixes in "hilomap" help message
Clifford Wolf [Wed, 8 Oct 2014 19:38:37 +0000 (21:38 +0200)]
Fixes in "hilomap" help message

10 years agosort cell types in "stat" output by name
Clifford Wolf [Fri, 3 Oct 2014 17:21:04 +0000 (19:21 +0200)]
sort cell types in "stat" output by name

10 years agosat encoding for exclusive $pmux ctrl inputs in "share" pass
Clifford Wolf [Fri, 3 Oct 2014 17:01:24 +0000 (19:01 +0200)]
sat encoding for exclusive $pmux ctrl inputs in "share" pass

10 years agosatgen import sigbit api
Clifford Wolf [Fri, 3 Oct 2014 16:51:50 +0000 (18:51 +0200)]
satgen import sigbit api

10 years agoadded resource sharing of $macc cells
Clifford Wolf [Fri, 3 Oct 2014 10:58:40 +0000 (12:58 +0200)]
added resource sharing of $macc cells

10 years agoAdded $_BUF_ cell type
Clifford Wolf [Fri, 3 Oct 2014 08:12:28 +0000 (10:12 +0200)]
Added $_BUF_ cell type

10 years agoremove buffers in opt_clean
Clifford Wolf [Fri, 3 Oct 2014 08:04:15 +0000 (10:04 +0200)]
remove buffers in opt_clean

10 years agoresource sharing of $alu cells
Clifford Wolf [Fri, 3 Oct 2014 07:55:50 +0000 (09:55 +0200)]
resource sharing of $alu cells

10 years agoset "keep" on modules with $assert cells in "hierarchy"
Clifford Wolf [Tue, 30 Sep 2014 17:16:40 +0000 (19:16 +0200)]
set "keep" on modules with $assert cells in "hierarchy"

10 years agoAdded support for "keep" on modules
Clifford Wolf [Mon, 29 Sep 2014 10:51:54 +0000 (12:51 +0200)]
Added support for "keep" on modules

10 years agonamespace Yosys
Clifford Wolf [Sat, 27 Sep 2014 14:17:53 +0000 (16:17 +0200)]
namespace Yosys

10 years agoMerge pull request #39 from ahmedirfan1983/master
Clifford Wolf [Mon, 22 Sep 2014 10:37:43 +0000 (12:37 +0200)]
Merge pull request #39 from ahmedirfan1983/master

merged with current mas.ter branch + features added + bug fixes

10 years agoMerge branch 'master' of https://github.com/cliffordwolf/yosys into btor
Ahmed Irfan [Mon, 22 Sep 2014 09:35:04 +0000 (11:35 +0200)]
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
added case for memwr cell that is used in muxes (same cell is used more than one time)
corrected bug for xnor and logic_not
added pmux cell translation

Conflicts:
backends/btor/btor.cc

10 years agoRe-enabled assert for new logic loops in "share" pass
Clifford Wolf [Sun, 21 Sep 2014 17:44:08 +0000 (19:44 +0200)]
Re-enabled assert for new logic loops in "share" pass

10 years agoVarious improvements regarding logic loops in "share" results
Clifford Wolf [Sun, 21 Sep 2014 17:36:56 +0000 (19:36 +0200)]
Various improvements regarding logic loops in "share" results

10 years agoLogic loop bugfix for "share" pass
Clifford Wolf [Sun, 21 Sep 2014 13:13:44 +0000 (15:13 +0200)]
Logic loop bugfix for "share" pass

10 years agoAdded "share -limit"
Clifford Wolf [Sun, 21 Sep 2014 13:13:06 +0000 (15:13 +0200)]
Added "share -limit"

10 years agoStill loop bug in "share": changed assert to warning
Clifford Wolf [Sun, 21 Sep 2014 12:51:07 +0000 (14:51 +0200)]
Still loop bug in "share": changed assert to warning

10 years agoDo not introduce new logic loops in "share"
Clifford Wolf [Sun, 21 Sep 2014 11:52:39 +0000 (13:52 +0200)]
Do not introduce new logic loops in "share"

10 years agoAssert on new logic loops in "share" pass
Clifford Wolf [Sun, 21 Sep 2014 10:57:33 +0000 (12:57 +0200)]
Assert on new logic loops in "share" pass

10 years agoAdded "test_abcloop" command
Clifford Wolf [Fri, 19 Sep 2014 13:51:34 +0000 (15:51 +0200)]
Added "test_abcloop" command

10 years agoInitialize RTLIL::Const from std::vector<bool>
Clifford Wolf [Fri, 19 Sep 2014 13:50:55 +0000 (15:50 +0200)]
Initialize RTLIL::Const from std::vector<bool>

10 years agoSorting of object names in ilang backend
Clifford Wolf [Fri, 19 Sep 2014 13:50:34 +0000 (15:50 +0200)]
Sorting of object names in ilang backend

10 years agoSmall improvements in "abc" command handle_loops() function
Clifford Wolf [Fri, 19 Sep 2014 12:05:41 +0000 (14:05 +0200)]
Small improvements in "abc" command handle_loops() function

10 years agoUsing "NOT" instead of "INV" as cell name in default abc genlib file
Clifford Wolf [Fri, 19 Sep 2014 11:15:31 +0000 (13:15 +0200)]
Using "NOT" instead of "INV" as cell name in default abc genlib file

10 years agoAlphabetically sort port names in "show" output
Clifford Wolf [Fri, 19 Sep 2014 09:13:10 +0000 (11:13 +0200)]
Alphabetically sort port names in "show" output

10 years agoDo not run "scorr" in "abc -fast"
Clifford Wolf [Thu, 18 Sep 2014 17:00:21 +0000 (19:00 +0200)]
Do not run "scorr" in "abc -fast"

10 years agoImprovements in "synth" script
Clifford Wolf [Thu, 18 Sep 2014 10:57:55 +0000 (12:57 +0200)]
Improvements in "synth" script

10 years agoAdded "abc -fast"
Clifford Wolf [Thu, 18 Sep 2014 10:57:37 +0000 (12:57 +0200)]
Added "abc -fast"

10 years agofixed memory next issue, when same memory is written in different case statement
ahmedirfan1983 [Thu, 18 Sep 2014 09:15:46 +0000 (11:15 +0200)]
fixed memory next issue, when same memory is written in different case statement
fixed reduce_xnor, logic_not bug translation bug

10 years agoAdded commit count to devel version number
Clifford Wolf [Wed, 17 Sep 2014 05:19:34 +0000 (07:19 +0200)]
Added commit count to devel version number

10 years agoFixed $_NOR vs. $_NOR_ typo in abc.cc
Clifford Wolf [Tue, 16 Sep 2014 10:45:05 +0000 (12:45 +0200)]
Fixed $_NOR vs. $_NOR_ typo in abc.cc

10 years agoFixed $memwr/$memrd order in memory_dff
Clifford Wolf [Tue, 16 Sep 2014 10:40:58 +0000 (12:40 +0200)]
Fixed $memwr/$memrd order in memory_dff

10 years agoAdded new CodingReadme file (replaces CodingStyle and CHECKLISTS)
Clifford Wolf [Tue, 16 Sep 2014 09:26:44 +0000 (11:26 +0200)]
Added new CodingReadme file (replaces CodingStyle and CHECKLISTS)

10 years agoFixed $macc simlib model for zero-config
Clifford Wolf [Tue, 16 Sep 2014 06:19:35 +0000 (08:19 +0200)]
Fixed $macc simlib model for zero-config

10 years agoMore aggressive $macc merging in alumacc
Clifford Wolf [Mon, 15 Sep 2014 10:42:11 +0000 (12:42 +0200)]
More aggressive $macc merging in alumacc

10 years agoAdded the obvious optimizations to alumacc $macc generator
Clifford Wolf [Mon, 15 Sep 2014 10:22:03 +0000 (12:22 +0200)]
Added the obvious optimizations to alumacc $macc generator

10 years agoImproved maccmap tree bit packing
Clifford Wolf [Mon, 15 Sep 2014 10:00:19 +0000 (12:00 +0200)]
Improved maccmap tree bit packing

10 years agoFixed wreduce $shiftx handling
Clifford Wolf [Mon, 15 Sep 2014 09:29:09 +0000 (11:29 +0200)]
Fixed wreduce $shiftx handling

10 years agoFixed monitor notifications for removed cell
Clifford Wolf [Sun, 14 Sep 2014 15:04:39 +0000 (17:04 +0200)]
Fixed monitor notifications for removed cell

10 years agoAdded "synth" command
Clifford Wolf [Sun, 14 Sep 2014 14:09:06 +0000 (16:09 +0200)]
Added "synth" command

10 years agoFixed techmap_wrap for techmap_celltype
Clifford Wolf [Sun, 14 Sep 2014 13:34:36 +0000 (15:34 +0200)]
Fixed techmap_wrap for techmap_celltype

10 years agoUsing alumacc in techmap.v
Clifford Wolf [Sun, 14 Sep 2014 12:50:15 +0000 (14:50 +0200)]
Using alumacc in techmap.v

10 years agoVarious fixes/cleanups in alumacc and maccmap
Clifford Wolf [Sun, 14 Sep 2014 12:49:53 +0000 (14:49 +0200)]
Various fixes/cleanups in alumacc and maccmap

10 years agoAdded techmap_wrap attribute
Clifford Wolf [Sun, 14 Sep 2014 12:49:26 +0000 (14:49 +0200)]
Added techmap_wrap attribute

10 years agoalumacc fix for $pos cells
Clifford Wolf [Sun, 14 Sep 2014 12:00:14 +0000 (14:00 +0200)]
alumacc fix for $pos cells

10 years agoExtract $alu cells in alumacc
Clifford Wolf [Sun, 14 Sep 2014 11:23:44 +0000 (13:23 +0200)]
Extract $alu cells in alumacc

10 years agoMerge $macc cells in alumacc pass
Clifford Wolf [Sun, 14 Sep 2014 09:21:37 +0000 (11:21 +0200)]
Merge $macc cells in alumacc pass

10 years agoBasic $macc extract in alumacc
Clifford Wolf [Sun, 14 Sep 2014 08:45:28 +0000 (10:45 +0200)]
Basic $macc extract in alumacc